index
:
guix.git
keyring
master
private
[no description]
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
guix
/
build-system
/
agda.scm
Age
Commit message (
Expand
)
Author
2023-06-04
build-system: New agda-build-system.
...
Josselin Poiret