diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-11-06 10:24:28 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-24 17:51:28 +0100 |
| commit | d9c8009832077cc01412f379bb5f39e43d5a18d2 (patch) | |
| tree | a8d876366ab47733df2e311bd9cc92d958beffdb /.gitignore | |
| parent | 29ff0474f4a2909f961ed13ca694e01ae166148e (diff) | |
| download | patches-d9c8009832077cc01412f379bb5f39e43d5a18d2.tar patches-d9c8009832077cc01412f379bb5f39e43d5a18d2.tar.gz | |
gnu: agda: Update to 2.5.4.2.
* gnu/packages/agda.scm (agda): Update to 2.5.4.2.
[inputs]: Remove cpphs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions