This website requires JavaScript.
Explore
Help
Sign In
tribes
/
guix
Watch
1
Star
0
Fork
1
You've already forked guix
mirror of
https://git.savannah.gnu.org/git/guix.git
synced
2026-05-01 06:45:55 +02:00
Code
Activity
Files
aaa27f9fe082edfb5e896a67dff3d5bdae8a438a
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
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink