« Up

Released 2649 packages

Linux, x86_64, OCaml 5.0.0, Opam 2.1.5

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
8.17.0 8.17.1 8.18.0 summary
Name Version 2224 316 59 81 2257 125 242 24 2317 263 21 74 2186 176 225 91
aac-tactics 8.5.0 NC NC NC NC
8.5.1 NC NC NC NC
8.6.1 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.13.1 NC NC NC NC
8.13.2 NC NC NC NC
8.14.0 NC NC NC NC
8.14.1 NC NC NC NC
8.15.0 NC NC NC NC
8.15.1 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 1 m 0 s 1 m 0 s NC Success
8.18.0 NC NC 1 m 0 s Success
abp 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 Deps NC NC Error
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
actuary 2.1 NC NC NC NC
2.2 NC NC NC NC
2.3 NC NC NC NC
2.4 NC NC NC NC
2.5 NC NC NC NC
2.6 Deps Deps 1 m 0 s Error
addition-chains 0.4 NC NC NC NC
0.5 NC NC NC NC
0.6 NC NC NC NC
0.9 Uninstall Deps NC Error
additions 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ails 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
alea 8.11.0 Deps NC NC Error
8.12.0 NC NC NC NC
algebra 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
algorand 1.2 NC NC NC NC
1.3 Deps NC NC Error
1.4 2 m 0 s Deps 2 m 0 s Error
almost-full 8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 1 m 0 s 1 m 0 s 1 m 0 s Success
8.18.0 1 m 0 s 1 m 0 s 1 m 0 s Success
amm11262 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
angles 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
antivalence 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
approx-models 1.0 Error Deps Error Error
area-method 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
async-test 0.1.0 1 m 0 s Deps 1 m 0 s Error
atbr 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 3 m 0 s 3 m 0 s NC Success
8.18.0 NC NC 2 m 0 s Success
automata 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 Deps NC NC Error
autosubst 1.7 NC NC NC NC
1.8 1 m 0 s 1 m 0 s 1 m 0 s Success
autosubst-ocaml 1.0.0 Deps NC NC Error
axiomatic-abp 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
bbv 1.0 NC NC NC NC
1.1 NC NC NC NC
1.2 NC NC NC NC
1.3 NC NC NC NC
1.4 1 m 0 s 1 m 0 s 1 m 0 s Success
bdds 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
bedrock2 0.0.1 Deps Deps Deps Error
0.0.2 14 m 0 s Deps Deps Error
0.0.3 17 m 0 s Deps Deps Error
0.0.4 15 m 0 s Deps Deps Error
0.0.5 14 m 0 s Deps 12 m 0 s Error
0.0.6 13 m 0 s Deps 10 m 0 s Error
bedrock2-compiler 0.0.2 11 m 0 s Deps Deps Error
0.0.3 12 m 0 s Deps Deps Error
0.0.4 15 m 0 s Deps Deps Error
0.0.5 12 m 0 s Deps 12 m 0 s Error
0.0.6 12 m 0 s Deps 11 m 0 s Error
belgames 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.1.1 NC NC NC NC
2.0.0 4 m 0 s Deps 4 m 0 s Error
bellantonicook 1.0.0 NC NC NC NC
bertrand 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
bignums 8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 2 m 0 s 2 m 0 s NC Success
9.0.0+coq8.13 NC NC NC NC
9.0.0+coq8.14 NC NC NC NC
9.0.0+coq8.15 NC NC NC NC
9.0.0+coq8.16 NC NC NC NC
9.0.0+coq8.17 1 m 0 s 2 m 0 s NC Success
9.0.0+coq8.18 NC NC 1 m 0 s Success
bits 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
bonsai 1.0.0 1 m 0 s Deps 1 m 0 s Error
buchberger 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 1 m 0 s 1 m 0 s 1 m 0 s Success
8.18.0 1 m 0 s 2 m 0 s 1 m 0 s Success
bytestring 0.9.0 NC NC NC NC
canon-bdds 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
cantor 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
category-theory 1.0.0 NC NC NC NC
cats-in-zfc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ccs 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
cds4ltl 1.0.0 NC NC NC NC
cecoa 1.0.0 NC NC NC NC
ceramist 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
ceres 0.1.0 NC NC NC NC
0.2.0 NC NC NC NC
0.3.0 NC NC NC NC
0.4.0 NC NC NC NC
0.4.1 Uninstall Uninstall Uninstall Error
certicoq 0.9~beta+8.14 NC NC NC NC
cfgv 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
cfml 20180525 NC NC NC NC
20181201 NC NC NC NC
20220112 Deps Deps Deps Error
cfml-basis 20211215 Deps Deps Deps Error
20220102 Deps Deps Deps Error
20220112 Deps Deps Deps Error
cfml-stdlib 20211215 Deps Deps Deps Error
20220102 Deps Deps Deps Error
20220112 Deps Deps Deps Error
chapar 8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 8 m 0 s 8 m 0 s NC Success
8.16.0 12 m 0 s 7 m 0 s 13 m 0 s Success
8.17.0 7 m 0 s 7 m 0 s 9 m 0 s Success
charge-core 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
checker 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
chick-blog 1.0.0 NC BL NC BL
1.0.1 NC NC NC NC
chinese 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
circuits 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
classical-realizability 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
coalgebras 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
coinduction 1.0 NC NC NC NC
1.1 NC NC NC NC
1.2 NC NC NC NC
1.3 NC NC NC NC
1.4 NC NC NC NC
1.5 NC NC NC NC
1.6 3 m 0 s 3 m 0 s 2 m 0 s Success
1.7 1 m 0 s 1 m 0 s 1 m 0 s Success
1.8 1 m 0 s 1 m 0 s 1 m 0 s Success
coinduction-examples 1.5 2 m 0 s Deps 2 m 0 s Error
1.6 2 m 0 s Deps 2 m 0 s Error
1.7 1 m 0 s Deps 1 m 0 s Error
coinductive-examples 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
coinductive-reals 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
color 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
1.5.0 NC NC NC NC
1.6.0 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.8.1 NC NC NC NC
1.8.2 NC NC NC NC
1.8.3 NC NC NC NC
1.8.4 6 m 0 s Deps NC Error
commutative-diagrams 0.1 NC NC NC NC
comp-dec-modal 1.0 NC NC NC NC
1.1 NC NC NC NC
compcert 2.0.0 NC NC NC NC
2.3.2 NC NC NC NC
2.4.0 NC NC NC NC
2.5.0 NC NC NC NC
2.6.0 NC NC NC NC
2.7.1 NC NC NC NC
3.0.0 NC NC NC NC
3.0.1 NC NC NC NC
3.1.0 NC NC NC NC
3.2.0 NC NC NC NC
3.3.0 NC NC NC NC
3.4 NC NC NC NC
3.5 NC NC NC NC
3.5+8.10 NC NC NC NC
3.6 NC NC NC NC
3.6+8.11 NC NC NC NC
3.7~coq-platform NC NC NC NC
3.7~coq-platform~open-source NC NC NC NC
3.7 NC NC NC NC
3.7+8.12~coq_platform~open_source NC NC NC NC
3.7+8.12~coq_platform NC NC NC NC
3.8 NC NC NC NC
3.9 NC NC NC NC
3.10 NC NC NC NC
3.11 NC NC NC NC
3.12 NC NC NC NC
3.13 NC NC NC NC
3.13.1 NC NC NC NC
compcert-32 3.8 NC NC NC NC
3.9 NC NC NC NC
3.10 NC NC NC NC
3.11 NC NC NC NC
3.12 NC NC NC NC
3.13 NC NC NC NC
3.13.1 NC NC NC NC
compcert-64 3.7~coq-platform NC NC NC NC
3.7~coq-platform~open-source NC NC NC NC
3.7 NC NC NC NC
3.7+8.12~coq_platform~open_source Deps NC NC Error
3.7+8.12~coq_platform NC NC NC NC
concat 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 Deps NC NC Error
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
concurrency-pluto 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
concurrency-proxy 1.0.0 NC NC NC NC
concurrency-system 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
constructive-geometry 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
constructors 1.0.0 NC NC NC NC
containers 8.5.0 Deps NC NC Error
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
continuations 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
coq-in-coq 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
coq2html 1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.1 1 m 0 s 1 m 0 s 1 m 0 s Success
1.2 1 m 0 s 1 m 0 s 1 m 0 s Success
1.3 1 m 0 s 1 m 0 s 1 m 0 s Success
coqeal 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
1.0.5 NC NC NC NC
1.0.6 NC NC NC NC
1.1.0 NC NC NC NC
1.1.1 3 m 0 s Deps NC Error
1.1.2 2 m 0 s Deps NC Error
1.1.3 2 m 0 s Deps 3 m 0 s Error
2.0.0 Error Deps Error Error
2.0.1 6 m 0 s 5 m 0 s Success
coqeal-refinements 0.9.1 NC NC NC NC
coqeal-theory 0.9.1 NC NC NC NC
coqffi 1.0.0~beta1 NC NC NC NC
1.0.0~beta2 NC NC NC NC
1.0.0~beta3 NC NC NC NC
1.0.0~beta4 NC NC NC NC
1.0.0~beta5 NC NC NC NC
1.0.0~beta6 NC NC NC NC
1.0.0~beta7 NC NC NC NC
1.0.0~beta8 NC NC NC NC
coqoban 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.13.0 1 m 0 s 1 m 0 s 1 m 0 s Success
coqprime 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
1.0.5 NC NC NC NC
1.0.6 NC NC NC NC
1.1.0 Error Deps Error Error
1.1.1 Error Deps Error Error
1.2.0 NC NC NC NC
1.3.0 2 m 0 s Deps 2 m 0 s Error
1.4.0 3 m 0 s Deps 3 m 0 s Error
coqprime-generator 1.1.1 Error Error Error Error
coqrel 0.1.0 NC NC NC NC
coqtail 8.11.2 NC NC NC NC
8.14 NC NC NC NC
8.18 3 m 0 s 3 m 0 s 2 m 0 s Success
coquelicot 2.0.1 NC NC NC NC
2.1.0 NC NC NC NC
2.1.1 NC NC NC NC
2.1.2 NC NC NC NC
3.0.2 NC NC NC NC
3.0.3 NC NC NC NC
3.0.3+8.11 NC NC NC NC
3.1.0 NC NC NC NC
3.2.0 NC NC NC NC
3.3.0 2 m 0 s Deps Error Error
3.3.1 2 m 0 s Deps 2 m 0 s Error
3.4.0 2 m 0 s Deps 2 m 0 s Error
3.4.1 2 m 0 s 2 m 0 s Success
coqutil 0.0.1 Error Error Error Error
0.0.2 2 m 0 s 2 m 0 s Error Error
0.0.3 2 m 0 s 3 m 0 s 2 m 0 s Success
0.0.4 2 m 0 s 2 m 0 s 2 m 0 s Success
corn 1.0.0 NC NC NC NC
1.2.0 NC NC NC NC
8.8.1 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.16.0 13 m 0 s Deps NC Error
8.18.0 17 m 0 s Deps 21 m 0 s Error
counting 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
cours-de-coq 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 Deps NC NC Error
ctltctl 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
cunit 1.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
cybele 1.3.0 NC NC NC NC
dblib 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 Deps NC NC Error
demos 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
dep-map 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
deriving 0.1.0 NC NC NC NC
0.1.1 Deps Deps 1 m 0 s Error
0.2.0 2 m 0 s Deps 1 m 0 s Error
descente-infinie 8.5.0 NC NC NC NC
8.6.0 Deps NC NC Error
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
dictionaries 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
dijkstra 0.1.0 Uninstall Deps Uninstall Error
diqt 1.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
disel 2.0 NC NC NC NC
2.1 NC NC NC NC
2.2 NC NC NC NC
2.3 Uninstall Deps Uninstall Error
disel-examples 2.1 NC NC NC NC
2.2 NC NC NC NC
2.3 Uninstall Deps Uninstall Error
distributed-reference-counting 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
domain-theory 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
dpdgraph 0.4 NC NC NC NC
0.5 NC NC NC NC
0.5.1 NC NC NC NC
0.6 NC NC NC NC
0.6.1 NC NC NC NC
0.6.2 NC NC NC NC
0.6.3 NC NC NC NC
0.6.4 NC NC NC NC
0.6.5 NC NC NC NC
0.6.6 NC NC NC NC
0.6.7 NC NC NC NC
0.6.8 NC NC NC NC
0.6.9 NC NC NC NC
1.0+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 1 m 0 s 1 m 0 s NC Success
1.0+8.17 1 m 0 s 1 m 0 s NC Success
1.0+8.18 NC NC 1 m 0 s Success
elpi 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 NC NC NC NC
1.3.1 NC NC NC NC
1.4.0 NC NC NC NC
1.4.1 NC NC NC NC
1.5.0 NC NC NC NC
1.5.1 NC NC NC NC
1.6.0~8.11 NC NC NC NC
1.6.0 NC NC NC NC
1.6.1~8.11 NC NC NC NC
1.6.2~8.11 NC NC NC NC
1.6.3~8.11 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.8.1 NC NC NC NC
1.8.2~8.12 NC NC NC NC
1.8.3~8.12 NC NC NC NC
1.9.0 NC NC NC NC
1.9.1 NC NC NC NC
1.9.2 NC NC NC NC
1.9.3 NC NC NC NC
1.9.4 NC NC NC NC
1.9.5 NC NC NC NC
1.9.6 NC NC NC NC
1.9.7 NC NC NC NC
1.10.0 NC NC NC NC
1.10.1 NC NC NC NC
1.10.2 NC NC NC NC
1.10.3 NC NC NC NC
1.11.0 NC NC NC NC
1.11.1 NC NC NC NC
1.11.2 NC NC NC NC
1.12.0 NC NC NC NC
1.12.1 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.15.1 NC NC NC NC
1.15.2 NC NC NC NC
1.15.3 NC NC NC NC
1.15.4 NC NC NC NC
1.15.5 NC NC NC NC
1.15.6 NC NC NC NC
1.16.0 NC NC NC NC
1.17.0 2 m 0 s 3 m 0 s NC Success
1.17.1 2 m 0 s 2 m 0 s NC Success
1.18.0 2 m 0 s 3 m 0 s NC Success
1.19.0 Deps NC 2 m 0 s Error
1.19.3 NC NC 2 m 0 s Success
2.0.0 NC NC 2 m 0 s Success
equations 1.0~beta2 NC NC NC NC
1.0~beta2+8.7 NC NC NC NC
1.0 NC NC NC NC
1.0+8.7 NC NC NC NC
1.0+8.8 NC NC NC NC
1.1+8.8 NC NC NC NC
1.2~beta2+8.8 NC NC NC NC
1.2~beta2+8.9 NC NC NC NC
1.2~beta+8.8 NC NC NC NC
1.2~beta+8.9 NC NC NC NC
1.2+8.8 NC NC NC NC
1.2+8.9 NC NC NC NC
1.2+8.10 NC NC NC NC
1.2.1+8.9 NC NC NC NC
1.2.1+8.10 NC NC NC NC
1.2.1+8.11 NC NC NC NC
1.2.2+8.11 NC NC NC NC
1.2.3+8.11 NC NC NC NC
1.2.3+8.12 NC NC NC NC
1.2.3+8.13 NC NC NC NC
1.2.4+8.11 NC NC NC NC
1.2.4+8.12 NC NC NC NC
1.2.4+8.13 NC NC NC NC
1.3~beta1+8.13 NC NC NC NC
1.3~beta2+8.13 NC NC NC NC
1.3+8.13 NC NC NC NC
1.3+8.14 NC NC NC NC
1.3+8.15 NC NC NC NC
1.3+8.16 NC NC NC NC
1.3+8.17 1 m 0 s 1 m 0 s NC Success
1.3+8.18 NC NC 1 m 0 s Success
ergo 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
error-handlers 1.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.1.1 1 m 0 s 1 m 0 s 1 m 0 s Success
1.2.0 1 m 0 s 1 m 0 s 1 m 0 s Success
euclidean-geometry 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
euler-formula 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
exact-real-arithmetic 8.5.0 NC NC NC NC
8.6.0 Deps NC NC Error
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
exceptions 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ext-lib 0.9.0~beta3 NC NC NC NC
0.9.0 NC NC NC NC
0.9.1 NC NC NC NC
0.9.2 NC NC NC NC
0.9.3 NC NC NC NC
0.9.4 NC NC NC NC
0.9.5 NC NC NC NC
0.9.6 NC NC NC NC
0.9.7 NC NC NC NC
0.9.8 NC NC NC NC
0.10.0 NC NC NC NC
0.10.1 NC NC NC NC
0.10.2 NC NC NC NC
0.10.3 NC NC NC NC
0.11.0 NC NC NC NC
0.11.1 Deps NC NC Error
0.11.2 NC NC NC NC
0.11.3 NC NC NC NC
0.11.4 NC NC NC NC
0.11.5 Error Error Error Error
0.11.6 Error Error Error Error
0.11.7 2 m 0 s 2 m 0 s Error Error
0.11.8 1 m 0 s 1 m 0 s 1 m 0 s Success
0.12.0 1 m 0 s 1 m 0 s 1 m 0 s Success
extensible-records 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
extructures 0.1.0 NC NC NC NC
0.2.0 NC NC NC NC
0.2.1 NC NC NC NC
0.2.2 NC NC NC NC
0.3.0 NC NC NC NC
0.3.1 1 m 0 s Deps 1 m 0 s Error
0.4.0 2 m 0 s Deps 2 m 0 s Error
fairisle 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
fcsl-pcm 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.1.1 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
1.5.1 NC NC NC NC
1.6.0 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 2 m 0 s Deps 2 m 0 s Error
fermat4 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
fiat-crypto 0.0.15 Error Deps NC Error
0.0.16 Error Deps NC Error
0.0.17 Error Deps NC Error
0.0.20 Error Deps Error Error
0.0.24 1 h 35 m Deps 1 h 22 m Error
file-sync 0.1.0 1 m 0 s Deps 1 m 0 s Error
finger-tree 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
firing-squad 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.10.0 NC NC NC NC
float 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
flocq 2.2.0 Deps NC NC Error
2.3.0 NC NC NC NC
2.4.0 NC NC NC NC
2.5.2 NC NC NC NC
2.6.1 NC NC NC NC
3.0.0 NC NC NC NC
3.1.0 NC NC NC NC
3.2.0 NC NC NC NC
3.2.1 NC NC NC NC
3.3.0 NC NC NC NC
3.3.1 NC NC NC NC
3.4.0 NC NC NC NC
3.4.1 NC NC NC NC
3.4.2 NC NC NC NC
3.4.3 NC NC NC NC
4.0.0 NC NC NC NC
4.1.0 NC NC NC NC
4.1.1 4 m 0 s 3 m 0 s NC Success
4.1.2 3 m 0 s 4 m 0 s 3 m 0 s Success
4.1.3 3 m 0 s 3 m 0 s 3 m 0 s Success
4.1.4 3 m 0 s Success
flocq-quickchick 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
formalv-check_range 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 1 m 0 s Deps NC Error
formalv-prim63_mathcomp 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 1 m 0 s Deps NC Error
formalv-time 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 5 m 0 s Deps NC Error
founify 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
fourcolor 1.2 NC NC NC NC
1.2.1 NC NC NC NC
1.2.2 NC NC NC NC
1.2.3 NC NC NC NC
1.2.4 NC NC NC NC
1.2.5 16 m 0 s Deps 20 m 0 s Error
1.3.0 23 m 0 s Deps 19 m 0 s Error
1.3.1 25 m 0 s Deps 20 m 0 s Error
fpmods 0.2.0 NC NC NC NC
free-groups 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
freesim 1.0.0 NC NC NC NC
freespec-core 0.3 NC NC NC NC
freespec-exec 0.3 NC NC NC NC
freespec-ffi 0.3 NC NC NC NC
fsets 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
fssec-model 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
function-ninjas 1.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
functional-algebra 1.0.2 NC NC NC NC
functions-in-zfc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
fundamental-arithmetics 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
gaia 1.11 NC NC NC NC
1.12 NC NC NC NC
1.13 NC NC NC NC
gaia-hydras 0.5 NC NC NC NC
0.6 NC NC NC NC
0.9 NC NC NC NC
gaia-numbers 1.14 NC NC NC NC
1.15 NC NC NC NC
1.17 Uninstall Deps Uninstall Error
2.0 Deps Deps Deps Error
gaia-ordinals 1.14 NC NC NC NC
1.15 NC NC NC NC
1.17 Uninstall Deps Uninstall Error
2.0 Deps Deps Deps Error
gaia-schutte 1.14 Deps NC NC Error
1.15 NC NC NC NC
1.17 Uninstall Deps Uninstall Error
2.0 Uninstall Deps Uninstall Error
gaia-stern 1.14 NC NC NC NC
1.15 NC NC NC NC
1.17 Uninstall Deps Uninstall Error
2.0 Uninstall Deps Uninstall Error
gaia-theory-of-sets 1.14 NC NC NC NC
1.15 NC NC NC NC
1.17 Uninstall Deps Uninstall Error
2.0 Error Deps Error Error
games 0.1.0 NC NC NC NC
gappa 1.2.1 NC NC NC NC
1.3.2 NC NC NC NC
1.3.3 NC NC NC NC
1.3.4 NC NC NC NC
1.4.0 NC NC NC NC
1.4.1 NC NC NC NC
1.4.2 NC NC NC NC
1.4.3 NC NC NC NC
1.4.4 NC NC NC NC
1.4.5 NC NC NC NC
1.4.6 NC NC NC NC
1.5.0 NC NC NC NC
1.5.1 NC NC NC NC
1.5.2 NC NC NC NC
1.5.3 1 m 0 s Deps NC Error
1.5.4 1 m 0 s Deps 1 m 0 s Error
gc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
generic-environments 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
geocoq 1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
2.2.0 NC NC NC NC
2.2.1 NC NC NC NC
2.3.0 NC NC NC NC
2.4.0 NC NC NC NC
geocoq-axioms 2.4.0 NC NC NC NC
geocoq-coinc 2.4.0 NC NC NC NC
geocoq-elements 2.4.0 NC NC NC NC
geocoq-main 2.4.0 NC NC NC NC
geocoq-pof 2.4.0 NC NC NC NC
geometric-algebra 0.8.8 NC NC NC NC
0.8.11 NC NC NC NC
0.8.12 Error Error Error Error
giskard 1.0 NC NC NC NC
1.1 1 m 0 s 1 m 0 s Error Error
goedel 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
graph-basics 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
graph-theory 0.7 NC NC NC NC
0.9 NC NC NC NC
0.9.1 NC NC NC NC
0.9.2 Uninstall Deps Uninstall Error
0.9.3 Uninstall Deps Uninstall Error
graph-theory-planar 0.9.2 Uninstall Deps Uninstall Error
0.9.3 Uninstall Deps Uninstall Error
graph2tac 1.0.anon NC NC NC
graphs 8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ground 0.01.0 Error Error Error Error
group-theory 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
groups 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
hammer 1.0.3 NC NC NC NC
1.0.8+8.7 NC NC NC NC
1.0.9+8.8.0 NC NC NC NC
1.0.9+8.8.1 NC NC NC NC
1.1+8.8 NC NC NC NC
1.1+8.9 NC NC NC NC
1.1.1+8.9 NC NC NC NC
1.1.1+8.10 NC NC NC NC
1.2+8.10 NC NC NC NC
1.2+8.11 NC NC NC NC
1.2.1+8.10 NC NC NC NC
1.2.1+8.11 NC NC NC NC
1.3+8.10 NC NC NC NC
1.3+8.11 NC NC NC NC
1.3+8.12 NC NC NC NC
1.3.1+8.10 NC NC NC NC
1.3.1+8.11 NC NC NC NC
1.3.1+8.12 NC NC NC NC
1.3.1+8.13 NC NC NC NC
1.3.2+8.10 NC NC NC NC
1.3.2+8.11 NC NC NC NC
1.3.2+8.12 NC NC NC NC
1.3.2+8.13 Deps NC NC Error
1.3.2+8.14 NC NC NC NC
1.3.2+8.15 NC NC NC NC
1.3.2+8.16 NC NC NC NC
1.3.2+8.17 1 m 0 s Deps NC Error
1.3.2+8.18 NC NC 1 m 0 s Success
hammer-tactics 1.1.1+8.9 NC NC NC NC
1.1.1+8.10 NC NC NC NC
1.2+8.10 NC NC NC NC
1.2+8.11 NC NC NC NC
1.2.1+8.10 NC NC NC NC
1.2.1+8.11 NC NC NC NC
1.3+8.10 NC NC NC NC
1.3+8.11 NC NC NC NC
1.3+8.12 NC NC NC NC
1.3.1+8.10 NC NC NC NC
1.3.1+8.11 NC NC NC NC
1.3.1+8.12 NC NC NC NC
1.3.1+8.13 NC NC NC NC
1.3.2+8.10 NC NC NC NC
1.3.2+8.11 NC NC NC NC
1.3.2+8.12 NC NC NC NC
1.3.2+8.13 NC NC NC NC
1.3.2+8.14 NC NC NC NC
1.3.2+8.15 NC NC NC NC
1.3.2+8.16 NC NC NC NC
1.3.2+8.17 1 m 0 s 1 m 0 s NC Success
1.3.2+8.18 NC NC 1 m 0 s Success
hanoi 1.0.0 NC NC NC NC
hardware 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
haskell 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
hedges 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
hierarchy-builder 0.9.0 NC NC NC NC
0.9.1 NC NC NC NC
0.10.0 NC NC NC NC
1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 1 m 0 s Deps NC Error
1.5.0 1 m 0 s Deps 1 m 0 s Error
1.6.0 1 m 0 s Deps 1 m 0 s Error
1.7.0 NC 1 m 0 s Success
hierarchy-builder-shim 1.1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.2.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.4.0 NC NC NC NC
1.6.0 NC NC NC NC
high-school-geometry 1.0.0 NC NC NC NC
8.6.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.16.0 3 m 0 s 4 m 0 s 3 m 0 s Success
higman-cf 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
higman-nw 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
higman-s 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
historical-examples 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
hoare-tut 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.11.1 NC NC NC NC
hol-light 0.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
hott 8.7 NC NC NC NC
8.8 NC NC NC NC
8.9 NC NC NC NC
8.10 NC NC NC NC
8.11 NC NC NC NC
8.12 NC NC NC NC
8.13 NC NC NC NC
8.14 NC NC NC NC
8.15 NC NC NC NC
8.16 6 m 0 s 8 m 0 s NC Success
8.17 5 m 0 s 8 m 0 s NC Success
8.18 4 m 0 s 6 m 0 s 5 m 0 s Success
htt 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 Uninstall Deps Uninstall Error
http 0.1.0 NC NC NC NC
0.1.2 NC NC NC NC
0.2.0 NC NC NC NC
0.2.1 1 m 0 s Deps 2 m 0 s Error
huffman 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 1 m 0 s 1 m 0 s 1 m 0 s Success
hydra-battles 0.4 Deps NC NC Error
0.5 NC NC NC NC
0.6 NC NC NC NC
0.9 NC NC NC NC
icharate 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
idt 1.0.1 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 1 m 0 s Deps 1 m 0 s Error
idxassoc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 Deps NC NC Error
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ieee754 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
improper-integrals 0.1.0 NC NC NC NC
inconsequential_modus_ponens 1.0.5 1 m 0 s 1 m 0 s 1 m 0 s Success
1.0.6 1 m 0 s 1 m 0 s 1 m 0 s Success
infotheo 0.0.1 NC NC NC NC
0.0.3 NC NC NC NC
0.0.4 NC NC NC NC
0.0.5 NC NC NC NC
0.0.6 NC NC NC NC
0.0.7 NC NC NC NC
0.1 NC NC NC NC
0.1.1 NC NC NC NC
0.1.2 NC NC NC NC
0.2 NC NC NC NC
0.2.1 NC NC NC NC
0.2.2 NC NC NC NC
0.3 NC NC NC NC
0.3.1 NC NC NC NC
0.3.2 NC NC NC NC
0.3.3 NC NC NC NC
0.3.4 NC NC NC NC
0.3.5 NC NC NC NC
0.3.6 NC NC NC NC
0.3.7 NC NC NC NC
0.3.8 NC NC NC NC
0.4.0 NC NC NC NC
0.5.0 NC NC NC NC
0.5.1 NC NC NC NC
0.5.2 6 m 0 s Deps 4 m 0 s Error
0.6.0 6 m 0 s Deps 6 m 0 s Error
int-map 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
interval 2.2.1 NC NC NC NC
3.1.1 NC NC NC NC
3.2.0 NC NC NC NC
3.3.0 NC NC NC NC
3.4.0 NC NC NC NC
3.4.1 NC NC NC NC
3.4.2 NC NC NC NC
4.0.0 NC NC NC NC
4.1.0 NC NC NC NC
4.1.1 NC NC NC NC
4.2.0 NC NC NC NC
4.3.0 NC NC NC NC
4.3.1 NC NC NC NC
4.4.0 NC NC NC NC
4.5.0 NC NC NC NC
4.5.1 NC NC NC NC
4.5.2 NC NC NC NC
4.6.0 NC NC NC NC
4.6.1 3 m 0 s Deps NC Error
4.7.0 3 m 0 s Deps NC Error
4.8.0 2 m 0 s Deps NC Error
4.8.1 2 m 0 s Deps 3 m 0 s Error
4.9.0 4 m 0 s Deps 3 m 0 s Error
intuitionistic-nuprl 8.6.0 NC NC NC NC
io 2.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
2.1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
3.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
3.1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
3.2.0 NC NC NC NC
3.3.0 NC NC NC NC
4.0.0 NC NC NC NC
io-evaluate 1.0.0 NC NC NC NC
io-exception 1.0.0 NC NC NC NC
1.1.0 Deps NC NC Error
io-hello-world 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
io-list 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
io-system 2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
2.2.0 NC NC NC NC
2.3.0 NC NC NC NC
2.4.0 NC NC NC NC
2.4.1 NC NC NC NC
io-system-ocaml 2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
2.2.0 NC NC NC NC
2.3.0 NC NC NC NC
2.3.1 NC NC NC NC
ipc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
iris 3.0.0 NC NC NC NC
3.1.0 NC NC NC NC
3.2.0 NC NC NC NC
3.3.0 NC NC NC NC
3.4.0 NC NC NC NC
3.5.0 NC NC NC NC
3.6.0 NC NC NC NC
4.0.0 5 m 0 s Deps NC Error
4.1.0 8 m 0 s Deps 7 m 0 s Error
iris-heap-lang 3.4.0 NC NC NC NC
3.5.0 NC NC NC NC
3.6.0 NC NC NC NC
4.0.0 3 m 0 s Deps NC Error
4.1.0 3 m 0 s Deps 3 m 0 s Error
iris-string-ident 0.1.0 NC NC NC NC
itauto 8.13 NC NC NC NC
8.13+no NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 4 m 0 s 4 m 0 s NC Success
8.18.0 NC NC 3 m 0 s Success
iterable 1.0.0 Error Deps 1 m 0 s Error
itree 1.0.0 NC NC NC NC
2.0.0 NC NC NC NC
3.0.0 NC NC NC NC
3.1.0 NC NC NC NC
3.2.0 NC NC NC NC
4.0.0 NC NC NC NC
5.0.0 NC NC NC NC
5.1.0 NC NC NC NC
5.1.1 Uninstall Deps NC Error
5.1.2 Uninstall Deps Uninstall Error
itree-extra 5.0.0 Uninstall Deps Uninstall Error
5.1.0 Uninstall Deps Uninstall Error
5.1.2 Uninstall Deps Uninstall Error
itree-io 0.1.0 NC NC NC NC
0.1.1 1 m 0 s Deps 1 m 0 s Error
izf 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
jmlcoq 8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.15.0 1 m 0 s 1 m 0 s 1 m 0 s Success
jordan-curve-theorem 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
jprover 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
jsast 1.0.7 NC NC NC NC
1.0.8 NC NC NC NC
1.0.9 NC NC NC NC
2.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
3.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
json 0.1.0 Error Deps 1 m 0 s Error
0.1.1 1 m 0 s Deps 1 m 0 s Error
0.1.2 1 m 0 s Deps 1 m 0 s Error
kami 0.0.3-rv32i 11 m 0 s Deps 8 m 0 s Error
karatsuba 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
katamaran 0.1.0 NC NC NC NC
0.2.0 NC NC NC NC
kildall 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
kruskal-finite 1.1 1 m 0 s 1 m 0 s Success
kruskal-trees 1.0 NC NC NC NC
1.1 1 m 0 s 1 m 0 s 1 m 0 s Success
label 1.0.0 NC NC NC NC
lambda 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
lambek 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
lazy-pcf 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
lc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 Deps NC NC Error
legacy-ring 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
lemma-overloading 8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 Deps NC NC Error
8.12.0 NC NC NC NC
lens 1.0.0 NC NC NC NC
1.0.1+8.11 NC NC NC NC
1.0.1+8.12 NC NC NC NC
lesniewski-mereology 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
libhyps 1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
2.0.1 NC NC NC NC
2.0.2 NC NC NC NC
2.0.3 NC NC NC NC
2.0.4 NC NC NC NC
2.0.5 NC NC NC NC
2.0.6 1 m 0 s 1 m 0 s 1 m 0 s Success
2.0.7 1 m 0 s 1 m 0 s 1 m 0 s Success
2.0.8 1 m 0 s 1 m 0 s 1 m 0 s Success
library-complexity 1.0+8.16 NC NC NC NC
library-fol 1.0+8.17 6 m 0 s NC NC Success
1.0+8.18 NC NC 6 m 0 s Success
library-undecidability 1.0.0+8.12 NC NC NC NC
1.0.1+8.16 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1+8.17 18 m 0 s NC NC Success
1.1.1+8.18 NC NC 13 m 0 s Success
libvalidsdp 0.5 NC NC NC NC
0.6.0 NC NC NC NC
0.7.0 NC NC NC NC
1.0.0 Deps NC NC Error
1.0.1 NC NC NC NC
1.0.2 2 m 0 s Deps 2 m 0 s Error
lin-alg 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
linearscan 1.1.0 NC NC NC NC
list-plus 1.0.0 1 m 0 s 1 m 0 s 1 m 0 s Success
1.1.0 1 m 0 s 1 m 0 s 1 m 0 s Success
list-string 1.0.0 NC NC NC NC
2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
2.1.1 NC NC NC NC
2.1.2 1 m 0 s Deps 1 m 0 s Error
ltac-iter 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.1.1 NC NC NC NC
1.1.2 NC NC NC NC
ltac2 0.1 NC NC NC NC
0.1-8.7 NC NC NC NC
0.2 NC NC NC NC
0.3 NC NC NC NC
ltl 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
maple-mode 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
markov 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
math-classes 1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
1.0.5 NC NC NC NC
1.0.6 NC NC NC NC
1.0.7 NC NC NC NC
8.8.1 NC NC NC NC
8.9.1 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.15.0 NC NC NC NC
8.17.0 3 m 0 s Deps NC Error
8.18.0 4 m 0 s Deps 2 m 0 s Error
mathcomp-abel 1.0.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
mathcomp-algebra 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 3 m 0 s Deps 3 m 0 s Error
1.17.0 3 m 0 s Deps 2 m 0 s Error
1.18.0 2 m 0 s Deps 2 m 0 s Error
1.19.0 3 m 0 s 2 m 0 s Success
2.0.0 11 m 0 s Deps 8 m 0 s Error
2.1.0 9 m 0 s Deps 8 m 0 s Error
2.2.0 9 m 0 s 9 m 0 s Success
mathcomp-algebra-tactics 0.1.0 NC NC NC NC
0.2.0 NC NC NC NC
0.3.0 NC NC NC NC
1.0.0 1 m 0 s Deps NC Error
1.1.0 1 m 0 s Deps NC Error
1.1.1 1 m 0 s Deps 1 m 0 s Error
1.2.0 3 m 0 s Deps 2 m 0 s Error
1.2.1 2 m 0 s Deps 2 m 0 s Error
1.2.2 2 m 0 s Deps 1 m 0 s Error
1.2.3 4 m 0 s 2 m 0 s Success
mathcomp-analysis 0.1.0 NC NC NC NC
0.2.0 NC NC NC NC
0.2.2 NC NC NC NC
0.2.3 NC NC NC NC
0.3.1 NC NC NC NC
0.3.2 NC NC NC NC
0.3.3 NC NC NC NC
0.3.4 NC NC NC NC
0.3.5 NC NC NC NC
0.3.6 NC NC NC NC
0.3.7 NC NC NC NC
0.3.8 NC NC BL BL
0.3.9 NC NC NC NC
0.3.10 NC NC NC NC
0.3.11 NC NC NC NC
0.3.12 NC NC NC NC
0.3.13 NC NC NC NC
0.4.0 NC NC NC NC
0.5.0 NC NC NC NC
0.5.1 NC NC NC NC
0.5.2 NC NC NC NC
0.5.3 NC NC NC NC
0.5.4 NC NC NC NC
0.6.0 7 m 0 s Deps NC Error
0.6.1 10 m 0 s Deps NC Error
0.6.2 9 m 0 s Deps NC Error
0.6.3 11 m 0 s Deps NC Error
0.6.4 10 m 0 s Deps 10 m 0 s Error
0.6.5 11 m 0 s Deps 10 m 0 s Error
0.6.6 14 m 0 s Deps 12 m 0 s Error
0.6.7 13 m 0 s Deps 13 m 0 s Error
0.7.0 14 m 0 s 12 m 0 s Success
mathcomp-apery 1.0.1 NC NC NC NC
1.0.2 8 m 0 s Deps 8 m 0 s Error
mathcomp-bigenough 1.0.0 NC NC NC NC
1.0.1 1 m 0 s Deps 1 m 0 s Error
mathcomp-character 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 Deps NC NC Error
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 3 m 0 s Deps 3 m 0 s Error
1.17.0 3 m 0 s Deps 3 m 0 s Error
1.18.0 3 m 0 s Deps 3 m 0 s Error
1.19.0 3 m 0 s 3 m 0 s Success
2.0.0 5 m 0 s Deps 5 m 0 s Error
2.1.0 4 m 0 s Deps 4 m 0 s Error
2.2.0 5 m 0 s 4 m 0 s Success
mathcomp-classical 0.6.0 3 m 0 s Deps NC Error
0.6.1 3 m 0 s Deps NC Error
0.6.2 3 m 0 s Deps NC Error
0.6.3 3 m 0 s Deps NC Error
0.6.4 3 m 0 s Deps 3 m 0 s Error
0.6.5 3 m 0 s Deps 3 m 0 s Error
0.6.6 3 m 0 s Deps 3 m 0 s Error
0.6.7 3 m 0 s Deps 3 m 0 s Error
0.7.0 3 m 0 s 3 m 0 s Success
mathcomp-dioid 0.1 NC NC NC NC
0.2 NC NC NC NC
mathcomp-field 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 5 m 0 s Deps 4 m 0 s Error
1.17.0 5 m 0 s Deps 4 m 0 s Error
1.18.0 5 m 0 s Deps 4 m 0 s Error
1.19.0 5 m 0 s 4 m 0 s Success
2.0.0 8 m 0 s Deps 7 m 0 s Error
2.1.0 9 m 0 s Deps 7 m 0 s Error
2.2.0 9 m 0 s 7 m 0 s Success
mathcomp-field-extra 1.6.1 NC NC NC NC
mathcomp-fingroup 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 2 m 0 s Deps 2 m 0 s Error
1.17.0 2 m 0 s Deps 2 m 0 s Error
1.18.0 2 m 0 s Deps 2 m 0 s Error
1.19.0 2 m 0 s 2 m 0 s Success
2.0.0 3 m 0 s Deps 2 m 0 s Error
2.1.0 2 m 0 s Deps 2 m 0 s Error
2.2.0 2 m 0 s 2 m 0 s Success
mathcomp-finmap 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.1 NC NC NC NC
1.3.3 NC NC NC NC
1.3.4 NC NC NC NC
1.4.0 NC NC NC NC
1.4.0+coq-8.11 NC NC NC NC
1.4.1 NC NC NC NC
1.5.0 NC NC NC NC
1.5.1 NC NC NC NC
1.5.2 1 m 0 s Deps 1 m 0 s Error
2.0.0 1 m 0 s Deps 1 m 0 s Error
2.1.0 1 m 0 s 1 m 0 s Success
mathcomp-multinomials 1.0 NC NC NC NC
1.1 NC NC NC NC
1.2 NC NC NC NC
1.3 NC NC NC NC
1.4 NC NC NC NC
1.5 NC NC NC NC
1.5.2 NC NC NC NC
1.5.3 NC NC NC NC
1.5.4 NC NC NC NC
1.5.5 NC NC NC NC
1.5.6 Uninstall Deps NC Error
1.6.0 Uninstall Deps Uninstall Error
2.0.0 Uninstall Deps Uninstall Error
2.1.0 Uninstall Deps Uninstall Error
2.2.0 Uninstall Uninstall Error
mathcomp-odd-order 1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.7.0 NC NC NC NC
1.10.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
2.0.0 Error Deps Error Error
mathcomp-real-closed 1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
1.1.1 NC NC NC NC
1.1.2 NC NC NC NC
1.1.3 NC NC NC NC
1.1.4 2 m 0 s Deps 2 m 0 s Error
2.0.0 5 m 0 s Deps 4 m 0 s Error
mathcomp-solvable 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 3 m 0 s Deps 3 m 0 s Error
1.17.0 3 m 0 s Deps 3 m 0 s Error
1.18.0 3 m 0 s Deps 3 m 0 s Error
1.19.0 3 m 0 s 3 m 0 s Success
2.0.0 5 m 0 s Deps 5 m 0 s Error
2.1.0 5 m 0 s Deps 5 m 0 s Error
2.2.0 5 m 0 s 4 m 0 s Success
mathcomp-ssreflect 1.6 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.4 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 NC NC NC NC
1.9.0 NC NC NC NC
1.10.0 NC NC NC NC
1.11.0 NC NC NC NC
1.12.0 NC NC NC NC
1.13.0 NC NC NC NC
1.14.0 NC NC NC NC
1.15.0 NC NC NC NC
1.16.0 2 m 0 s 2 m 0 s 2 m 0 s Success
1.17.0 2 m 0 s 2 m 0 s 2 m 0 s Success
1.18.0 2 m 0 s 2 m 0 s 2 m 0 s Success
1.19.0 2 m 0 s 2 m 0 s Success
2.0.0 6 m 0 s Deps 6 m 0 s Error
2.1.0 6 m 0 s Deps 6 m 0 s Error
2.2.0 6 m 0 s 6 m 0 s Success
mathcomp-sum-of-two-square 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
mathcomp-tarjan 1.0.0 NC NC NC NC
1.0.1 1 m 0 s Deps 1 m 0 s Error
1.0.2 1 m 0 s Deps 1 m 0 s Error
mathcomp-word 1.1 NC NC NC NC
2.0 NC NC NC NC
2.1 Uninstall Deps Uninstall Error
2.2 Uninstall Deps Uninstall Error
3.0 Uninstall Deps Uninstall Error
mathcomp-zify 1.0.0+1.12+8.13 Deps NC NC Error
1.1.0+1.12+8.13 NC NC NC NC
1.2.0+1.12+8.13 NC NC NC NC
1.3.0+1.12+8.13 1 m 0 s Deps 1 m 0 s Error
1.4.0+2.0+8.16 2 m 0 s Deps NC Error
1.5.0+2.0+8.16 1 m 0 s Deps 2 m 0 s Error
maths 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
matrices 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
matrix 1.0.2 Error Deps Error Error
1.0.3 Error Deps Error Error
1.0.4 NC NC NC NC
1.0.5 3 m 0 s 3 m 0 s Error Error
1.0.6 NC 2 m 0 s Success
menhirlib 20190613 NC NC NC NC
20190620 NC NC NC NC
20190626 NC NC NC NC
20190924 NC NC NC NC
20200123 NC NC NC NC
20200211 NC NC NC NC
20200525 NC NC NC NC
20200612 NC NC NC NC
20200619 NC NC NC NC
20200624 NC NC NC NC
20201122 NC NC NC NC
20201201 NC NC NC NC
20201214 NC NC NC NC
20201216 NC NC NC NC
20210310 Error Error Error Error
20210419 Error Error Error Error
20210928 1 m 0 s 1 m 0 s 1 m 0 s Success
20210929 1 m 0 s 1 m 0 s 1 m 0 s Success
20211012 1 m 0 s 1 m 0 s 1 m 0 s Success
20211125 1 m 0 s 1 m 0 s 1 m 0 s Success
20211128 1 m 0 s 1 m 0 s 1 m 0 s Success
20211230 1 m 0 s 1 m 0 s 1 m 0 s Success
20220210 1 m 0 s 1 m 0 s 1 m 0 s Success
20230415 1 m 0 s 1 m 0 s 1 m 0 s Success
20230608 1 m 0 s 1 m 0 s 1 m 0 s Success
20231231 1 m 0 s 1 m 0 s 1 m 0 s Success
metacoq 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 1 m 0 s Deps NC Error
1.2.1+8.17 1 m 0 s Deps NC Error
1.2.1+8.18 NC NC 1 m 0 s Success
metacoq-checker 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
metacoq-common 1.2+8.16 NC NC NC NC
1.2+8.17 4 m 0 s Deps NC Error
1.2.1+8.17 2 m 0 s Deps NC Error
1.2.1+8.18 NC NC 2 m 0 s Success
metacoq-erasure 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 Deps Deps NC Error
1.2.1+8.17 12 m 0 s Deps NC Error
1.2.1+8.18 NC NC 9 m 0 s Success
metacoq-erasure-plugin 1.2+8.16 NC NC NC NC
1.2+8.17 2 m 0 s Deps NC Error
1.2.1+8.17 3 m 0 s Deps NC Error
1.2.1+8.18 NC NC 2 m 0 s Success
metacoq-pcuic 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 Deps NC NC Error
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 21 m 0 s Deps NC Error
1.2.1+8.17 22 m 0 s Deps NC Error
1.2.1+8.18 NC NC 23 m 0 s Success
metacoq-quotation 1.2+8.16 NC NC NC NC
1.2+8.17 19 m 0 s Deps NC Error
1.2.1+8.17 15 m 0 s Deps NC Error
1.2.1+8.18 NC NC 12 m 0 s Success
metacoq-safechecker 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 16 m 0 s Deps NC Error
1.2.1+8.17 16 m 0 s Deps NC Error
1.2.1+8.18 NC NC 14 m 0 s Success
metacoq-safechecker-plugin 1.2+8.16 NC NC NC NC
1.2+8.17 1 m 0 s Deps NC Error
1.2.1+8.17 2 m 0 s Deps NC Error
1.2.1+8.18 NC NC 1 m 0 s Success
metacoq-template 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 6 m 0 s Deps NC Error
1.2.1+8.17 4 m 0 s Deps NC Error
1.2.1+8.18 NC NC 3 m 0 s Success
metacoq-template-pcuic 1.2+8.16 NC NC NC NC
1.2+8.17 2 m 0 s Deps NC Error
1.2.1+8.17 2 m 0 s Deps NC Error
1.2.1+8.18 NC NC 2 m 0 s Success
metacoq-translations 1.0~alpha1+8.8 NC NC NC NC
1.0~alpha1+8.9 NC NC NC NC
1.0~alpha2+8.10 NC NC NC NC
1.0~alpha2+8.11 NC NC NC NC
1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0+8.14 NC NC NC NC
1.0+8.15 NC NC NC NC
1.0+8.16 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
1.1.1+8.14 NC NC NC NC
1.1.1+8.15 NC NC NC NC
1.1.1+8.16 NC NC NC NC
1.2+8.16 NC NC NC NC
1.2+8.17 1 m 0 s Deps NC Error
1.2.1+8.17 1 m 0 s Deps NC Error
1.2.1+8.18 NC NC 1 m 0 s Success
metacoq-utils 1.2+8.16 NC NC NC NC
1.2+8.17 3 m 0 s Deps NC Error
1.2.1+8.17 2 m 0 s Deps NC Error
1.2.1+8.18 NC NC 2 m 0 s Success
mi-cho-coq 0.1 NC NC NC NC
1.0.0 NC NC NC NC
min-imports 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
mini-compiler 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
minic 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
miniml 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
mirror-core 1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
mmaps 1.0 1 m 0 s 2 m 0 s NC Success
1.1 1 m 0 s 2 m 0 s 1 m 0 s Success
mod-red 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
moment 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 1 m 0 s Deps 1 m 0 s Error
monae 0.0.1 NC NC NC NC
0.0.2 NC NC NC NC
0.0.3 NC NC NC NC
0.0.4 NC NC NC NC
0.0.6 NC NC NC NC
0.1 NC NC NC NC
0.1.1 Deps NC NC Error
0.1.2 NC NC NC NC
0.2 NC NC NC NC
0.2.1 NC NC NC NC
0.2.2 NC NC NC NC
0.3 NC NC NC NC
0.3.1 NC NC NC NC
0.3.2 NC NC NC NC
0.3.3 NC NC NC NC
0.3.4 NC NC NC NC
0.4 NC NC NC NC
0.4.1 NC NC NC NC
0.4.2 NC NC NC NC
0.4.3 NC NC NC NC
0.4.4 NC NC NC NC
0.4.5 Error Deps NC Error
0.5 14 m 0 s Deps 14 m 0 s Error
0.6.0 13 m 0 s Deps 13 m 0 s Error
msets-extra 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
mtac 1.3.0 NC NC NC NC
mtac2 1.0.0+8.7 NC NC NC NC
1.0.1+8.8 NC NC NC NC
1.1+8.8 NC NC NC NC
1.1+8.9 NC NC NC NC
1.1+8.10 NC NC NC NC
1.3+8.12 NC NC NC NC
1.4+8.13 NC NC NC NC
1.4+8.14 NC NC NC NC
1.4+8.15 NC NC NC NC
1.4+8.16 NC NC NC NC
1.4+8.17 Deps Deps NC Error
1.4+8.18 NC NC 2 m 0 s Success
multiplier 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 Deps NC NC Error
8.10.0 NC NC NC NC
mutual-exclusion 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
nfix 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
num-analysis 1.0.0 NC NC NC NC
of-ocaml 1.1.1 NC NC NC NC
1.2.1 NC NC NC NC
2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
ollibs 2.0.0 NC NC NC NC
2.0.1 NC NC NC NC
2.0.2 NC NC NC NC
2.0.3 NC NC NC NC
2.0.4 1 m 0 s 1 m 0 s NC Success
2.0.5 NC NC 1 m 0 s Success
opam-website 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.3.1 NC NC NC NC
1.3.2 NC NC NC NC
1.4.0 NC NC NC NC
operads 1.0.0 1 m 0 s Deps 1 m 0 s Error
1.1.0 1 m 0 s Deps 1 m 0 s Error
orb-stab 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
ordinal 0.5.0 NC NC NC NC
0.5.1 NC NC NC NC
0.5.2 NC NC NC NC
0.5.3 1 m 0 s 1 m 0 s 1 m 0 s Success
ott 0.26 NC NC NC NC
0.27 NC NC NC NC
0.28 NC NC NC NC
0.29 NC NC NC NC
0.30 NC NC NC NC
0.31 NC NC NC NC
0.32 Deps 1 m 0 s 1 m 0 s Error
0.33 1 m 0 s 1 m 0 s 1 m 0 s Success
otway-rees 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
paco 1.2.8 NC NC NC NC
1.2.9 NC NC NC NC
2.0.0 NC NC NC NC
2.0.1 NC NC NC NC
2.0.2 NC NC NC NC
2.0.3 NC NC NC NC
2.1.0 NC NC NC NC
3.0.0 NC NC NC NC
4.0.0 NC NC NC NC
4.0.1 NC NC NC NC
4.0.2 NC NC NC NC
4.0.3 NC NC NC NC
4.0.4 NC NC NC NC
4.1.0 NC NC NC NC
4.1.1 NC NC NC NC
4.1.2 NC NC NC NC
4.2.0 2 m 0 s 2 m 0 s 1 m 0 s Success
paradoxes 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
param-pi 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
paramcoq 1.0.5 NC NC NC NC
1.0.6 NC NC NC NC
1.0.9 NC NC NC NC
1.1.0 NC NC NC NC
1.1.1+coq8.7 NC NC NC NC
1.1.1+coq8.8 NC NC NC NC
1.1.1+coq8.9 NC NC NC NC
1.1.2+coq8.7 NC NC NC NC
1.1.2+coq8.8 NC NC NC NC
1.1.2+coq8.9 NC NC NC NC
1.1.2+coq8.10 NC NC NC NC
1.1.2+coq8.11 NC NC NC NC
1.1.2+coq8.12 NC NC NC NC
1.1.2+coq8.13 NC NC NC NC
1.1.3+coq8.10 NC NC NC NC
1.1.3+coq8.11 NC NC NC NC
1.1.3+coq8.12 Deps NC NC Error
1.1.3+coq8.13 NC NC NC NC
1.1.3+coq8.14 NC NC NC NC
1.1.3+coq8.15 NC NC NC NC
1.1.3+coq8.16 NC NC NC NC
1.1.3+coq8.17 1 m 0 s 1 m 0 s NC Success
1.1.3+coq8.18 NC NC 1 m 0 s Success
parsec 0.1.0 Error Deps 1 m 0 s Error
0.1.1 Error Deps 1 m 0 s Error
0.1.2 1 m 0 s Deps 1 m 0 s Error
parseque 0.1.0 NC NC NC NC
0.1.1 1 m 0 s 1 m 0 s NC Success
0.1.2 1 m 0 s 1 m 0 s 1 m 0 s Success
0.2.0 1 m 0 s 1 m 0 s 1 m 0 s Success
0.2.1 1 m 0 s 1 m 0 s 1 m 0 s Success
pautomata 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
persistent-union-find 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
pi-agm 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.2.2 NC NC NC NC
1.2.3 NC NC NC NC
1.2.4 NC NC NC NC
1.2.5 NC NC NC NC
1.2.6 Error Deps Error Error
pi-calc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
plouffe 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
plugin-utils 1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 NC NC NC NC
pocklington 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.12.0 1 m 0 s 1 m 0 s 1 m 0 s Success
poltac 0.8.8 NC NC NC NC
0.8.11 NC NC NC NC
0.8.12 Error Error Error Error
ppsimpl 1.0.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
presburger 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
prfx 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
printf 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
2.0.0 NC NC NC NC
procrastination 1.0 NC NC NC NC
1.1 NC NC NC NC
1.2 NC NC NC NC
projective-geometry 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
propcalc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
prosa 0.4 NC NC NC NC
0.5 NC NC NC NC
pts 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 Deps NC NC Error
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ptsatr 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ptsf 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
qarith 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
qarith-stern-brocot 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 2 m 0 s 2 m 0 s NC Success
8.18.0 NC NC 2 m 0 s Success
qcert 1.0.4 NC NC NC NC
1.0.5 NC NC NC NC
1.0.6 NC NC NC NC
1.0.7 NC NC NC NC
1.0.9 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
1.4.1 NC NC NC NC
2.0.0 NC NC NC NC
2.1.0 NC NC NC NC
2.1.1 NC NC NC NC
2.2.0 NC NC NC NC
quantumlib 1.1.0 Error Error Error Error
quickchick 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.3.1 NC NC NC NC
1.3.2 NC NC NC NC
1.4.0 NC NC NC NC
1.5.0 NC NC NC NC
1.5.1 NC NC NC NC
1.6.0 NC NC NC NC
1.6.1 NC NC NC NC
1.6.2 NC NC NC NC
1.6.3 NC NC NC NC
1.6.4 NC NC NC NC
1.6.5 Uninstall Deps Error Error
2.0.0 Uninstall Deps NC Error
2.0.1 Uninstall Deps Uninstall Error
2.0.2 Uninstall Deps Uninstall Error
quicksort-complexity 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
railroad-crossing 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ramsey 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
random 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 Deps NC NC Error
rational 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
record-update 0.2.0 Deps NC NC Error
0.3.0 1 m 0 s 1 m 0 s NC Success
0.3.1 1 m 0 s 1 m 0 s 1 m 0 s Success
0.3.2 1 m 0 s 1 m 0 s 1 m 0 s Success
0.3.3 1 m 0 s 1 m 0 s 1 m 0 s Success
recursive-definition 8.5.0 NC NC NC NC
8.6.0 Deps NC NC Error
reduction-effects 0.1.0 NC NC NC NC
0.1.1 NC NC NC NC
0.1.2 Error Error Error Error
0.1.3 Error Error Error Error
0.1.4 1 m 0 s 1 m 0 s Error Error
0.1.5 1 m 0 s 1 m 0 s 1 m 0 s Success
reflexive-first-order 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
regexp 8.5.0 Deps NC NC Error
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
regexp-brzozowski 1.0 NC NC NC NC
1.1 1 m 0 s Deps 1 m 0 s Error
1.2 1 m 0 s Deps 1 m 0 s Error
reglang 1.0 NC NC NC NC
1.1 NC NC NC NC
1.1.1 NC NC NC NC
1.1.2 NC NC NC NC
1.1.3 1 m 0 s Deps 1 m 0 s Error
1.2.0 2 m 0 s Deps 2 m 0 s Error
1.2.1 2 m 0 s 1 m 0 s Success
relation-algebra 1.3 NC NC NC NC
1.4 NC NC NC NC
1.5 NC NC NC NC
1.6 NC NC NC NC
1.7 NC NC NC NC
1.7.1 NC NC NC NC
1.7.2 NC NC NC NC
1.7.3 NC NC NC NC
1.7.4 NC NC NC NC
1.7.5 NC NC NC NC
1.7.6 NC NC NC NC
1.7.7 NC NC NC NC
1.7.8 NC NC NC NC
1.7.9 3 m 0 s 4 m 0 s NC Success
1.7.10 NC NC 3 m 0 s Success
relation-extraction 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
rem 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
rewriter 0.0.2 NC NC NC NC
0.0.6 13 m 0 s 14 m 0 s NC Success
0.0.7 11 m 0 s 12 m 0 s NC Success
0.0.8 10 m 0 s 12 m 0 s NC Success
0.0.9 11 m 0 s 12 m 0 s 11 m 0 s Success
0.0.10 12 m 0 s 16 m 0 s 12 m 0 s Success
riscv 0.0.2 16 m 0 s Deps Deps Error
0.0.3 13 m 0 s Deps Deps Error
0.0.4 13 m 0 s Deps 12 m 0 s Error
robot 0.1 NC NC NC NC
rsa 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 Error Error Error Error
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
ruler-compass-geometry 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
rupicola 0.0.4 Deps Deps Deps Error
0.0.5 4 m 0 s Deps Deps Error
0.0.6 4 m 0 s Deps Deps Error
0.0.7 2 m 0 s Deps 3 m 0 s Error
0.0.8 3 m 0 s Deps 2 m 0 s Error
sail 0.16 NC NC NC NC
0.17.1 2 m 0 s Deps 2 m 0 s Error
scev 1.0.1 NC NC NC NC
schroeder 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
search-trees 8.5.0 NC NC NC NC
8.6.0 Deps NC NC Error
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
semantics 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.11.1 NC NC NC NC
8.14.0 Error Error Error Error
shuffle 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
simple-io 0.1 1 m 0 s 1 m 0 s 1 m 0 s Success
0.2 1 m 0 s 1 m 0 s 1 m 0 s Success
1.0.0 Error Deps 1 m 0 s Error
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
1.5.0 NC NC NC NC
1.6.0 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 Uninstall Deps Uninstall Error
smc 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
smlms 1.0.0 5 m 0 s 5 m 0 s 4 m 0 s Success
smpl 8.10.2 NC NC NC NC
8.11 NC NC NC NC
8.12 NC NC NC NC
8.12.0.1 NC NC NC NC
8.13 NC NC NC NC
8.14 NC NC NC NC
8.15 NC NC NC NC
8.16 NC NC NC NC
8.17 Deps Error
8.18 NC NC
smt-check 1.0.0 NC NC NC NC
2.0.0 NC NC NC NC
smtcoq 2.0+8.11 NC NC NC NC
2.0+8.12 NC NC NC NC
2.0+8.13 NC NC NC NC
2.1+8.13 NC NC NC NC
2.1+8.14 NC NC NC NC
2.1+8.15 NC NC NC NC
2.1+8.16 NC NC NC NC
sniper 1.0+8.13 NC NC NC NC
1.1+8.13 NC NC NC NC
1.1+8.14 NC NC NC NC
1.1+8.15 NC NC NC NC
1.1+8.16 NC NC NC NC
square-matrices 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
squiggle-eq 1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
ssreflect 1.5.0 NC NC NC NC
stalmarck 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.11.0 NC NC NC NC
8.12.0 NC NC NC NC
8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 1 m 0 s 1 m 0 s NC Success
8.18.0 NC NC 1 m 0 s Success
stalmarck-tactic 8.13.0 NC NC NC NC
8.14.0 NC NC NC NC
8.15.0 NC NC NC NC
8.16.0 NC NC NC NC
8.17.0 Uninstall Deps NC Error
8.18.0 NC NC Uninstall Error
stdpp 1.0.0 NC NC NC NC
1.1.0 NC NC NC NC
1.2.0 NC NC NC NC
1.2.1 NC NC NC NC
1.3.0 NC NC NC NC
1.4.0 NC NC NC NC
1.5.0 NC NC NC NC
1.6.0 NC NC NC NC
1.7.0 NC NC NC NC
1.8.0 3 m 0 s 3 m 0 s 3 m 0 s Success
1.9.0 3 m 0 s 3 m 0 s 3 m 0 s Success
streams 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
string 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
subst 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
sudoku 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
8.16.0 1 m 0 s 1 m 0 s 1 m 0 s Success
sum-of-two-square 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
switch 1.0.0 NC NC NC NC
1.0.1 NC NC NC NC
1.0.2 NC NC NC NC
1.0.3 NC NC NC NC
1.0.4 NC NC NC NC
1.0.5 NC NC NC NC
1.0.6 NC NC 1 m 0 s Success
tactician 1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 Deps NC NC Error
1.0~beta1+8.13 NC NC NC NC
1.0~beta2~neural+8.11 NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2.1+8.12 NC NC NC NC
1.0~beta2.1+8.13 NC NC NC NC
1.0~beta2.1+8.14 NC NC NC NC
1.0~beta2.1+8.15 NC NC NC NC
1.0~beta2.1+8.16 NC NC NC NC
1.0~beta2.1+8.17 Uninstall Deps NC Error
1.0~beta2.1+8.18 NC NC Uninstall Error
tactician-api 15.0+8.11 NC NC NC
tactician-dummy 1.0~beta1 Uninstall Uninstall Uninstall Error
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.17 Uninstall Deps Uninstall Error
tactician-stdlib 1.0~beta1+8.11 NC NC NC NC
1.0~beta1+8.12 NC NC NC NC
1.0~beta1+8.13 NC NC NC NC
1.0~beta2+8.11 NC NC NC NC
1.0~beta2+8.12 NC NC NC NC
1.0~beta2+8.13 NC NC NC NC
1.0~beta2+8.14 NC NC NC NC
1.0~beta2+8.15 NC NC NC NC
1.0~beta2+8.16 NC NC NC NC
tait 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
tarski-geometry 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
8.7.0 NC NC NC NC
8.8.0 NC NC NC NC
8.9.0 NC NC NC NC
8.10.0 NC NC NC NC
template-coq 1.1.0~beta3 NC NC NC NC
2.1~beta3 NC NC NC NC
text2tac 1.0 NC NC NC
three-gap 8.5.0 NC NC NC NC
8.6.0 NC NC