Vincent Laporte d7e84159f8 coqPackages.interval: make bignums optional and propagated		2017-11-13 08:42:52 +00:00
..
default.nix	coqPackages.interval: make bignums optional and propagated	2017-11-13 08:42:52 +00:00