diff options
author | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 17:12:18 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 19:27:02 +0100 |
commit | 698e5c38b44dad82b90c744b387486dec98e413f (patch) | |
tree | b181672a2cd9ba3e76f3a8e8496d8929a97a653f /gnu/system.scm | |
parent | 67fbcd437c9906f52b5311058b1c6b48e4c94d02 (diff) |
gnu: coq-mathcomp: Update to 1.13.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
Diffstat (limited to 'gnu/system.scm')
0 files changed, 0 insertions, 0 deletions