| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-04 | build-system: New agda-build-system. | Josselin Poiret | |
| * guix/build-system/agda.scm: New file. * guix/build/agda-build-system.scm: New file. * Makefile.am (MODULES): Register them. * doc/guix.texi (Build Systems): Add documentation for agda-build-system. | |||
 |
index : guix.git | |
| [no description] | Gitolite user |
| summaryrefslogtreecommitdiff |