4 Commits

Author	SHA1	Message	Date
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