diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2023-01-05 08:59:52 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2023-02-26 10:20:14 +0100 |
| commit | 890a181ed1766b433b5bfe1a3419b50ffa6503cb (patch) | |
| tree | c6366fb7401dc1115ef312cd4fa84f8e79707ac5 /gnu/packages/agda.scm | |
| parent | d06ae5301351bf4af71dcebd6dd85b4546e1b677 (diff) | |
gnu: Use HACKAGE-URI for packages from Hackage.
Script-aided bulk change.
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index b54ba11721..7128a3f108 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -41,9 +41,7 @@ (source (origin (method url-fetch) - (uri (string-append - "https://hackage.haskell.org/package/Agda/Agda-" - version ".tar.gz")) + (uri (hackage-uri "Agda" version)) (sha256 (base32 "0yjjbhc593ylrm4mq4j01nkdvh7xqsg5in30wxj4y53vf5hkggp5")))) (build-system haskell-build-system) |