diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-09-19 21:25:12 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-22 07:34:40 +0200 |
| commit | 9140a4dd1d449f9df02d3c26a211ca335bacff14 (patch) | |
| tree | eba31a6690206d141b9e422786e3c9c9bbafaebb /gnu/packages/sml.scm | |
| parent | a440e905fd002a853e7a3e833434a6dbf6cd7371 (diff) | |
| download | guix-9140a4dd1d449f9df02d3c26a211ca335bacff14.tar.gz guix-9140a4dd1d449f9df02d3c26a211ca335bacff14.zip | |
gnu: coq-mathcomp: Update to 1.15.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
Diffstat (limited to 'gnu/packages/sml.scm')
0 files changed, 0 insertions, 0 deletions