« Up

Extra-dev 2316 packages

Linux, x86_64, OCaml 4.11.2, Opam 2.0.7

The summary column gives the worst case for each row. Colors:

• Success
• Not compatible
• Error with dependencies
• Error

		dev	summary
Name	Version	1919 226 42 126	1919 226 42 126
aac-tactics	8.5.0	NC	NC
	8.5.1	NC	NC
	8.6.1	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.13.1	NC	NC
	8.13.2	NC	NC
	8.14.0	NC	NC
	8.14.1	NC	NC
	8.15.0	NC	NC
	8.15.1	NC	NC
	dev	2 m 0 s	Success
abp	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
actuary	2.1	NC	NC
	2.2	1 m 0 s	Success
addition-chains	0.4	Error	Error
	0.5	NC	NC
	0.6	NC	NC
	dev	2 m 0 s	Success
additions	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
ails	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
albert	dev	Deps	Error
alea	8.11.0	Error	Error
	8.12.0	Error	Error
algebra	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
algorand	1.2	NC	NC
	1.3	NC	NC
almost-full	8.12.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
amm11262	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
angles	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
antivalence	1.0.0	NC	NC
	1.0.1	NC	NC
approx-models	1.0	Deps	Error
area-method	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
async-test	dev	2 m 0 s	Success
atbr	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
automata	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
autosubst	1.7	1 m 0 s	Success
	dev	1 m 0 s	Success
autosubst-ocaml	1.0.0	NC	NC
axiomatic-abp	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
bbv	1.0	NC	NC
	1.1	NC	NC
	1.2	NC	NC
	dev	1 m 0 s	Success
bdds	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Deps	Error
bedrock2	dev	16 m 0 s	Success
bellantonicook	1.0.0	NC	NC
bertrand	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
bignums	8.6.0	NC	NC
	8.7.0	NC	NC
	8.7.dev	NC	NC
	8.8.0	NC	NC
	8.8.dev	NC	NC
	8.9.0	NC	NC
	8.10+beta1	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.11.dev	NC	NC
	8.12.0	NC	NC
	8.12.dev	NC	NC
	8.13+beta1	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
	8.15.0	NC	NC
	dev	4 m 0 s	Success
bits	1.0.0	NC	NC
	1.1.0	NC	NC
bonsai	1.0.0	1 m 0 s	Success
buchberger	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
	dev	2 m 0 s	Success
bytestring	0.9.0	NC	NC
canon-bdds	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
cantor	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
category-theory	dev	Error	Error
cats-in-zfc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
ccs	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
cecoa	1.0.0	NC	NC
ceramist	1.0.0	NC	NC
	1.0.1	NC	NC
ceres	0.1.0	NC	NC
	0.2.0	NC	NC
	0.3.0	NC	NC
	0.4.0	NC	NC
	dev	1 m 0 s	Success
cfgv	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
cfml	20180525	NC	NC
	20181201	NC	NC
	20220112	1 m 0 s	Success
cfml-basis	20211215	3 m 0 s	Success
	20220102	4 m 0 s	Success
	20220112	3 m 0 s	Success
cfml-stdlib	20211215	2 m 0 s	Success
	20220102	2 m 0 s	Success
	20220112	2 m 0 s	Success
chapar	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
	dev	20 m 0 s	Success
charge-core	1.0.0	NC	NC
	1.0.1	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
checker	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
cheerios	dev	2 m 0 s	Success
chick-blog	1.0.0	NC	NC
	1.0.1	NC	NC
chinese	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
circuits	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
classical-realizability	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
coalgebras	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
coinduction	1.0	NC	NC
	1.1	NC	NC
	1.2	NC	NC
	1.3	NC	NC
coinductive-examples	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
coinductive-reals	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
color	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.3.0	NC	NC
	1.4.0	NC	NC
	1.5.0	NC	NC
	1.6.0	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.8.1	NC	NC
	1.8.2	NC	NC
	8.7.dev	NC	NC
	dev	15 m 0 s	Success
comp-dec-modal	1.0	Error	Error
	1.1	NC	NC
compcert	2.0.0	NC	NC
	2.3.2	NC	NC
	2.4.0	NC	NC
	2.5.0	NC	NC
	2.6.0	NC	NC
	2.7.1	NC	NC
	3.0.0	NC	NC
	3.0.1	NC	NC
	3.1.0	NC	NC
	3.2.0	NC	NC
	3.3.0	NC	NC
	3.4	NC	NC
	3.5	NC	NC
	3.5+8.10	NC	NC
	3.6	NC	NC
	3.6+8.11	NC	NC
	3.7~coq-platform	NC	NC
	3.7~coq-platform~open-source	NC	NC
	3.7	NC	NC
	3.7+8.12~coq_platform~open_source	NC	NC
	3.7+8.12~coq_platform	NC	NC
	3.8	NC	NC
	3.9	NC	NC
	3.10	NC	NC
	dev	20 m 0 s	Success
compcert-32	3.8	NC	NC
	3.9	NC	NC
	3.10	NC	NC
	dev	20 m 0 s	Success
compcert-64	3.7~coq-platform	NC	NC
	3.7~coq-platform~open-source	NC	NC
	3.7	NC	NC
	3.7+8.12~coq_platform~open_source	NC	NC
	3.7+8.12~coq_platform	NC	NC
	dev	Error	Error
concat	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
concurrency-pluto	1.0.0	NC	NC
	1.1.0	NC	NC
concurrency-proxy	1.0.0	NC	NC
concurrency-system	1.0.0	NC	NC
	1.1.0	NC	NC
constructive-geometry	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
constructors	1.0.0	NC	NC
containers	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
continuations	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
coq-in-coq	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
coq2html	1.0	1 m 0 s	Success
	1.1	1 m 0 s	Success
	1.2	1 m 0 s	Success
	1.3	1 m 0 s	Success
coqeal	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
	1.0.3	NC	NC
	1.0.4	NC	NC
	1.0.5	NC	NC
	1.0.6	NC	NC
	1.1.0	NC	NC
	dev	7 m 0 s	Success
coqeal-refinements	0.9.1	NC	NC
coqeal-theory	0.9.1	NC	NC
coqffi	1.0.0~beta1	Error	Error
	1.0.0~beta2	Error	Error
	1.0.0~beta3	Error	Error
	1.0.0~beta4	Error	Error
	1.0.0~beta5	Error	Error
	1.0.0~beta6	Error	Error
	1.0.0~beta7	Error	Error
	dev	Error	Error
coqoban	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	2 m 0 s	Success
	8.13.0	1 m 0 s	Success
	dev	Error	Error
coqprime	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
	1.0.3	NC	NC
	1.0.4	NC	NC
	1.0.5	NC	NC
	1.0.6	NC	NC
	1.1.0	4 m 0 s	Success
	1.1.1	4 m 0 s	Success
	dev	4 m 0 s	Success
coqprime-generator	1.1.1	1 m 0 s	Success
	dev	1 m 0 s	Success
coqrel	0.1.0	NC	NC
coqtail	8.11.2	NC	NC
	8.14	Error	Error
coquelicot	2.0.1	NC	NC
	2.1.0	NC	NC
	2.1.1	NC	NC
	2.1.2	NC	NC
	3.0.2	NC	NC
	3.0.3	NC	NC
	3.0.3+8.11	NC	NC
	3.1.0	NC	NC
	3.2.0	3 m 0 s	Success
	dev	3 m 0 s	Success
coqutil	dev	3 m 0 s	Success
corn	1.0.0	NC	NC
	1.2.0	NC	NC
	8.5.dev	NC	NC
	8.8.1	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	dev	54 m 0 s	Success
counting	8.5.0	NC	NC
	8.6.0	NC	NC
cours-de-coq	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
ctltctl	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
cunit	1.0.0	1 m 0 s	Success
cybele	1.3.0	NC	NC
dblib	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	dev	Error	Error
demos	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
dep-map	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
deriving	0.1.0	1 m 0 s	Success
	dev	2 m 0 s	Success
descente-infinie	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
dictionaries	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
dijkstra	0.1.0	1 m 0 s	Success
disel	2.0	NC	NC
	2.1	NC	NC
	2.2	NC	NC
	dev	Error	Error
disel-examples	2.1	NC	NC
	2.2	NC	NC
	dev	Deps	Error
distributed-reference-counting	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
domain-theory	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
dpdgraph	0.4	NC	NC
	0.5	NC	NC
	0.5.1	NC	NC
	0.6	NC	NC
	0.6.1	NC	NC
	0.6.2	NC	NC
	0.6.3	NC	NC
	0.6.4	NC	NC
	0.6.5	NC	NC
	0.6.6	NC	NC
	0.6.7	NC	NC
	0.6.8	NC	NC
	0.6.9	NC	NC
	1.0+8.13	NC	NC
	1.0+8.14	NC	NC
	1.0+8.15	NC	NC
	dev	1 m 0 s	Success
elpi	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.3.0	NC	NC
	1.3.1	NC	NC
	1.4.0	NC	NC
	1.4.1	NC	NC
	1.5.0	NC	NC
	1.5.1	NC	NC
	1.6.0~8.11	NC	NC
	1.6.0	NC	NC
	1.6.1~8.11	NC	NC
	1.6.2~8.11	NC	NC
	1.6.3~8.11	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.8.1	NC	NC
	1.8.2~8.12	NC	NC
	1.8.3~8.12	NC	NC
	1.9.0	NC	NC
	1.9.1	NC	NC
	1.9.2	NC	NC
	1.9.3	NC	NC
	1.9.4	NC	NC
	1.9.5	NC	NC
	1.9.6	NC	NC
	1.9.7	NC	NC
	1.10.0	NC	NC
	1.10.1	NC	NC
	1.10.2	NC	NC
	1.10.3	NC	NC
	1.11.0	NC	NC
	1.11.1	NC	NC
	1.11.2	NC	NC
	1.12.0	NC	NC
	1.12.1	NC	NC
	1.13.0	NC	NC
	dev	Error	Error
engine-bench	dev	41 m 0 s	Success
engine-bench-lite	dev	12 m 0 s	Success
equations	0.9~beta2	NC	NC
	1.0~beta2	NC	NC
	1.0~beta2+8.7	NC	NC
	1.0	NC	NC
	1.0+8.7	NC	NC
	1.0+8.8	NC	NC
	1.1+8.8	NC	NC
	1.2~beta2+8.8	NC	NC
	1.2~beta2+8.9	NC	NC
	1.2~beta+8.8	NC	NC
	1.2~beta+8.9	NC	NC
	1.2+8.8	NC	NC
	1.2+8.9	NC	NC
	1.2+8.10	NC	NC
	1.2.1+8.9	NC	NC
	1.2.1+8.10	NC	NC
	1.2.1+8.11	NC	NC
	1.2.2+8.11	NC	NC
	1.2.2+8.12	NC	NC
	1.2.3+8.11	NC	NC
	1.2.3+8.12	NC	NC
	1.2.3+8.13	NC	NC
	1.2.4+8.11	NC	NC
	1.2.4+8.12	NC	NC
	1.2.4+8.13	NC	NC
	1.3~beta1+8.13	NC	NC
	1.3~beta2+8.13	NC	NC
	1.3+8.13	NC	NC
	1.3+8.14	NC	NC
	1.3+8.15	NC	NC
	8.7.dev	NC	NC
	8.8.dev	NC	NC
	dev	2 m 0 s	Success
ergo	8.5.0	NC	NC
	8.6.0	NC	NC
