summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-02-20idris2-api: new packageChloe Brown
2024-02-20idris2: minor tweaksChloe Brown
2024-02-18idris2: rewrite idris package definition.Chloe Brown
2024-01-21idris2: remove accidental applicationChloe Brown
2024-01-20idris2: 0.6.0 -> 0.7.0Chloe Brown
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
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
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
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 14:51:24 +0000