1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-01 06:45:55 +02:00
Files
guix/gnu/packages/agda.scm
T
Lars-Dominik Braun 890a181ed1 gnu: Use HACKAGE-URI for packages from Hackage.
Script-aided bulk change.
2023-02-26 10:20:14 +01:00

6.5 KiB