addition-chains
|
coqPackages.addition-chains: init at 0.4
|
2021-08-17 14:44:10 +02:00 |
ceres
|
coqPackages.ceres: init at 0.4.0
|
2021-09-15 14:23:46 +02:00 |
coq-ext-lib
|
coqPackages.coq-ext-lib: 0.11.3 → 0.11.4
|
2021-10-04 20:33:53 +02:00 |
flocq
|
coqPackages.flocq: 3.3.1 → 3.4.2
|
2021-09-24 21:39:00 +02:00 |
gappalib
|
coqPackages.gappalib: 1.4.5 → 1.5.0
|
2021-10-03 21:57:48 +02:00 |
hydra-battles
|
coqPackages.hydra-battles: 0.3 -> 0.4
|
2021-08-17 14:44:10 +02:00 |
multinomials
|
coqPackages.multinomials: fix
|
2021-10-04 11:35:53 +02:00 |
paramcoq
|
coqPackages.paramcoq: 1.1.2 → 1.1.3
|
2021-10-01 07:50:55 +02:00 |
parsec
|
coqPackages.parsec: init at 0.1.0
|
2021-09-15 14:23:46 +02:00 |
serapi
|
coqPackages.serapi: init at multiple versions
|
2021-08-17 16:45:04 +02:00 |
StructTact
|
coqPackages.StructTact: 20181102 → 20210328
|
2021-10-05 07:38:05 +02:00 |
topology
|
coqPackage.topology: 8.12.0 -> 9.0.0
|
2021-08-22 16:11:42 +02:00 |
Verdi
|
coqPackages.Verdi: 20200131 → 20210524
|
2021-10-05 07:38:05 +02:00 |
zorns-lemma
|
coqPackage.topology: 8.12.0 -> 9.0.0
|
2021-08-22 16:11:42 +02:00 |