diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-03-01 16:33:52 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:30 +0200 |
| commit | af5d228b1303989812e48093769715fd19df5042 (patch) | |
| tree | c099b25bc5188c8b5b50dbf04f70401447b2faa0 /gnu/packages/web.scm | |
| parent | cc67085077c06b560840d24b3d00624313904206 (diff) | |
gnu: agda: Update to 2.6.3 and switch to git-fetch.
* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using git so
that doc files are included, and add new dependency ghc-vector-hashtables.
Diffstat (limited to 'gnu/packages/web.scm')
0 files changed, 0 insertions, 0 deletions