/doc/images/

8b5f68e40ea8f8cf'>diff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2020-08-19gnu: agda: Adjust for using shared libraries....Timothy Sample
2020-03-16gnu: agda: Use HTTPS home page....Tobias Geerinckx-Rice