summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-09-08home-unattended-upgrade: move log file.Chloe Brown
2023-08-28fatsort: new package.Chloe Brown
2023-08-09idris2-git: bump version.Chloe Brown
2023-07-19cubical: make ghc a native inputChloe Brown
2023-07-19agda-stdlib: upgrade to version 1.7.2Chloe Brown
2023-07-19idris2-git: bump versionChloe Brown
2023-07-10idris2-git: bump version.Chloe Brown
2023-06-23idris2-git: bump versionChloe Brown
2023-06-08idris2-git: bump versionChloe Brown
2023-05-13agda-soas: remove packageChloe Brown
2023-05-13libspf2: fix broken buildChloe Brown
2023-05-13idris2-git: bump version.Chloe Brown
2023-05-11swaylock-effects: bump version.Chloe Brown
2023-04-26agda-categories: bump version.Chloe Brown
2023-04-23idris2-git: bump version.Chloe Brown
2023-04-07idris2-git: bump version.Chloe Brown
2023-04-07Remove rust packages.Chloe Brown
2023-03-06idris2-git: bump version.Chloe Brown
2023-02-28idris: ensure check returns true during failure.Chloe Brown
2023-02-28idris-setoid: remove package.Chloe Brown
2023-02-28idris2: fix build failures due to racket.Chloe Brown
2023-02-14emacs: remove unnecessary package.Chloe Brown
2023-02-13idris2-git: bump version, making rev match git.Chloe Brown
2023-02-13idris2: replace node with node-lts.Chloe Brown
2023-02-11idris2-git: fix build failures due to missing dirChloe Brown
2023-02-11idris2-git: bump versionChloe Brown
2023-01-20agda-soas: new package.Chloe Brown
2023-01-11Fix missing symbol error.Chloe Brown
2022-12-22idris2-git: bump version.Chloe Brown
2022-12-19idris2-git: bump version.Chloe Brown
2022-12-14idris-setoid: new package.Chloe Brown
2022-12-14fixup: add missing imports.Chloe Brown
2022-12-14idris2: new package.Chloe Brown
2022-11-25linux-latest: remove package.Chloe Brown
2022-11-25linux-latest: upgrade to 6.0.9.Chloe Brown
2022-11-08swaylock-effects: swap back to using guix sources.Chloe Brown
2022-11-08exim: add SPF and DMARC support.Chloe Brown
2022-11-04rust-assert-impl: salvage from graveyard.Chloe Brown
2022-11-04rust-serde-xml-rs: salvage from graveyard.Chloe Brown
2022-11-04rust-enumflags2-derive: salvage from graveyard.Chloe Brown
2022-11-04rust-enumflags2: salvage from guix graveyard.Chloe Brown
2022-11-04rust-pretty-hex: salvage from guix graveyard.Chloe Brown
2022-11-04rust-tokio-util: upgrade to 0.7.4.Chloe Brown
2022-11-04rust-priority-queue: upgrade to 1.2.3.Chloe Brown
2022-11-04rust-oboe: upgrade to 0.4.6Chloe Brown
2022-11-04rust-libpulse-simple-binding: downgrade to 2.23.0.Chloe Brown
2022-11-04rust-coreaudio-sys: upgrade to 0.2.10.Chloe Brown
2022-11-04rust-ndk-glue: upgrade to 0.6.2.Chloe Brown
2022-11-04rust-hound: upgrade to 3.5.0.Chloe Brown
2022-11-04disambiguate rust packages patch versions.Chloe Brown