8 commits

Author	SHA1	Message	Date
Vincent Laporte	dbb6f70006	coqPackages.bignums: enable for Coq 8.10	2019-06-18 07:29:11 +00:00
Cyril Cohen	c96ef6fc44	updating packages coqPackages.bignums and coqPackages.equations	2019-05-23 15:05:15 +02:00
Vincent Laporte	c4cad8cfa7	coqPackages.bignums: enable for Coq version 8.9	2018-11-19 08:47:34 +00:00
Théo Zimmermann	8c399bd6c1	coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.	2018-10-19 10:25:09 +02:00
Vincent Laporte	f3c8036a70	coqPackages.bignums: make it available for Coq 8.8	2018-03-27 16:19:33 +00:00
Vincent Laporte	6845b248d9	coq: init at 8.8+beta1	2018-03-21 18:06:28 +00:00
John Wiegley	4bd69fd249	coqPackages.bignums: Change expression to match other Coq packages ... Without this change, it's impossible to override bignums, or ignore it when creating custom datasets for other versions of Coq (such as 8.8+alpha).	2018-03-06 07:46:51 -08:00
Théo Zimmermann	f4914d4eb4	bignums: init at various versions ... Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7.	2017-11-05 16:59:23 +01:00