| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-10-12 | gnu: agda-categories: Update to 0.2.0. | Josselin Poiret |
| 2023-11-14 | gnu: agda-categories: Adapt to agda-stdlib 1.7.3. | Josselin Poiret |
 |
index : guix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Fcgiwrap Daemon |
| summaryrefslogtreecommitdiff |