diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-04-30 12:12:33 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:36 +0200 |
| commit | 067e75e17a7f2c278eb6273824e33454d8e00566 (patch) | |
| tree | d6be56456862b1f0834b5a5e7d6e686be8deb56f /m4 | |
| parent | cf2c3f797003a67c9a8d3c1400a480c617f89eda (diff) | |
| download | guix-067e75e17a7f2c278eb6273824e33454d8e00566.tar.gz | |
gnu: Add agda-1lab.
* gnu/packages/agda.scm: New variable agda-1lab.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions