diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-05 17:06:02 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-05 17:06:02 -0600 |
| commit | 641981d3afbfb55910f3989d6ff05197dab580ab (patch) | |
| tree | 1a4ea4c32abd21a547c1e94c05b753160b52086e /TODO | |
| parent | 537d08271ec1f8c7ae587d3e107057cfa4d15630 (diff) | |
| download | guix-641981d3afbfb55910f3989d6ff05197dab580ab.tar.gz | |
gnu: coq-mathcomp: Update to 1.10.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.10.0. [arguments]: Modify comment about tests. Remove redundant setting of COQLIB environment variable.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions