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 /guix/discovery.scm | |
| parent | cf2c3f797003a67c9a8d3c1400a480c617f89eda (diff) | |
gnu: Add agda-1lab.
* gnu/packages/agda.scm: New variable agda-1lab.
Diffstat (limited to 'guix/discovery.scm')
0 files changed, 0 insertions, 0 deletions