amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add upstream-name property to Haskell packages.

Browse source 
Script-aided bulk change.
This commit is contained in:
Lars-Dominik Braun 2023-01-04 09:37:26 +01:00
parent 84549dcf38
commit cad6aa8082
No known key found for this signature in database
GPG key ID: F663943E08D8092A
10 changed files with 709 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
gnu/packages/agda.scm
View file

@ -47,6 +47,7 @@
(sha256
(base32 "0yjjbhc593ylrm4mq4j01nkdvh7xqsg5in30wxj4y53vf5hkggp5"))))
(build-system haskell-build-system)
(properties '((upstream-name . "Agda")))
(inputs
(list ghc-aeson
ghc-alex