error-handlers	1.0.0	1 m 0 s	Success
	1.1.0	1 m 0 s	Success
	1.1.1	1 m 0 s	Success
	1.2.0	1 m 0 s	Success
euclidean-geometry	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
euler-formula	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
exact-real-arithmetic	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
exceptions	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
ext-lib	0.9.0~beta3	NC	NC
	0.9.0	NC	NC
	0.9.1	NC	NC
	0.9.2	NC	NC
	0.9.3	NC	NC
	0.9.4	NC	NC
	0.9.5	NC	NC
	0.9.6	NC	NC
	0.9.7	NC	NC
	0.9.8	NC	NC
	0.10.0	NC	NC
	0.10.1	NC	NC
	0.10.2	NC	NC
	0.10.3	NC	NC
	0.11.0	NC	NC
	0.11.1	NC	NC
	0.11.2	NC	NC
	0.11.3	NC	NC
	0.11.4	NC	NC
	0.11.5	Error	Error
	0.11.6	2 m 0 s	Success
	dev	4 m 0 s	Success
extensible-records	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
extructures	0.1.0	Error	Error
	0.2.0	NC	NC
	0.2.1	NC	NC
	0.2.2	NC	NC
	0.3.0	NC	NC
	0.3.1	NC	NC
	dev	2 m 0 s	Success
fairisle	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
fcsl-pcm	1.0.0	NC	NC
	1.1.0	NC	NC
	1.1.1	Error	Error
	1.2.0	2 m 0 s	Success
	1.3.0	Error	Error
	1.4.0	7 m 0 s	Success
	dev	3 m 0 s	Success
fermat4	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
fiat-core	dev	10 m 0 s	Success
fiat-crypto	dev	Deps	Error
fiat-crypto-legacy	dev	Error	Error
fiat-crypto-legacy-extra	dev	Error	Error
fiat-crypto-with-bedrock	dev	Deps	Error
fiat-parsers	8.7.dev	NC	NC
	dev	23 m 0 s	Success
file-sync	dev	NC	NC
finger-tree	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
firing-squad	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.10.0	NC	NC
float	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
flocq	2.2.0	NC	NC
	2.3.0	NC	NC
	2.4.0	NC	NC
	2.5.2	NC	NC
	2.6.1	NC	NC
	3.0.0	NC	NC
	3.1.0	NC	NC
	3.2.0	NC	NC
	3.2.1	NC	NC
	3.3.0	NC	NC
	3.3.1	NC	NC
	3.4.0	NC	NC
	3.4.1	NC	NC
	3.4.2	NC	NC
	3.4.3	NC	NC
	4.0.0	NC	NC
	dev	Error	Error
flocq-quickchick	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
flocq3	dev	6 m 0 s	Success
formal-topology	dev	Error	Error
founify	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
fourcolor	1.2	NC	NC
	1.2.1	NC	NC
	1.2.2	NC	NC
	1.2.3	NC	NC
	1.2.4	NC	NC
	dev	1 h 14 m	Success
fpmods	0.2.0	NC	NC
free-groups	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
freespec-core	0.3	NC	NC
	dev	NC	NC
freespec-exec	0.3	NC	NC
	dev	NC	NC
freespec-ffi	0.3	NC	NC
	dev	NC	NC
fsets	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
fssec-model	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
function-ninjas	1.0.0	1 m 0 s	Success
functional-algebra	1.0.2	NC	NC
functions-in-zfc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
fundamental-arithmetics	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
gaia	1.11	NC	NC
	1.12	NC	NC
	1.13	NC	NC
	dev	Error	Error
gaia-hydras	0.5	NC	NC
	0.6	NC	NC
	dev	Deps	Error
games	0.1.0	NC	NC
gappa	1.2.1	NC	NC
	1.3.2	NC	NC
	1.3.3	NC	NC
	1.3.4	NC	NC
	1.4.0	NC	NC
	1.4.1	NC	NC
	1.4.2	NC	NC
	1.4.3	NC	NC
	1.4.4	NC	NC
	1.4.5	NC	NC
	1.4.6	NC	NC
	1.5.0	NC	NC
	1.5.1	NC	NC
	dev	Deps	Error
gc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
generic-environments	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	dev	Error	Error
geocoq	1.0.1	NC	NC
	1.1.0	NC	NC
	2.0.0	NC	NC
	2.1.0	NC	NC
	2.2.0	NC	NC
	2.2.1	NC	NC
	2.3.0	NC	NC
	2.4.0	NC	NC
	dev	45 m 0 s	Success
geocoq-axioms	2.4.0	NC	NC
geocoq-coinc	2.4.0	NC	NC
geocoq-elements	2.4.0	NC	NC
geocoq-main	2.4.0	NC	NC
geocoq-pof	2.4.0	NC	NC
geometric-algebra	0.8.8	NC	NC
	0.8.11	NC	NC
	0.8.12	2 m 0 s	Success
giskard	1.0	NC	NC
goedel	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	dev	Deps	Error
graph-basics	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
graph-theory	0.7	NC	NC
	0.9	Deps	Error
graphs	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
ground	0.01.0	42 m 0 s	Success
group-theory	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
groups	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
hammer	1.0.3	NC	NC
	1.0.8+8.7	NC	NC
	1.0.9+8.8.0	NC	NC
	1.0.9+8.8.1	NC	NC
	1.1+8.8	NC	NC
	1.1+8.9	NC	NC
	1.1.1+8.9	NC	NC
	1.1.1+8.10	NC	NC
	1.2+8.10	NC	NC
	1.2+8.11	NC	NC
	1.2.1+8.10	NC	NC
	1.2.1+8.11	NC	NC
	1.3+8.10	NC	NC
	1.3+8.11	NC	NC
	1.3+8.12	NC	NC
	1.3.1+8.10	NC	NC
	1.3.1+8.11	NC	NC
	1.3.1+8.12	NC	NC
	1.3.1+8.13	NC	NC
	1.3.2+8.10	NC	NC
	1.3.2+8.11	NC	NC
	1.3.2+8.12	NC	NC
	1.3.2+8.13	NC	NC
	1.3.2+8.14	NC	NC
	1.3.2+8.15	NC	NC
	dev	1 m 0 s	Success
