diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-12-17 02:12:30 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-12-17 03:07:54 +0100 |
| commit | 2e964d0d7d0f28a183068267a9eda0664f24ceb4 (patch) | |
| tree | dccbb9c8b357ea7d281ae385c9b11d72fad1a3dd /.gitignore | |
| parent | 1bada70d6322f17743b5dadd6b9968c8920038f7 (diff) | |
gnu: agda: Update to 2.6.2.1.
* gnu/packages/agda.scm (agda): Update to 2.6.2.1.
[arguments]: Don't explicitly return #t from phases.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions