tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-30 22:35:57 +02:00
Code Activity
Files
9a78e181f0600a9ba5ffb2f54074ddffe250a080
guix/gnu/packages/agda.scm
T
Timothy Sample 27109c7175 gnu: agda: Update to 2.6.0.1. 
* gnu/packages/agda.scm (agda): Update to 2.6.0.1.
[inputs]: Remove 'ghc-parallel'; add 'ghc-aeson' and 'ghc-exceptions'.
2019-11-20 20:48:50 -05:00

9.0 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink