diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-10-27 20:01:04 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-11-14 13:30:49 +0100 |
| commit | 7374e14f510b9d320145f4176b43ed92a89e5a67 (patch) | |
| tree | 37ad5495cdd99f8e01ce14fea0f8e64bdd421809 /gnu/packages/patches | |
| parent | a52175730607e4319bce06ead92510743ec2604c (diff) | |
| download | guix-7374e14f510b9d320145f4176b43ed92a89e5a67.tar guix-7374e14f510b9d320145f4176b43ed92a89e5a67.tar.gz | |
gnu: agda-stdlib: Update to 1.7.3.
* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3.
Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions