« Up

Released 2642 packages

Linux, x86_64, OCaml 5.1.1, 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 2261 297 12 84 2258 6 239 138 2316 263 21 74 2220 70 179 204
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 Error NC Error
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 NC NC NC NC
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 NC 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 NC NC NC NC
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 NC NC NC NC
1.4 1 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 Error 1 m 0 s Error
8.18.0 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 2 m 0 s Error NC Error
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 NC NC NC NC
autosubst 1.7 NC NC NC NC
1.8 1 m 0 s Error 1 m 0 s Error
autosubst-ocaml 1.0.0 NC NC NC NC
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 Error 1 m 0 s Error
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 7 m 0 s Deps Deps Error
0.0.3 7 m 0 s Deps Deps Error
0.0.4 11 m 0 s Deps Deps Error
0.0.5 9 m 0 s Deps 11 m 0 s Error
0.0.6 7 m 0 s Deps 11 m 0 s Error
bedrock2-compiler 0.0.2 7 m 0 s Deps Deps Error
0.0.3 10 m 0 s Deps Deps Error
0.0.4 7 m 0 s Deps Deps Error
0.0.5 7 m 0 s Deps 12 m 0 s Error
0.0.6 8 m 0 s Deps 12 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 2 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 1 m 0 s Error NC Error
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 2 m 0 s Error NC Error
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 Error 1 m 0 s Error
8.18.0 1 m 0 s Error 1 m 0 s Error
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 Error 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 4 m 0 s Error NC Error
8.16.0 5 m 0 s Error 11 m 0 s Error
8.17.0 4 m 0 s Error 9 m 0 s Error
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 NC NC NC
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 1 m 0 s Error 2 m 0 s Error
1.7 1 m 0 s Error 1 m 0 s Error
1.8 1 m 0 s Error 1 m 0 s Error
coinduction-examples 1.5 1 m 0 s Deps 2 m 0 s Error
1.6 1 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 5 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 NC NC NC NC
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 NC NC NC NC
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 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
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 1 m 0 s Deps NC Error
1.1.2 2 m 0 s Deps NC Error
1.1.3 2 m 0 s Deps 2 m 0 s Error
2.0.0 3 m 0 s Deps Error Error
2.0.1 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 Error 1 m 0 s Error
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 1 m 0 s Deps 2 m 0 s Error
1.4.0 1 m 0 s NC 2 m 0 s Success
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 2 m 0 s Error 3 m 0 s Error
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 1 m 0 s Deps Error Error
3.3.1 1 m 0 s Deps 2 m 0 s Error
3.4.0 1 m 0 s Deps 2 m 0 s Error
3.4.1 2 m 0 s Success
coqutil 0.0.1 Error Error Error Error
0.0.2 2 m 0 s Error Error Error
0.0.3 1 m 0 s Error 2 m 0 s Error
0.0.4 1 m 0 s Error 2 m 0 s Error
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 7 m 0 s Deps NC Error
8.18.0 10 m 0 s Deps 11 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 NC NC NC NC
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 Error 1 m 0 s Error
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 NC NC NC NC
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 1 m 0 s Deps 1 m 0 s Error
0.2.0 1 m 0 s Deps 1 m 0 s Error
descente-infinie 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
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 Error 1 m 0 s Error
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 Error NC Error
1.0+8.17 1 m 0 s Error NC Error
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 1 m 0 s Error NC Error
1.17.1 1 m 0 s Error NC Error
1.18.0 1 m 0 s Error NC Error
1.19.0 NC NC 2 m 0 s Success
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 Error NC Error
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 Error 1 m 0 s Error
1.1.0 1 m 0 s Error 1 m 0 s Error
1.1.1 1 m 0 s Error 1 m 0 s Error
1.2.0 1 m 0 s Error 1 m 0 s Error
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 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
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 NC NC NC NC
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 1 m 0 s Error Error Error
0.11.8 1 m 0 s Error 1 m 0 s Error
0.12.0 1 m 0 s Error 1 m 0 s Error
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 1 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 1 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 Error Deps 1 h 29 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 NC NC NC NC
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 2 m 0 s Error NC Error
4.1.2 2 m 0 s Error 3 m 0 s Error
4.1.3 2 m 0 s Error 3 m 0 s Error
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 3 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 12 m 0 s Deps 21 m 0 s Error
1.3.0 12 m 0 s Deps 16 m 0 s Error
1.3.1 13 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 Error 1 m 0 s Error
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 Uninstall 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 Uninstall Deps Deps Error
gaia-schutte 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-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 Uninstall 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 Error 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 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 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 Error NC Error
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 2 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 Error 1 m 0 s Error
1.2.0 1 m 0 s Error 1 m 0 s Error
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 2 m 0 s Error 3 m 0 s Error
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 Error 1 m 0 s Error
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 3 m 0 s Error NC Error
8.17 3 m 0 s Error NC Error
8.18 3 m 0 s Error 3 m 0 s Error
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 Deps 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 Error 1 m 0 s Error
hydra-battles 0.4 NC NC NC NC
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 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
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 Error 1 m 0 s Error
1.0.6 1 m 0 s Error 1 m 0 s Error
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 3 m 0 s Deps 5 m 0 s Error
0.6.0 3 m 0 s Deps 5 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 2 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 2 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 Error 1 m 0 s Error
2.1.0 1 m 0 s Error 1 m 0 s Error
3.0.0 1 m 0 s Error 1 m 0 s Error
3.1.0 1 m 0 s Error 1 m 0 s Error
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 NC NC NC NC
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 4 m 0 s Deps NC Error
4.1.0 4 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 2 m 0 s Deps NC Error
4.1.0 2 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 2 m 0 s Error NC Error
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 Error 1 m 0 s Error
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 Error 1 m 0 s Error
3.0.0 1 m 0 s Error 1 m 0 s Error
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 5 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 Success
kruskal-trees 1.0 NC NC NC NC
1.1 1 m 0 s Error 1 m 0 s Error
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 NC NC NC NC
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 NC NC NC NC
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 Error 1 m 0 s Error
2.0.7 1 m 0 s Error 1 m 0 s Error
2.0.8 1 m 0 s Error 1 m 0 s Error
library-complexity 1.0+8.16 NC NC NC NC
library-fol 1.0+8.17 5 m 0 s NC NC Success
1.0+8.18 NC NC 5 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 7 m 0 s NC NC Success
1.1.1+8.18 NC NC 8 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 NC NC BL BL
1.0.1 NC NC NC NC
1.0.2 Deps 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 Error 1 m 0 s Error
1.1.0 1 m 0 s Error 1 m 0 s Error
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 2 m 0 s Deps NC Error
8.18.0 2 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 1 m 0 s Deps 2 m 0 s Error
1.17.0 1 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 Success
2.0.0 6 m 0 s Deps 9 m 0 s Error
2.1.0 5 m 0 s Deps 9 m 0 s Error
2.2.0 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 2 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 2 m 0 s Error
1.2.3 1 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 BL NC BL
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 5 m 0 s Deps NC Error
0.6.1 5 m 0 s Deps NC Error
0.6.2 5 m 0 s Deps NC Error
0.6.3 6 m 0 s Deps NC Error
0.6.4 6 m 0 s Deps 10 m 0 s Error
0.6.5 7 m 0 s Deps 11 m 0 s Error
0.6.6 11 m 0 s Deps 11 m 0 s Error
0.6.7 7 m 0 s 12 m 0 s Success
0.7.0 13 m 0 s Success
mathcomp-apery 1.0.1 NC NC NC NC
1.0.2 4 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 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 3 m 0 s Error
1.17.0 2 m 0 s Deps 3 m 0 s Error
1.18.0 2 m 0 s Deps 3 m 0 s Error
1.19.0 3 m 0 s Success
2.0.0 3 m 0 s Deps 4 m 0 s Error
2.1.0 3 m 0 s Deps 4 m 0 s Error
2.2.0 4 m 0 s Success
mathcomp-classical 0.6.0 2 m 0 s Deps NC Error
0.6.1 2 m 0 s Deps NC Error
0.6.2 2 m 0 s Deps NC Error
0.6.3 2 m 0 s Deps NC Error
0.6.4 2 m 0 s Deps 3 m 0 s Error
0.6.5 2 m 0 s Deps 3 m 0 s Error
0.6.6 2 m 0 s Deps 3 m 0 s Error
0.6.7 2 m 0 s 3 m 0 s Success
0.7.0 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 3 m 0 s Deps 4 m 0 s Error
1.17.0 3 m 0 s Deps 4 m 0 s Error
1.18.0 3 m 0 s Deps 4 m 0 s Error
1.19.0 4 m 0 s Success
2.0.0 5 m 0 s Deps 7 m 0 s Error
2.1.0 5 m 0 s Deps 6 m 0 s Error
2.2.0 6 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 1 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 1 m 0 s Deps 2 m 0 s Error
1.19.0 2 m 0 s Success
2.0.0 2 m 0 s Deps 3 m 0 s Error
2.1.0 2 m 0 s Deps 2 m 0 s Error
2.2.0 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 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 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 16 m 0 s 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 1 m 0 s Deps 2 m 0 s Error
2.0.0 3 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 2 m 0 s Deps 3 m 0 s Error
1.17.0 2 m 0 s Deps 3 m 0 s Error
1.18.0 2 m 0 s Deps 3 m 0 s Error
1.19.0 3 m 0 s Success
2.0.0 3 m 0 s Deps 5 m 0 s Error
2.1.0 3 m 0 s Deps 4 m 0 s Error
2.2.0 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 1 m 0 s Error 2 m 0 s Error
1.17.0 1 m 0 s Error 2 m 0 s Error
1.18.0 1 m 0 s Error 2 m 0 s Error
1.19.0 2 m 0 s Success
2.0.0 4 m 0 s Deps 6 m 0 s Error
2.1.0 3 m 0 s Deps 6 m 0 s Error
2.2.0 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 NC NC NC NC
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 1 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 1 m 0 s Error Error Error
1.0.6 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 Error 1 m 0 s Error
20210929 1 m 0 s Error 1 m 0 s Error
20211012 1 m 0 s Error 1 m 0 s Error
20211125 1 m 0 s Error 1 m 0 s Error
20211128 1 m 0 s Error 1 m 0 s Error
20211230 3 m 0 s Error 1 m 0 s Error
20220210 1 m 0 s Error 1 m 0 s Error
20230415 1 m 0 s Error 1 m 0 s Error
20230608 1 m 0 s Error 1 m 0 s Error
20231231 Error 1 m 0 s Error
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 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-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 6 m 0 s Deps NC Error
1.2.1+8.17 10 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 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 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 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 13 m 0 s Deps NC Error
1.2.1+8.17 12 m 0 s Deps NC Error
1.2.1+8.18 NC NC 21 m 0 s Success
metacoq-quotation 1.2+8.16 NC NC NC NC
1.2+8.17 7 m 0 s Deps NC Error
1.2.1+8.17 7 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 Deps NC Error
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 9 m 0 s Deps NC Error
1.2.1+8.17 10 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 1 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 4 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 4 m 0 s Success
metacoq-template-pcuic 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 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 2 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
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 Error NC Error
1.1 1 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 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.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 8 m 0 s Deps 13 m 0 s Error
0.6.0 8 m 0 s Deps 12 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 1 m 0 s 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 NC NC NC NC
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 Error NC Error
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 Error 1 m 0 s Error
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 1 m 0 s Error 1 m 0 s Error
0.33 1 m 0 s Error 1 m 0 s Error
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 1 m 0 s Error 1 m 0 s Error
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 NC NC NC NC
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 Error NC Error
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 Error NC Error
0.1.2 1 m 0 s Error 1 m 0 s Error
0.2.0 1 m 0 s Error 1 m 0 s Error
0.2.1 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 Error 1 m 0 s Error
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 NC NC NC NC
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 4 m 0 s Error NC Error
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 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 NC NC NC NC
rational 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
record-update 0.2.0 NC NC NC NC
0.3.0 1 m 0 s Error NC Error
0.3.1 1 m 0 s Error 1 m 0 s Error
0.3.2 1 m 0 s Error 1 m 0 s Error
0.3.3 1 m 0 s Error 1 m 0 s Error
recursive-definition 8.5.0 NC NC NC NC
8.6.0 NC NC NC NC
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 Error Error Error
0.1.5 1 m 0 s Error 1 m 0 s Error
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 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-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 1 m 0 s Deps 1 m 0 s Error
1.2.1 2 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 2 m 0 s Error NC Error
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 6 m 0 s Error NC Error
0.0.7 7 m 0 s Error NC Error
0.0.8 5 m 0 s Error NC Error
0.0.9 6 m 0 s Error 10 m 0 s Error
0.0.10 7 m 0 s Error 11 m 0 s Error
riscv 0.0.2 7 m 0 s Deps Deps Error
0.0.3 7 m 0 s Deps Deps Error
0.0.4 7 m 0 s Deps 11 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 2 m 0 s Deps Deps Error
0.0.6 2 m 0 s Deps Deps Error
0.0.7 2 m 0 s Deps 2 m 0 s Error
0.0.8 2 m 0 s Deps 3 m 0 s Error
sail 0.16 NC NC NC NC
0.17.1 1 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 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
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 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
simple-io 0.1 1 m 0 s Error 1 m 0 s Error
0.2 1 m 0 s Error 1 m 0 s Error
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 3 m 0 s Error 4 m 0 s Error
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
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 Error NC Error
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 2 m 0 s Error 2 m 0 s Error
1.9.0 2 m 0 s Error 3 m 0 s Error
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 NC 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 NC NC NC NC
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 Error 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 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
tlc 20161010 NC NC NC NC
20171128 NC NC NC NC
20171206 NC NC NC NC
20180316 NC NC NC NC
20181116 NC NC NC NC
20200328 NC