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 /build-aux | |
| parent | af16c6b0564ea992d57a6a040f0ae59e09b6bb20 (diff) | |
| download | patches-27109c7175656b8de3d0819e0acc0670863930c6.tar patches-27109c7175656b8de3d0819e0acc0670863930c6.tar.gz | |
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 'build-aux')
0 files changed, 0 insertions, 0 deletions