diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 16:31:46 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:16 +0200 |
| commit | 2e331c9c43a6f0678967ff05383a189241fbf458 (patch) | |
| tree | a8fa23c2492732789cafafd838b79146d79c4795 /gnu.scm | |
| parent | b44f13e04cec16c6c4a4ad627f79c787f868bc58 (diff) | |
| download | patches-2e331c9c43a6f0678967ff05383a189241fbf458.tar patches-2e331c9c43a6f0678967ff05383a189241fbf458.tar.gz | |
gnu: Update coq-mathcomp to 1.6.2.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
Diffstat (limited to 'gnu.scm')
0 files changed, 0 insertions, 0 deletions