summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-08-23[chore] fix lint errors in mail.Chloe Brown
2024-08-23[chore] fix lint errors in idris.Chloe Brown
2024-08-23[chore] fix lint errors in filesystem.Chloe Brown
2024-08-23ddclient: upgrade 3.11.1 -> 3.11.2.Chloe Brown
2024-08-23kanidm: upgrade 1.3.2 -> 1.3.3.Chloe Brown
2024-08-23Remove unused packages.Chloe Brown
2024-08-23Remove redundant packages.Chloe Brown
2024-08-18kanidm: upgrade 1.3.1 -> 1.3.2Chloe Brown
2024-08-17kanidm: new packageChloe Brown
2024-08-02wihotspot: new packageChloe Brown
2024-07-17opendmarc: bump version to 1.4.2Chloe Brown
2024-04-05idris2-api: match Idris 2 version.Chloe Brown
2024-04-05idris2-api: correct source hash.Chloe Brown
2024-02-22idris2-elab-util: new packageChloe Brown
2024-02-21idris2: always patch shebangsChloe Brown
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
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 14:56:23 +0000