diff options
author | Timothy Sample <samplet@ngyro.com> | 2019-11-16 09:41:37 -0500 |
---|---|---|
committer | Timothy Sample <samplet@ngyro.com> | 2019-11-20 20:48:50 -0500 |
commit | 27109c7175656b8de3d0819e0acc0670863930c6 (patch) | |
tree | 8bc6423dc4b2152d7af916dbb3e5e401074979c8 /gnu/ci.scm | |
parent | af16c6b0564ea992d57a6a040f0ae59e09b6bb20 (diff) |
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'.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions