| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-09-08 | home-unattended-upgrade: move log file. | Chloe Brown |
| 2023-08-28 | fatsort: new package. | Chloe Brown |
| 2023-08-09 | idris2-git: bump version. | Chloe Brown |
| 2023-07-19 | cubical: make ghc a native input | Chloe Brown |
| 2023-07-19 | agda-stdlib: upgrade to version 1.7.2•••agda-categories: upgrade to version 0.1.7.2 cubical: upgrade to version 0.5 | Chloe Brown |
| 2023-07-19 | idris2-git: bump version | Chloe Brown |
| 2023-07-10 | idris2-git: bump version. | Chloe Brown |
| 2023-06-23 | idris2-git: bump version | Chloe Brown |
| 2023-06-08 | idris2-git: bump version | Chloe Brown |
| 2023-05-13 | agda-soas: remove package•••agda-stdlib-1.7: remove package | Chloe Brown |
| 2023-05-13 | libspf2: fix broken build | Chloe Brown |
| 2023-05-13 | idris2-git: bump version. | Chloe Brown |
| 2023-05-11 | swaylock-effects: bump version. | Chloe Brown |
| 2023-04-26 | agda-categories: bump version.•••Upstream have stopped packaging an Everything file. Because guix strips the git information from the source, the file has to be created manually. In future, this should be converted into a build phase. | Chloe Brown |
| 2023-04-23 | idris2-git: bump version. | Chloe Brown |
| 2023-04-07 | idris2-git: bump version. | Chloe Brown |
| 2023-04-07 | Remove rust packages. | Chloe Brown |
| 2023-03-06 | idris2-git: bump version. | Chloe Brown |
| 2023-02-28 | idris: ensure check returns true during failure. | Chloe Brown |
| 2023-02-28 | idris-setoid: remove package. | Chloe Brown |
| 2023-02-28 | idris2: fix build failures due to racket. | Chloe Brown |
| 2023-02-14 | emacs: remove unnecessary package.•••gccjit: remove unnecessary package. | Chloe Brown |
| 2023-02-13 | idris2-git: bump version, making rev match git. | Chloe Brown |
| 2023-02-13 | idris2: replace node with node-lts. | Chloe Brown |
| 2023-02-11 | idris2-git: fix build failures due to missing dir | Chloe Brown |
| 2023-02-11 | idris2-git: bump version | Chloe Brown |
| 2023-01-20 | agda-soas: new package.•••This only packages the library, not the code generator. | Chloe Brown |
| 2023-01-11 | Fix missing symbol error. | Chloe Brown |
| 2022-12-22 | idris2-git: bump version. | Chloe Brown |
| 2022-12-19 | idris2-git: bump version. | Chloe Brown |
| 2022-12-14 | idris-setoid: new package. | Chloe Brown |
| 2022-12-14 | fixup: add missing imports. | Chloe Brown |
| 2022-12-14 | idris2: new package. | Chloe Brown |
| 2022-11-25 | linux-latest: remove package. | Chloe Brown |
| 2022-11-25 | linux-latest: upgrade to 6.0.9. | Chloe Brown |
| 2022-11-08 | swaylock-effects: swap back to using guix sources. | Chloe Brown |
| 2022-11-08 | exim: add SPF and DMARC support.•••libspf2: new package. opendmarc: new package. | Chloe Brown |
| 2022-11-04 | rust-assert-impl: salvage from graveyard. | Chloe Brown |
| 2022-11-04 | rust-serde-xml-rs: salvage from graveyard. | Chloe Brown |
| 2022-11-04 | rust-enumflags2-derive: salvage from graveyard. | Chloe Brown |
| 2022-11-04 | rust-enumflags2: salvage from guix graveyard. | Chloe Brown |
| 2022-11-04 | rust-pretty-hex: salvage from guix graveyard. | Chloe Brown |
| 2022-11-04 | rust-tokio-util: upgrade to 0.7.4. | Chloe Brown |
| 2022-11-04 | rust-priority-queue: upgrade to 1.2.3. | Chloe Brown |
| 2022-11-04 | rust-oboe: upgrade to 0.4.6 | Chloe Brown |
| 2022-11-04 | rust-libpulse-simple-binding: downgrade to 2.23.0. | Chloe Brown |
| 2022-11-04 | rust-coreaudio-sys: upgrade to 0.2.10. | Chloe Brown |
| 2022-11-04 | rust-ndk-glue: upgrade to 0.6.2.•••rust-ndk-context: new package. | Chloe Brown |
| 2022-11-04 | rust-hound: upgrade to 3.5.0. | Chloe Brown |
| 2022-11-04 | disambiguate rust packages patch versions. | Chloe Brown |
