« Up

Extra-dev 1753 packages

Linux, x86_64, OCaml 4.07.1, Opam 2.0.6

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

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

Sources are on GitHub © Guillaume Claret 🐣