| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-06-04 | build-system: New agda-build-system....* 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. | Josselin Poiret |
 |
index : guix.git | |
| [no description] | Gitolite user |
| summaryrefslogtreecommitdiff |