diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:27:30 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-05-04 19:41:35 +0200 |
| commit | f5b0d90490a19ff0f62c84529b6b3546e6de5a18 (patch) | |
| tree | c7eb79bdafbffb83c59f3f837e63fde466db27bb /gnu/packages/lego.scm | |
| parent | 1f1ea9c0cb6ac73ab28199259de8e716e04046b6 (diff) | |
gnu: coq-mathcomp: Update to 1.8.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.8.0.
Diffstat (limited to 'gnu/packages/lego.scm')
0 files changed, 0 insertions, 0 deletions