Vincent Laporte f3c8036a70 coqPackages.bignums: make it available for Coq 8.8		2018-03-27 16:19:33 +00:00
..
default.nix	coqPackages.bignums: make it available for Coq 8.8	2018-03-27 16:19:33 +00:00