| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-02-20 | idris2-api: new package | Chloe Brown |
| 2023-09-29 | Remove agda libraries that are packaged by guix. | Chloe Brown |
| 2022-04-06 | Fix typo. | Chloe Brown |
| 2022-04-06 | Add customisable README and Everything locations. | Chloe Brown |
| 2022-01-06 | build: agda-build-system: ensure all packages have a name | Chloe Brown |
| 2022-01-05 | build-system: create agda-build-system | Chloe Brown |
 |
index : yellowsquid/squidguix.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |