diff options
| author | Maxim Cournoyer <[email protected]> | 2023-03-23 21:45:21 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <[email protected]> | 2023-03-23 21:45:21 -0400 |
| commit | 839bb4616f13171a23ad7937bf57d0a01d61d42a (patch) | |
| tree | 01de78a5ce973b9fb7ac0f9216d64f736f8e163d /gnu/packages/agda.scm | |
| parent | 0357bbbcd850f9220078a62da3c30358b8983765 (diff) | |
| parent | ef71e3290916583973724316e815cee840c1b6d8 (diff) | |
Merge remote-tracking branch 'origin/master' into staging.
With resolved conflicts in:
gnu/packages/ibus.scm
gnu/packages/image.scm
gnu/packages/lisp.scm
gnu/packages/virtualization.scm
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 038b38195f..7128a3f108 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -28,7 +28,6 @@ #:use-module (guix build-system emacs) #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) - #:use-module (guix build-system trivial) #:use-module (guix gexp) #:use-module (guix download) #:use-module (guix git-download) @@ -42,12 +41,11 @@ (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) + (properties '((upstream-name . "Agda"))) (inputs (list ghc-aeson ghc-alex |