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 |
|