diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-06-21 21:41:36 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-07-29 15:19:07 +0200 |
| commit | 303690c405446d1eea231044f0bcb48b88b6508d (patch) | |
| tree | ed3fa98a9a76f2402ff209512fc375d17bf0cf64 /gnu/tests.scm | |
| parent | b09c4244f7c77b11e039cd5348270b2d1da77577 (diff) | |
| download | patches-303690c405446d1eea231044f0bcb48b88b6508d.tar patches-303690c405446d1eea231044f0bcb48b88b6508d.tar.gz | |
gnu: Add coq-interval.
* gnu/packages/ocaml.scm (coq-interval): New variable.
Diffstat (limited to 'gnu/tests.scm')
0 files changed, 0 insertions, 0 deletions