diff options
| author | Julien Lepiller <[email protected]> | 2022-09-19 21:25:12 +0200 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2022-09-22 07:34:40 +0200 |
| commit | 9140a4dd1d449f9df02d3c26a211ca335bacff14 (patch) | |
| tree | eba31a6690206d141b9e422786e3c9c9bbafaebb /gnu/machine.scm | |
| parent | a440e905fd002a853e7a3e833434a6dbf6cd7371 (diff) | |
gnu: coq-mathcomp: Update to 1.15.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
Diffstat (limited to 'gnu/machine.scm')
0 files changed, 0 insertions, 0 deletions