hammer-tactics	1.1.1+8.9	NC	NC
	1.1.1+8.10	NC	NC
	1.2+8.10	NC	NC
	1.2+8.11	NC	NC
	1.2.1+8.10	NC	NC
	1.2.1+8.11	NC	NC
	1.3+8.10	NC	NC
	1.3+8.11	NC	NC
	1.3+8.12	NC	NC
	1.3.1+8.10	NC	NC
	1.3.1+8.11	NC	NC
	1.3.1+8.12	NC	NC
	1.3.1+8.13	NC	NC
	1.3.2+8.10	NC	NC
	1.3.2+8.11	NC	NC
	1.3.2+8.12	NC	NC
	1.3.2+8.13	NC	NC
	1.3.2+8.14	NC	NC
	1.3.2+8.15	NC	NC
	dev	1 m 0 s	Success
hanoi	1.0.0	NC	NC
hardware	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
hedges	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
hierarchy-builder	0.9.0	NC	NC
	0.9.1	NC	NC
	0.10.0	NC	NC
	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	2 m 0 s	Success
	1.2.1	Error	Error
	dev	Error	Error
hierarchy-builder-shim	1.1.0	2 m 0 s	Success
	1.2.0	1 m 0 s	Success
high-school-geometry	1.0.0	NC	NC
	8.6.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
higman-cf	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
higman-nw	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
higman-s	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
historical-examples	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
hoare-tut	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.11.1	NC	NC
	dev	Error	Error
hott	8.7	NC	NC
	8.7.dev	NC	NC
	8.8	NC	NC
	8.8.dev	NC	NC
	8.9	NC	NC
	8.9.dev	NC	NC
	8.10	NC	NC
	8.10.dev	NC	NC
	8.11	NC	NC
	8.11.dev	NC	NC
	8.12.dev	NC	NC
	8.13	NC	NC
	8.13.dev	NC	NC
	8.14	NC	NC
	8.15	NC	NC
	dev	13 m 0 s	Success
http	0.1.0	Error	Error
	dev	Error	Error
huffman	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
	dev	3 m 0 s	Success
hydra-battles	0.4	7 m 0 s	Success
	0.5	NC	NC
	0.6	NC	NC
	dev	Error	Error
icharate	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
idt	1.0.1	NC	NC
idxassoc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
ieee754	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
improper-integrals	0.1.0	NC	NC
inf-seq-ext	dev	2 m 0 s	Success
infotheo	0.0.1	NC	NC
	0.0.3	NC	NC
	0.0.4	NC	NC
	0.0.5	NC	NC
	0.0.6	NC	NC
	0.0.7	NC	NC
	0.1	NC	NC
	0.1.1	NC	NC
	0.1.2	NC	NC
	0.2	NC	NC
	0.2.1	NC	NC
	0.2.2	BL	BL
	0.3	NC	NC
	0.3.1	NC	NC
	0.3.2	NC	NC
	0.3.3	NC	NC
	0.3.4	Deps	Error
	0.3.5	Deps	Error
	0.3.6	Deps	Error
int-map	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
interval	2.2.1	NC	NC
	3.1.1	NC	NC
	3.2.0	NC	NC
	3.3.0	NC	NC
	3.4.0	NC	NC
	3.4.1	NC	NC
	3.4.2	NC	NC
	4.0.0	NC	NC
	4.1.0	NC	NC
	4.1.1	NC	NC
	4.2.0	NC	NC
	4.3.0	NC	NC
	4.3.1	NC	NC
	4.4.0	Deps	Error
	dev	Deps	Error
intuitionistic-nuprl	8.6.0	NC	NC
io	2.0.0	1 m 0 s	Success
	2.1.0	1 m 0 s	Success
	3.0.0	1 m 0 s	Success
	3.1.0	1 m 0 s	Success
	3.2.0	NC	NC
	3.3.0	NC	NC
	4.0.0	2 m 0 s	Success
io-evaluate	1.0.0	NC	NC
io-exception	1.0.0	NC	NC
	1.1.0	NC	NC
io-hello-world	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	1 m 0 s	Success
io-list	1.0.0	1 m 0 s	Success
	1.1.0	1 m 0 s	Success
io-system	2.0.0	NC	NC
	2.1.0	NC	NC
	2.2.0	NC	NC
	2.3.0	1 m 0 s	Success
	2.4.0	NC	NC
	2.4.1	1 m 0 s	Success
io-system-ocaml	2.0.0	NC	NC
	2.1.0	NC	NC
	2.2.0	NC	NC
	2.3.0	NC	NC
	2.3.1	1 m 0 s	Success
ipc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
iris	3.0.0	Error	Error
	3.1.0	Error	Error
	3.2.0	Error	Error
	3.3.0	Error	Error
	3.4.0	Error	Error
	3.5.0	13 m 0 s	Success
	3.6.0	14 m 0 s	Success
	dev	47 m 0 s	Success
iris-heap-lang	3.4.0	Deps	Error
	3.5.0	Error	Error
	3.6.0	5 m 0 s	Success
	dev	5 m 0 s	Success
iris-string-ident	0.1.0	NC	NC
itauto	8.13	NC	NC
	8.13+no	NC	NC
	8.14.0	NC	NC
	8.15.0	NC	NC
	dev	5 m 0 s	Success
iterable	1.0.0	1 m 0 s	Success
itree	1.0.0	NC	NC
	2.0.0	NC	NC
	3.0.0	NC	NC
	3.1.0	NC	NC
	3.2.0	NC	NC
	4.0.0	6 m 0 s	Success
	dev	24 m 0 s	Success
itree-io	0.1.0	1 m 0 s	Success
	dev	1 m 0 s	Success
izf	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
jmlcoq	8.12.0	NC	NC
	8.13.0	NC	NC
jordan-curve-theorem	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
jprover	8.5.0	NC	NC
	8.6.0	NC	NC
jsast	1.0.7	NC	NC
	1.0.8	NC	NC
	1.0.9	NC	NC
	2.0.0	1 m 0 s	Success
json	0.1.0	Error	Error
	0.1.1	1 m 0 s	Success
	dev	1 m 0 s	Success
karatsuba	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
katamaran	0.1.0	NC	NC
kildall	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
label	1.0.0	NC	NC
lambda	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
lambek	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
lazy-pcf	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
lc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
legacy-ring	8.5.0	NC	NC
	8.6.0	NC	NC
lemma-overloading	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	Error	Error
	8.12.0	Error	Error
	dev	2 m 0 s	Success
lens	1.0.0	NC	NC
	1.0.1+8.11	NC	NC
	1.0.1+8.12	NC	NC
lesniewski-mereology	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
libhyps	1.0.1	Error	Error
	1.0.2	Error	Error
	2.0.1	Error	Error
	2.0.2	Error	Error
	2.0.3	Error	Error
	2.0.4	1 m 0 s	Success
	2.0.5	1 m 0 s	Success
	dev	1 m 0 s	Success
library-undecidability	1.0.0+8.12	NC	NC
	8.12.dev	NC	NC
libvalidsdp	0.5	NC	NC
	0.6.0	NC	NC
	0.7.0	NC	NC
	1.0.0	NC	NC
	dev	NC	NC
lin-alg	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
list-plus	1.0.0	1 m 0 s	Success
	1.1.0	1 m 0 s	Success
list-string	1.0.0	NC	NC
	2.0.0	NC	NC
	2.1.0	NC	NC
	2.1.1	NC	NC
	2.1.2	1 m 0 s	Success
ltac-iter	1.0.0	NC	NC
	1.1.0	NC	NC
	1.1.1	NC	NC
	1.1.2	NC	NC
ltac2	0.1	NC	NC
	0.1-8.7	NC	NC
	0.2	NC	NC
	0.3	NC	NC
	8.7.dev	NC	NC
	8.8.dev	NC	NC
	8.9.dev	NC	NC
	8.10.dev	NC	NC
	dev	Error	Error
ltl	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
maple-mode	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
markov	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
matching-logic	dev	NC	NC
math-classes	1.0.3	NC	NC
	1.0.4	NC	NC
	1.0.5	NC	NC
	1.0.6	NC	NC
	1.0.7	NC	NC
	8.8.1	NC	NC
	8.9.1	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.15.0	NC	NC
	dev	8 m 0 s	Success
mathcomp-abel	1.0.0	Error	Error
	1.2.0	Error	Error
mathcomp-algebra	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	Deps	Error
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	Error	Error
	1.14.0	Error	Error
	dev	5 m 0 s	Success
mathcomp-algebra-tactics	0.1.0	NC	NC
	0.2.0	NC	NC
	0.3.0	NC	NC
	dev	Deps	Error
mathcomp-analysis	0.1.0	NC	NC
	0.2.0	NC	NC
	0.2.2	NC	NC
	0.2.3	NC	NC
	0.3.0	NC	NC
	0.3.1	NC	NC
	0.3.2	NC	NC
	0.3.3	NC	NC
	0.3.4	NC	NC
	0.3.5	BL	BL
	0.3.6	Deps	Error
	0.3.7	Deps	Error
	0.3.8	Deps	Error
	0.3.9	Deps	Error
	0.3.10	Error	Error
	0.3.11	Error	Error
	0.3.12	Deps	Error
	0.3.13	9 m 0 s	Success
	0.4.0	Deps	Error
	dev	18 m 0 s	Success
mathcomp-apery	1.0.1	NC	NC
mathcomp-bigenough	1.0.0	NC	NC
	1.0.1	1 m 0 s	Success
	dev	1 m 0 s	Success
mathcomp-character	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	Deps	Error
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	Deps	Error
	1.14.0	Deps	Error
	dev	5 m 0 s	Success
mathcomp-dioid	0.1	NC	NC
	0.2	NC	NC
	dev	NC	NC
mathcomp-field	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	Deps	Error
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	Deps	Error
	1.14.0	Deps	Error
	dev	13 m 0 s	Success
mathcomp-field-extra	1.6.1	NC	NC
mathcomp-fingroup	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	Error	Error
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	2 m 0 s	Success
	1.14.0	2 m 0 s	Success
	dev	2 m 0 s	Success
mathcomp-finmap	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.3.1	NC	NC
	1.3.3	NC	NC
	1.3.4	NC	NC
	1.4.0	NC	NC
	1.4.0+coq-8.11	NC	NC
	1.4.1	NC	NC
	1.5.0	NC	NC
	1.5.1	1 m 0 s	Success
	dev	1 m 0 s	Success
mathcomp-grobner	dev	Deps	Error
mathcomp-multinomials	1.0	NC	NC
	1.1	NC	NC
	1.2	NC	NC
	1.3	NC	NC
	1.4	NC	NC
	1.5	NC	NC
	1.5.1	NC	NC
	1.5.2	NC	NC
	1.5.3	NC	NC
	1.5.4	Error	Error
	1.5.5	2 m 0 s	Success
	dev	2 m 0 s	Success
mathcomp-odd-order	1.6.1	NC	NC
	1.6.2	NC	NC
	1.7.0	NC	NC
	1.10.0	NC	NC
	1.12.0	NC	NC
	1.13.0	Deps	Error
	dev	34 m 0 s	Success
mathcomp-real-closed	1.0.1	NC	NC
	1.0.2	NC	NC
	1.0.3	NC	NC
	1.0.4	NC	NC
	1.0.5	NC	NC
	1.1.1	NC	NC
	1.1.2	Error	Error
	dev	3 m 0 s	Success
mathcomp-solvable	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	Deps	Error
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	Deps	Error
	1.14.0	Deps	Error
	dev	6 m 0 s	Success
mathcomp-ssreflect	1.6	NC	NC
	1.6.1	NC	NC
	1.6.2	NC	NC
	1.6.4	NC	NC
	1.7.0	NC	NC
	1.8.0	NC	NC
	1.9.0	NC	NC
	1.10.0	NC	NC
	1.11+beta1	2 m 0 s	Success
	1.11.0	NC	NC
	1.12.0	NC	NC
	1.13.0	4 m 0 s	Success
	1.14.0	2 m 0 s	Success
	dev	3 m 0 s	Success
mathcomp-sum-of-two-square	1.0.0	NC	NC
	1.0.1	NC	NC
mathcomp-tarjan	1.0.0	2 m 0 s	Success
	dev	2 m 0 s	Success
mathcomp-zify	1.0.0+1.12+8.13	NC	NC
	1.1.0+1.12+8.13	NC	NC
	1.2.0+1.12+8.13	NC	NC
	dev	1 m 0 s	Success
maths	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
matrices	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
menhirlib	20190613	NC	NC
	20190620	NC	NC
	20190626	NC	NC
	20190924	NC	NC
	20200123	NC	NC
	20200211	NC	NC
	20200525	NC	NC
	20200612	NC	NC
	20200619	NC	NC
	20200624	NC	NC
	20201122	NC	NC
	20201201	NC	NC
	20201214	NC	NC
	20201216	NC	NC
	20210310	1 m 0 s	Success
	20210419	1 m 0 s	Success
	20210928	1 m 0 s	Success
	20210929	1 m 0 s	Success
	20211012	1 m 0 s	Success
	20211125	1 m 0 s	Success
	20211128	1 m 0 s	Success
	20211230	1 m 0 s	Success
	20220210	1 m 0 s	Success
	dev	3 m 0 s	Success
metacoq	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	1 m 0 s	Success
metacoq-checker	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
metacoq-erasure	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	5 m 0 s	Success
metacoq-pcuic	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	Deps	Error
metacoq-safechecker	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	Deps	Error
metacoq-template	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	7 m 0 s	Success
metacoq-translations	1.0~alpha1+8.8	NC	NC
	1.0~alpha1+8.9	NC	NC
	1.0~alpha2+8.10	NC	NC
	1.0~alpha2+8.11	NC	NC
	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta2+8.11	NC	NC
	1.0~beta2+8.12	NC	NC
	1.0~beta2+8.13	NC	NC
	dev	2 m 0 s	Success
metalib	dev	1 m 0 s	Success
mi-cho-coq	0.1	Error	Error
	1.0.0	NC	NC
	dev	Error	Error
min-imports	1.0.0	1 m 0 s	Success
	1.0.1	1 m 0 s	Success
	1.0.2	1 m 0 s	Success
mini-compiler	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
minic	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
miniml	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
mirror-core	1.0.1	NC	NC
	1.0.2	NC	NC
mod-red	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
moment	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	1 m 0 s	Success
monae	0.0.1	NC	NC
	0.0.2	NC	NC
	0.0.3	NC	NC
	0.0.4	NC	NC
	0.0.6	NC	NC
	0.1	NC	NC
	0.1.1	NC	NC
	0.1.2	NC	NC
	0.2	NC	NC
	0.2.1	NC	NC
	0.2.2	BL	BL
	0.3	NC	NC
	0.3.1	NC	NC
	0.3.2	NC	NC
	0.3.3	NC	NC
	0.3.4	NC	NC
	0.4	NC	NC
msets-extra	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
mtac	1.3.0	NC	NC
mtac2	1.0.0+8.7	NC	NC
	1.0.1+8.8	NC	NC
	1.1+8.8	NC	NC
	1.1+8.9	NC	NC
	1.1+8.10	NC	NC
	1.3+8.12	NC	NC
	1.4+8.13	NC	NC
	1.4+8.14	NC	NC
	1.4+8.15	NC	NC
	dev	3 m 0 s	Success
multiplier	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
mutual-exclusion	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
nfix	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
of-ocaml	1.1.1	NC	NC
	1.2.1	NC	NC
	2.0.0	NC	NC
	2.1.0	NC	NC
	dev	NC	NC
ollibs	2.0.0	NC	NC
	2.0.1	NC	NC
	2.0.2	NC	NC
opam-website	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.3.0	NC	NC
	1.3.1	NC	NC
	1.3.2	NC	NC
	1.4.0	NC	NC
orb-stab	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	dev	Deps	Error
ordinal	0.5.0	NC	NC
	0.5.1	NC	NC
ott	0.26	NC	NC
	0.27	NC	NC
	0.28	NC	NC
	0.29	NC	NC
	0.30	NC	NC
	0.31	NC	NC
	dev	2 m 0 s	Success
otway-rees	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
paco	1.2.8	NC	NC
	1.2.9	NC	NC
	2.0.0	NC	NC
	2.0.1	NC	NC
	2.0.2	NC	NC
	2.0.3	NC	NC
	2.1.0	NC	NC
	3.0.0	NC	NC
	4.0.0	NC	NC
	4.0.1	NC	NC
	4.0.2	NC	NC
	4.0.3	NC	NC
	4.0.4	NC	NC
	4.1.0	NC	NC
	4.1.1	NC	NC
	4.1.2	NC	NC
	dev	2 m 0 s	Success
