diff options
| author | Julien Lepiller <[email protected]> | 2017-06-21 21:40:23 +0200 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2017-07-29 15:19:03 +0200 |
| commit | b09c4244f7c77b11e039cd5348270b2d1da77577 (patch) | |
| tree | 29e15c89b21d57b96edf515c9c822566450f1e5d /m4 | |
| parent | 380c65de949bbba0db3ff1679df723ddb50d9665 (diff) | |
gnu: Add coq-coquelicot.
* gnu/packages/ocaml.scm (coq-coquelicot): New variable.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions