Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-10-25 | idris2: update git revision. | Chloe Brown | |
2024-09-09 | network-manager-l2tp: fix more hardcoded paths. | Chloe Brown | |
2024-09-09 | network-manager-l2tp: match other nm plugins | Chloe Brown | |
2024-09-09 | ddclient: replace phase `wrap` with `install` | Chloe Brown | |
2024-09-09 | network-manager-l2tp: new package | Chloe 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-23 | ddclient: upgrade 3.11.1 -> 3.11.2. | Chloe Brown | |
2024-08-23 | kanidm: upgrade 1.3.2 -> 1.3.3. | Chloe Brown | |
2024-08-23 | Remove unused packages. | Chloe Brown | |
2024-08-23 | Remove redundant packages. | Chloe Brown | |
2024-08-18 | kanidm: upgrade 1.3.1 -> 1.3.2 | Chloe Brown | |
2024-08-17 | kanidm: new package | Chloe Brown | |
2024-08-02 | wihotspot: new package | Chloe Brown | |
2024-07-17 | opendmarc: bump version to 1.4.2 | Chloe Brown | |
2024-04-05 | idris2-api: match Idris 2 version. | Chloe Brown | |
2024-04-05 | idris2-api: correct source hash. | Chloe Brown | |
2024-02-22 | idris2-elab-util: new package | Chloe Brown | |
2024-02-21 | idris2: always patch shebangs | Chloe Brown | |
2024-02-20 | idris2-api: new package | Chloe Brown | |
idris2-collie: new package | |||
2024-02-20 | idris2: minor tweaks | Chloe Brown | |
2024-02-18 | idris2: rewrite idris package definition. | Chloe Brown | |
Rewrite the idris2 definition based on the official nix package. | |||
2024-01-21 | idris2: remove accidental application | Chloe Brown | |
2024-01-20 | idris2: 0.6.0 -> 0.7.0 | Chloe Brown | |
idris2-git: bump version | |||
2023-11-24 | idris2-git: bump version. | Chloe Brown | |
2023-11-01 | ddclient: restore removed package | Chloe Brown | |
2023-09-29 | Remove agda libraries that are packaged by guix. | Chloe Brown | |
agda-stdlib: remove package agda-categories: remove package cubical: remove package | |||
2023-09-25 | idris2-git: bump package version | Chloe Brown | |
2023-09-08 | home-unattended-upgrade: move log file. | Chloe Brown | |
2023-08-28 | fatsort: new package. | Chloe Brown | |
2023-08-09 | idris2-git: bump version. | Chloe Brown | |
2023-07-19 | cubical: make ghc a native input | Chloe Brown | |
2023-07-19 | agda-stdlib: upgrade to version 1.7.2 | Chloe Brown | |
agda-categories: upgrade to version 0.1.7.2 cubical: upgrade to version 0.5 | |||
2023-07-19 | idris2-git: bump version | Chloe Brown | |
2023-07-10 | idris2-git: bump version. | Chloe Brown | |
2023-06-23 | idris2-git: bump version | Chloe Brown | |
2023-06-08 | idris2-git: bump version | Chloe Brown | |
2023-05-13 | agda-soas: remove package | Chloe Brown | |
agda-stdlib-1.7: remove package | |||
2023-05-13 | libspf2: fix broken build | Chloe Brown | |
2023-05-13 | idris2-git: bump version. | Chloe Brown | |
2023-05-11 | swaylock-effects: bump version. | Chloe Brown | |
2023-04-26 | agda-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-23 | idris2-git: bump version. | Chloe Brown | |
2023-04-07 | idris2-git: bump version. | Chloe Brown | |
2023-04-07 | Remove rust packages. | Chloe Brown | |
2023-03-06 | idris2-git: bump version. | Chloe Brown | |