1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-22 18:20:32 +02:00
Files
guix/gnu/packages/agda.scm
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