diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2021-11-15 10:17:56 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2021-11-15 10:18:09 +0200 |
| commit | 6119120f6dc0a36e8b32a3029ab4ae000cedd7d0 (patch) | |
| tree | 76727d750903237ac0c0aca96b83e047aefb2767 /gnu/packages/agda.scm | |
| parent | da2ee1b13591438847b85baca8070bb2285ac411 (diff) | |
| download | guix-6119120f6dc0a36e8b32a3029ab4ae000cedd7d0.tar.gz | |
gnu: lagrange: Update to 1.8.2.
* gnu/packages/web-browsers.scm (lagrange): Update to 1.8.2. [source]: Add snippet to remove bundled libraries. [native-inputs]: Add zip.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions