diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2018-05-04 20:44:15 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2018-05-04 21:30:51 +0200 |
| commit | 206af0dfcf4b8311c3cd83bc7d647103145efbf6 (patch) | |
| tree | 39220d0b0a5e80b73c71a118d936b6c88be46e35 /bootstrap | |
| parent | 1b96fa013d9d6ca124c74cbc3ad57f1c27574a04 (diff) | |
| download | patches-206af0dfcf4b8311c3cd83bc7d647103145efbf6.tar patches-206af0dfcf4b8311c3cd83bc7d647103145efbf6.tar.gz | |
gnu: coq-mathcomp: Update to 1.7.0.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1.7.0.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions