diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 16:52:29 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:19 +0200 |
| commit | 3ffd180cc5284f8ee3c61073593347fbb042fe58 (patch) | |
| tree | b9f3c9d0a00c34ee4157dd67e76ad927e8af4773 /gnu/tests | |
| parent | 2e331c9c43a6f0678967ff05383a189241fbf458 (diff) | |
| download | patches-3ffd180cc5284f8ee3c61073593347fbb042fe58.tar patches-3ffd180cc5284f8ee3c61073593347fbb042fe58.tar.gz | |
gnu: Update coq-coquelicot to 3.0.1.
* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
Diffstat (limited to 'gnu/tests')
0 files changed, 0 insertions, 0 deletions