diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-10-27 20:03:04 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-11-14 13:47:53 +0100 |
| commit | bd0f2173210416e86281c1de8789e7cdab66dd57 (patch) | |
| tree | 6ff93be898a68d2fa137f06eb6a5567d487a1341 /TODO | |
| parent | c5c2a82082ccd238350562f4706d75778121e3cf (diff) | |
| download | guix-bd0f2173210416e86281c1de8789e7cdab66dd57.tar.gz | |
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
* gnu/packages/agda.scm (agda-1lab): Update to 549fdb1c948a975e90e70f871993a4a4239aa280. Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions