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/platforms | |
| 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/platforms')
0 files changed, 0 insertions, 0 deletions