| Age | Commit message (Expand) | Author |
|---|
| 2020-08-19 | gnu: agda: Adjust for using shared libraries....See also 9e5496e0ae0ee8f638ca93949ecca314fdb9251e.
* gnu/packages/agda.scm (agda)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH'; update the 'configure' phase to match the current
Haskell build system code.
| Timothy Sample |
| 2020-03-16 | gnu: agda: Use HTTPS home page....* gnu/packages/agda.scm (agda)[home-page]: Use HTTPS.
| Tobias Geerinckx-Rice |
| 2019-11-20 | 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'.
| Timothy Sample |
