summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-01-15kanidm: update rust versionHEADmasterChloe Brown
2025-01-14askama: resurrect deleted package.Chloe Brown
2025-01-14anymap2: resurrect removed packageChloe Brown
2024-12-22Switch to GPL3+Chloe Brown
2024-12-21kanidm: upgrade to 1.4.5Chloe Brown
2024-12-06kanidm: upgrade to 1.4.4Chloe Brown
2024-11-03kanidm: upgrade to 1.4.0.Chloe Brown
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
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-29 23:03:30 +0000