diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2023-01-04 09:37:26 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2023-02-26 10:20:11 +0100 |
| commit | cad6aa8082e99fe60570e3fd53a0e5876a8f243e (patch) | |
| tree | 2704c2060dfdd956dfe2a455673aa7ac9e923395 /gnu/packages/agda.scm | |
| parent | 84549dcf380b1ed7712816a1ff1bfe9688c1d9a7 (diff) | |
| download | guix-cad6aa8082e99fe60570e3fd53a0e5876a8f243e.tar guix-cad6aa8082e99fe60570e3fd53a0e5876a8f243e.tar.gz | |
gnu: Add upstream-name property to Haskell packages.
Script-aided bulk change.
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 0cc3151e3f..b54ba11721 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -47,6 +47,7 @@ (sha256 (base32 "0yjjbhc593ylrm4mq4j01nkdvh7xqsg5in30wxj4y53vf5hkggp5")))) (build-system haskell-build-system) + (properties '((upstream-name . "Agda"))) (inputs (list ghc-aeson ghc-alex |