paradoxes	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
param-pi	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
paramcoq	1.0.5	NC	NC
	1.0.6	NC	NC
	1.0.9	NC	NC
	1.1.0	Error	Error
	1.1.1+coq8.7	NC	NC
	1.1.1+coq8.8	NC	NC
	1.1.1+coq8.9	NC	NC
	1.1.2+coq8.7	NC	NC
	1.1.2+coq8.8	NC	NC
	1.1.2+coq8.9	NC	NC
	1.1.2+coq8.10	NC	NC
	1.1.2+coq8.11	NC	NC
	1.1.2+coq8.12	NC	NC
	1.1.2+coq8.13	NC	NC
	1.1.3+coq8.10	NC	NC
	1.1.3+coq8.11	NC	NC
	1.1.3+coq8.12	NC	NC
	1.1.3+coq8.13	NC	NC
	1.1.3+coq8.14	NC	NC
	1.1.3+coq8.15	NC	NC
	dev	1 m 0 s	Success
parsec	0.1.0	1 m 0 s	Success
	0.1.1	1 m 0 s	Success
	dev	1 m 0 s	Success
pautomata	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
performance-tests	dev	Error	Error
performance-tests-lite	dev	48 m 0 s	Success
persistent-union-find	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
pi-agm	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.2.2	NC	NC
	1.2.3	NC	NC
	1.2.4	NC	NC
	1.2.5	NC	NC
	1.2.6	Deps	Error
pi-calc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
plouffe	1.0.0	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.3.0	NC	NC
	1.4.0	NC	NC
plugin-utils	1.1.0	NC	NC
	1.2.0	NC	NC
	1.3.0	NC	NC
pocklington	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.12.0	NC	NC
	dev	3 m 0 s	Success
poltac	0.8.8	NC	NC
	0.8.11	NC	NC
	0.8.12	2 m 0 s	Success
ppsimpl	1.0.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
presburger	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
prfx	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
printf	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
	2.0.0	NC	NC
procrastination	1.0	NC	NC
	1.1	NC	NC
	1.2	NC	NC
projective-geometry	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
propcalc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
prosa	0.4	NC	NC
	dev	Error	Error
pts	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
ptsatr	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
ptsf	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
qarith	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
qarith-stern-brocot	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
qcert	1.0.4	NC	NC
	1.0.5	NC	NC
	1.0.6	NC	NC
	1.0.7	NC	NC
	1.0.9	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.3.0	NC	NC
	1.4.0	NC	NC
	1.4.1	NC	NC
	2.0.0	NC	NC
	2.1.0	NC	NC
	2.1.1	NC	NC
quickchick	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.3.0	NC	NC
	1.3.1	NC	NC
	1.3.2	NC	NC
	1.4.0	NC	NC
	1.5.0	NC	NC
	1.5.1	NC	NC
	1.6.0	NC	NC
	1.6.1	NC	NC
	8.8.dev	NC	NC
	8.9.dev	NC	NC
	8.10.dev	NC	NC
	dev	2 m 0 s	Success
quicksort-complexity	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
railroad-crossing	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
ramsey	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
random	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
rational	8.5.0	NC	NC
	8.6.0	NC	NC
record-update	0.2.0	1 m 0 s	Success
	0.3.0	1 m 0 s	Success
recursive-definition	8.5.0	NC	NC
	8.6.0	NC	NC
reduction-effects	0.1.0	NC	NC
	0.1.1	NC	NC
	0.1.2	Error	Error
	0.1.3	Error	Error
reflexive-first-order	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
regexp	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
regexp-brzozowski	1.0	2 m 0 s	Success
reglang	1.0	NC	NC
	1.1	NC	NC
	1.1.1	NC	NC
	1.1.2	NC	NC
	1.1.3	NC	NC
	dev	2 m 0 s	Success
relation-algebra	1.3	NC	NC
	1.4	NC	NC
	1.5	NC	NC
	1.6	NC	NC
	1.7	NC	NC
	1.7.1	NC	NC
	1.7.2	NC	NC
	1.7.3	NC	NC
	1.7.4	NC	NC
	1.7.5	NC	NC
	1.7.6	NC	NC
	dev	7 m 0 s	Success
relation-extraction	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
rem	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
rewriter	dev	23 m 0 s	Success
rewriter-perf-Fast	dev	Error	Error
rewriter-perf-Medium	dev	Error	Error
rewriter-perf-Slow	dev	Error	Error
rewriter-perf-SuperFast	dev	57 m 0 s	Success
rewriter-perf-VerySlow	dev	Error	Error
robot	0.1	NC	NC
rsa	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	1 m 0 s	Success
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
ruler-compass-geometry	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
scev	1.0.1	NC	NC
schroeder	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
search-trees	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
semantics	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.11.1	NC	NC
	8.14.0	1 m 0 s	Success
serapi	8.14+rc1+0.14.0	NC	NC
	8.15+rc1+0.15.0	NC	NC
sf-plf	8.7.dev	NC	NC
	dev	2 m 0 s	Success
shuffle	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
simple-io	0.1	1 m 0 s	Success
	0.2	1 m 0 s	Success
	1.0.0	1 m 0 s	Success
	1.1.0	NC	NC
	1.2.0	NC	NC
	1.2.1	NC	NC
	1.3.0	NC	NC
	1.4.0	NC	NC
	1.5.0	NC	NC
	1.6.0	NC	NC
	1.7.0	NC	NC
	dev	1 m 0 s	Success
smc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Deps	Error
smpl	8.10.2	NC	NC
	8.11	NC	NC
	8.12	NC	NC
	8.12.0.1	NC	NC
	8.13	NC	NC
	8.14	NC	NC
	8.15	NC	NC
smt-check	1.0.0	NC	NC
	2.0.0	NC	NC
smtcoq	dev+8.11	NC	NC
	dev+8.12	NC	NC
	dev+8.13	NC	NC
sniper	dev+8.11+8.12	NC	NC
	dev+8.13	NC	NC
square-matrices	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
squiggle-eq	1.0.1	NC	NC
	1.0.2	NC	NC
	1.0.3	NC	NC
	1.0.4	NC	NC
ssreflect	1.5.0	NC	NC
	1.5.1~beta2	NC	NC
stalmarck	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	8.12.0	NC	NC
	8.13.0	NC	NC
	8.14.0	NC	NC
stalmarck-tactic	8.13.0	NC	NC
	8.14.0	NC	NC
stdpp	1.0.0	Error	Error
	1.1.0	Error	Error
	1.2.0	Error	Error
	1.2.1	Error	Error
	1.3.0	Error	Error
	1.4.0	Error	Error
	1.5.0	Error	Error
	1.6.0	Error	Error
	1.7.0	4 m 0 s	Success
	dev	4 m 0 s	Success
streams	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
string	8.5.0	NC	NC
	8.6.0	NC	NC
struct-tact	dev	1 m 0 s	Success
subst	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
sudoku	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
sum-of-two-square	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
switch	1.0.0	NC	NC
	1.0.1	NC	NC
	1.0.2	NC	NC
	1.0.3	NC	NC
	1.0.4	NC	NC
	1.0.5	Error	Error
tactician	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta1+8.13	NC	NC
	8.10.dev	NC	NC
	8.11.dev	NC	NC
	8.12.dev	NC	NC
	8.13.dev	NC	NC
	8.14.dev	NC	NC
	8.15.dev	NC	NC
	dev	2 m 0 s	Success
tactician-dummy	1.0~beta1	1 m 0 s	Success
	dev	1 m 0 s	Success
tactician-stdlib	1.0~beta1+8.11	NC	NC
	1.0~beta1+8.12	NC	NC
	1.0~beta1+8.13	NC	NC
	8.10.dev	NC	NC
	8.11.dev	NC	NC
	8.12.dev	NC	NC
	8.13.dev	NC	NC
	8.14.dev	NC	NC
	8.15.dev	NC	NC
	dev	27 m 0 s	Success
tait	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
tarski-geometry	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
template-coq	1.0.0~beta2	NC	NC
	1.1.0~beta2	NC	NC
	1.1.0~beta3	NC	NC
	2.1~beta3	NC	NC
	8.7.dev	NC	NC
three-gap	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
tlc	20161010	NC	NC
	20171128	NC	NC
	20171206	NC	NC
	20180316	NC	NC
	20181116	NC	NC
	20200328	NC	NC
	20210316	3 m 0 s	Success
	20211215	3 m 0 s	Success
topology	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.12.0	NC	NC
	9.0.0	2 m 0 s	Success
	10.0.1	2 m 0 s	Success
	dev	2 m 0 s	Success
tortoise-hare-algorithm	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
traversable-fincontainer	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
tree-automata	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Deps	Error
tree-calculus	1.0.0	1 m 0 s	Success
tree-diameter	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
type-infer	0.1.0	1 m 0 s	Success
typing-flags	1.0	NC	NC
unicoq	1.0.0	NC	NC
	1.3+8.6	NC	NC
	1.3+8.7	NC	NC
	1.3+8.8	NC	NC
	1.3+8.9	NC	NC
	1.3+8.10	NC	NC
	1.3.2+8.10	NC	NC
	1.5+8.12	NC	NC
	1.5+8.13	NC	NC
	1.6+8.14	NC	NC
	1.6+8.15	NC	NC
	dev	1 m 0 s	Success
unimath	20210807	Error	Error
	20220204	Error	Error
	dev	7 h 26 m	Success
unimath-category-theory	0.1.0	NC	NC
unimath-dedekind	0.1.0	NC	NC
unimath-foundations	0.1.0	NC	NC
unimath-ktheory	0.1.0	NC	NC
unimath-substitution-systems	0.1.0	NC	NC
unimath-tactics	0.1.0	NC	NC
universe-comparator	1.0.1	NC	NC
	1.1.0	NC	NC
validsdp	0.6.0	NC	NC
	0.7.0	NC	NC
	1.0.0	NC	NC
	dev	NC	NC
verdi	dev	4 m 0 s	Success
verdi-raft	dev	45 m 0 s	Success
vlsm	1.0	NC	NC
	1.1	NC	NC
	dev	8 m 0 s	Success
void	0.1.0	NC	NC
vst	2.2	NC	NC
	2.6	NC	NC
	2.7	NC	NC
	2.7.1	NC	NC
	2.8	NC	NC
	2.9	NC	NC
	2.9.1	NC	NC
	8.7.dev	NC	NC
	dev	1 h 11 m	Success
vst-32	2.7	NC	NC
	2.7.1	NC	NC
	2.8	NC	NC
	2.9	NC	NC
	2.9.1	NC	NC
vst-64	2.6	NC	NC
	dev	Deps	Error
waterproof	1.0.0	NC	NC
	1.1.2	NC	NC
weak-up-to	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	1 m 0 s	Success
yalla	2.0.1	NC	NC
	2.0.2	NC	NC
	2.0.3	NC	NC
zchinese	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error
zf	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	2 m 0 s	Success
zfc	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
zorns-lemma	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	8.11.0	NC	NC
	9.0.0	1 m 0 s	Success
	10.0.1	1 m 0 s	Success
	dev	1 m 0 s	Success
zsearch-trees	8.5.0	NC	NC
	8.6.0	NC	NC
	8.7.0	NC	NC
	8.8.0	NC	NC
	8.9.0	NC	NC
	8.10.0	NC	NC
	dev	Error	Error