diff options
| author | Josselin Poiret <[email protected]> | 2023-12-26 17:27:25 +0100 |
|---|---|---|
| committer | Josselin Poiret <[email protected]> | 2024-10-12 11:12:25 +0200 |
| commit | 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb (patch) | |
| tree | 18a89764e1a5cfff1b699db5cf72a2f15f120cd0 /gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch | |
| parent | a531af142ffdb2a31cf9e6258c336fcf2dbe755b (diff) | |
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 'gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch')
0 files changed, 0 insertions, 0 deletions