2 Commits

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