diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
| commit | 914d2c2142eb22a0219cf09475ea7207808ded6a (patch) | |
| tree | b59065cd22986fba6e48449630c9a93736cb1441 /gnu/build | |
| parent | 2c67e1cfbf5dc4c528f9ddb5dce843bd8326cdab (diff) | |
| download | guix-914d2c2142eb22a0219cf09475ea7207808ded6a.tar.gz guix-914d2c2142eb22a0219cf09475ea7207808ded6a.zip | |
gnu: agda: Use G-expressions.
* gnu/packages/agda.scm (agda)[arguments]:
Rewrite as G-expressions.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions