| Age | Commit message (Expand) | Author |
|---|---|---|
| 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•••idris2-collie: new package | Chloe Brown |
| 2024-02-20 | idris2: minor tweaks | Chloe Brown |
| 2024-02-18 | idris2: rewrite idris package definition.•••Rewrite the idris2 definition based on the official nix package. | Chloe Brown |
| 2024-01-21 | idris2: remove accidental application | Chloe Brown |
| 2024-01-20 | idris2: 0.6.0 -> 0.7.0•••idris2-git: bump version | Chloe Brown |
| 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.•••agda-stdlib: remove package agda-categories: remove package cubical: remove package | Chloe Brown |
| 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•••agda-categories: upgrade to version 0.1.7.2 cubical: upgrade to version 0.5 | Chloe Brown |
| 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•••agda-stdlib-1.7: remove package | Chloe Brown |
| 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.•••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. | Chloe Brown |
| 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 |
| 2023-02-28 | idris: ensure check returns true during failure. | Chloe Brown |
| 2023-02-28 | idris-setoid: remove package. | Chloe Brown |
| 2023-02-28 | idris2: fix build failures due to racket. | Chloe Brown |
| 2023-02-14 | emacs: remove unnecessary package.•••gccjit: remove unnecessary package. | Chloe Brown |
| 2023-02-13 | idris2-git: bump version, making rev match git. | Chloe Brown |
| 2023-02-13 | idris2: replace node with node-lts. | Chloe Brown |
| 2023-02-11 | idris2-git: fix build failures due to missing dir | Chloe Brown |
| 2023-02-11 | idris2-git: bump version | Chloe Brown |
| 2023-01-20 | agda-soas: new package.•••This only packages the library, not the code generator. | Chloe Brown |
| 2023-01-11 | Fix missing symbol error. | Chloe Brown |
| 2022-12-22 | idris2-git: bump version. | Chloe Brown |
 |
index : yellowsquid/squidguix.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |