diff options
| author | Nikolay Korotkiy <sikmir@gmail.com> | 2021-12-11 17:28:33 +0300 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-12-11 15:33:42 +0100 |
| commit | bf189fd2b53d5f4a28d249fe4abb036880dc7579 (patch) | |
| tree | 2f564c1ef034dec94c3400989a3ef545fda69148 /gnu/packages/coq.scm | |
| parent | 58dbf4c930e26a6d813ed6cc30fb5ca67ad7c21f (diff) | |
gnu: gmnisrv: Update to 1.0.
* gnu/packages/web.scm (gmnisrv): Update to 1.0.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions