aboutsummaryrefslogtreecommitdiff
path: root/m4
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-10-21 18:11:05 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-10-22 10:21:25 +0200
commit6efc99967800183daa74ba2ebff6185dfcf1b33d (patch)
tree5b39552c0a471cd174520fbdb0b9b2306a597c39 /m4
parentdbfb1a596ae75554fd9bc3f9ff5024789e790091 (diff)
downloadpatches-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 'm4')
0 files changed, 0 insertions, 0 deletions