summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-10-25idris2: update git revision.Chloe Brown
2024-09-09network-manager-l2tp: fix more hardcoded paths.Chloe Brown
2024-09-09network-manager-l2tp: match other nm pluginsChloe Brown
2024-09-09ddclient: replace phase `wrap` with `install`Chloe Brown
2024-09-09network-manager-l2tp: new packageChloe Brown
2024-08-23[chore] fix some lint errors in kanidm.Chloe Brown
2024-08-23[chore] fix lint errors in rtkit.Chloe Brown
2024-08-23[chore] fix lint errors in linux.Chloe Brown
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
idris2-collie: new package
2024-02-20idris2: minor tweaksChloe Brown
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