diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-12-26 17:27:25 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-10-12 11:12:25 +0200 |
| commit | 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb (patch) | |
| tree | 18a89764e1a5cfff1b699db5cf72a2f15f120cd0 /.mumi | |
| parent | a531af142ffdb2a31cf9e6258c336fcf2dbe755b (diff) | |
| download | guix-96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb.tar guix-96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb.tar.gz | |
gnu: agda: Update to 2.7.0.1.
* gnu/packages/agda.scm (agda): Update to 2.7.0.1.
Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions