diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-10-21 18:11:05 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-22 10:21:25 +0200 |
| commit | 6efc99967800183daa74ba2ebff6185dfcf1b33d (patch) | |
| tree | 5b39552c0a471cd174520fbdb0b9b2306a597c39 /build-aux | |
| parent | dbfb1a596ae75554fd9bc3f9ff5024789e790091 (diff) | |
| download | patches-6efc99967800183daa74ba2ebff6185dfcf1b33d.tar patches-6efc99967800183daa74ba2ebff6185dfcf1b33d.tar.gz | |
gnu: Update coq-interval to 3.3.0.
* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions