volth
|
08f68313a4
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
|
volth
|
35d68ef143
|
treewide: remove redundant quotes
|
2019-08-26 21:40:19 +00:00 |
|
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 |
|