/build-aux/

xt' type='search' size='10' name='q' value=''/>
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2023-02-26gnu: Use HACKAGE-URI for packages from Hackage....Lars-Dominik Braun
2023-02-26gnu: Add upstream-name property to Haskell packages....Lars-Dominik Braun
2023-02-16gnu: Remove unneeded module imports....Efraim Flashner