diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:41:36 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:41:57 +0100 |
| commit | bdf74dad1a337c2745c80ca94c662e9de0e7b8bb (patch) | |
| tree | ef0742019d3c3d9661d40c685c3575f4e45d023b /gnu/packages/maths.scm | |
| parent | bf8e084d1d19f8c2444d8f6ec3a5cbea28637924 (diff) | |
| download | guix-bdf74dad1a337c2745c80ca94c662e9de0e7b8bb.tar.gz | |
gnu: coq: Update to 8.14.1.
* gnu/packages/coq.scm (coq-core): Update to 8.14.1.
Diffstat (limited to 'gnu/packages/maths.scm')
0 files changed, 0 insertions, 0 deletions