c8137fc229
coq: default to version 8.11
4 years ago
b8dfca143c
coq_8_12: 8.12+β1 → 8.12.0
...
coqPackages.equations: 1.2.2 → 1.2.3
4 years ago
d1a7237eee
coqPackages.coq-extensible-records: remove at 1.2.0
4 years ago
a8bb61222f
coq_8_12: init at 8.12+β1
4 years ago
8fb991c7c4
coq: use OCaml 4.09
4 years ago
48f0d8b3c8
coq_8_11: 8.11.1 → 8.11.2
4 years ago
8d05e53561
Coq: refactoring of mathcomp packages ( #86088 )
...
- fixed bignum version
- fixed coq-bits version
- fixed coqprime version
- fixed mathcomp and mathcomp extra packages
(reworked building scheme and removed unused ssreflect directory)
- giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.
4 years ago
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
4 years ago
cf210c082d
coqPackages.hierarchy-builder: init at 0.9.0
4 years ago
229dc013b3
coqPackages.mathcomp_1_10: init at 1.10.0
4 years ago
13dd5844fd
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
4 years ago
2942490c2c
coq_8_11: init at 8.11+β1
5 years ago
3806eff9ca
coq_8_10: 8.10.1 → 8.10.2
5 years ago
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1
5 years ago
1bb56de88b
coqPackages.coq-bits: init at 20190812
5 years ago
b4db381443
coq_8_10: 8.10+β3 → 8.10.0
...
coqPackages.coq-elpi: master → 1.1.0
5 years ago
8288301636
coq_8_10: 8.10+β2 → 8.10+β3
5 years ago
609d408970
coq: make version 8.9 the default one
5 years ago
52f3c28df2
elpi: 1.4.1 -> 1.6.0, and coq-elpi
5 years ago
3bc04b576a
coq: 8.10+beta1 -> 8.10+beta2
5 years ago
d80148928b
coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0
5 years ago
37eef9055a
coqPackages.gappalib: init at 1.4.1
...
This is the Coq support library for Gappa.
5 years ago
f3282c8d1e
treewide: remove unused variables ( #63177 )
...
* treewide: remove unused variables
* making ofborg happy
5 years ago
547466064e
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed
5 years ago
57c3da07eb
coq_8_9: 8.9.0 -> 8.9.1
5 years ago
c37e00067d
coqPackages.ltac2: init at 0.1
5 years ago
b71c308591
coqPackages: refactor mathcomp packages
...
Closes #61456
5 years ago
b72daf7117
coq: init at 8.10+β1
5 years ago
f7bf3d2239
coqPackages: refactor
...
Coq packages that depend on others need to be recompiled when the dependencies are updated, so we make the whole `coqPackages` overridable by `overrideScope'`, using `lib.makeScope`.
5 years ago
823107038b
coqPackages.coqhammer: init at 1.1
...
CoqHammer is a general-purpose automated reasoning hammer tool for Coq.
Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/
5 years ago
13e9efbb02
coqPackages.paramcoq: init at 1.1.1
5 years ago
5d3e350536
coqPackages.mathcomp-analysis: init at 0.1.0
5 years ago
bafa15f145
coqPackages.mathcomp-finmap: init at 1.1.0
5 years ago
590e07779c
coqPackages.mathcomp-bigenough: init at 1.0.0
5 years ago
f5dbe5de07
coqPackages.coq-extensible-records: init at 1.2.0
5 years ago
b76961124d
coq_8_9: 8.9+beta1 -> 8.9.0
5 years ago
655231a612
coqPackages.simple-io: init at 0.2
...
Purely functional IO for Coq.
homepage: https://github.com/Lysxia/coq-simple-io
6 years ago
2b66c286be
coqPackages.corn: init at 8.8.1
6 years ago
83d84c08b9
filterCoqPackages: honor `recurseIntoAttrs`
6 years ago
527bad18d0
coqPackages: recurse into the attribute set
...
But do not build the packages on hydra.
6 years ago
a370bd1fed
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
6 years ago
e338d801e2
mkCoqPackages: look for “dontFilter” in coq derivation
6 years ago
dd21f83950
coq_8_9: init at 8.9+beta1
6 years ago
8df0ca2bbc
coq_8_4: remove
...
verasco was its only user
6 years ago
3c4c4ff051
coqPackages.Velisarios: New expression
6 years ago
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict)
6 years ago
34394a38ef
ocamlPackages_3_11_2: remove
...
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.
Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.
Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
6 years ago
c71cc0b98b
coqPackages.coqprime: init at 8.7.2 & 8.8
6 years ago
23900febe7
coq: 8.8.1 -> 8.8.2 ( #47388 )
6 years ago
9edd1875bc
coq_8_6: use OCaml 4.05
6 years ago
Vincent Laporte