summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-02-18idris2: rewrite idris package definition.Chloe Brown
Rewrite the idris2 definition based on the official nix package.
2024-01-21idris2: remove accidental applicationChloe Brown
2024-01-20idris2: 0.6.0 -> 0.7.0Chloe Brown
idris2-git: bump version
2023-11-24idris2-git: bump version.Chloe Brown
2023-11-01ddclient: restore removed packageChloe Brown
2023-09-29Remove agda libraries that are packaged by guix.Chloe Brown
agda-stdlib: remove package agda-categories: remove package cubical: remove package
2023-09-25idris2-git: bump package versionChloe Brown
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
agda-categories: upgrade to version 0.1.7.2 cubical: upgrade to version 0.5
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
agda-stdlib-1.7: remove package
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
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.
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
gccjit: remove unnecessary package.
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
This only packages the library, not the code generator.
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
libspf2: new package. opendmarc: new package.
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
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 21:07:40 +0000