« Up

Extra-dev 1687 packages

Linux, x86_64, OCaml 4.10.0, Opam 2.0.6

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
8.11.dev dev summary
Name Version 1538 243 9 10 1467 147 18 55 1423 301 19 62
aac-tactics 8.5.0 NC NC NC
8.5.1 NC NC NC
8.6.1 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 23 s NC Success
8.12.0 NC NC
dev NC 1 m 8 s Success
abp 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
additions 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
ails 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
albert dev Error Error
alea 8.11.0 8 m 33 s 9 m 9 s Success
algebra 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
algorand 1.2 1 m 40 s Success
almost-full 8.12.0 30 s Success
amm11262 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 44 s Success
angles 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 28 s Success
antivalence 1.0.0 11 s Success
area-method 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
atbr 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 5 m 48 s NC Success
automata 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 33 s Success
axiomatic-abp 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 30 s Success
bbv 1.0 NC NC NC
1.1 NC NC NC
dev 1 m 17 s NC Success
bdds 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Deps Error
bedrock2 dev 7 m 15 s 6 m 31 s Success
bellantonicook 1.0.0 NC NC NC
bertrand 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
bignums 8.6.0 NC NC NC
8.7.0 NC NC NC
8.7.dev NC NC NC
8.8.0 NC NC NC
8.8.dev NC NC NC
8.9.0 NC NC NC
8.10+beta1 NC NC NC
8.10.0 NC NC NC
8.11.0 1 m 49 s NC Success
8.11.dev 2 m 29 s NC Success
8.12.0 NC NC
8.12.dev NC NC
dev NC 1 m 53 s Success
bits 1.0.0 NC NC NC
buchberger 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 1 m 0 s Success
dev NC Error Error
bytestring 0.9.0 12 s Success
canon-bdds 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
cantor 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
cats-in-zfc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
ccs 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
cecoa 1.0.0 NC NC NC
ceramist 1.0.0 NC NC NC
1.0.1 2 h 11 m NC Success
ceres 0.1.0 NC NC NC
0.2.0 18 s NC Success
dev 26 s 28 s Success
cfgv 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
cfml 20180525 NC NC NC
20181201 NC NC NC
chapar 8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 8 m 31 s NC Success
dev NC 8 m 43 s Success
charge-core 1.0.0 NC NC NC
1.0.1 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
checker 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 32 s Success
cheerios dev 53 s 52 s Success
chick-blog 1.0.0 NC NC NC
1.0.1 24 s 24 s Success
chinese 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 32 s Success
circuits 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 32 s Success
classical-realizability 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
coalgebras 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
coinductive-examples 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
coinductive-reals 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
color 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.3.0 NC NC NC
1.4.0 NC NC NC
1.5.0 NC NC NC
1.6.0 NC NC NC
1.7.0 19 m 56 s NC Success
8.7.dev NC NC NC
dev NC 19 m 37 s Success
compcert 2.0.0 NC NC NC
2.3.2 NC NC NC
2.4.0 NC NC NC
2.5.0 NC NC NC
2.6.0 NC NC NC
2.7.1 NC NC NC
3.0.0 NC NC NC
3.0.1 NC NC NC
3.1.0 NC NC NC
3.2.0 NC NC NC
3.3.0 NC NC NC
3.4 NC NC NC
3.5 NC NC NC
3.5+8.10 NC NC NC
3.6 NC NC NC
3.6+8.11 NC NC NC
3.7~coq-platform 22 m 40 s Success
3.7~coq-platform~open-source 6 m 10 s Success
3.7 18 m 59 s Success
3.7+8.12~coq_platform~open_source NC NC
3.7+8.12~coq_platform NC NC
dev 23 m 32 s 20 m 47 s Success
compcert-64 3.7~coq-platform 23 m 47 s Success
3.7~coq-platform~open-source 6 m 54 s Success
3.7 24 m 20 s Success
3.7+8.12~coq_platform~open_source NC NC
3.7+8.12~coq_platform NC NC
dev 25 m 59 s Success
concat 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 50 s Success
concurrency-pluto 1.0.0 NC NC NC
1.1.0 NC NC NC
concurrency-proxy 1.0.0 NC NC NC
concurrency-system 1.0.0 NC NC NC
1.1.0 NC NC NC
constructive-geometry 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 53 s Success
constructors 1.0.0 NC NC NC
containers 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
continuations 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
coq-in-coq 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
coq2html 1.0 19 s 8 s Success
1.1 9 s 10 s Success
1.2 8 s 13 s Success
coqeal 1.0.0 NC NC NC
1.0.1 NC NC NC
1.0.2 NC NC NC
1.0.3 5 m 14 s NC Success
coqeal-refinements 0.9.1 NC NC NC
coqeal-theory 0.9.1 NC NC NC
coqide 8.5~beta1 NC NC NC
8.5~beta2 NC NC NC
8.5~beta3 NC NC NC
8.6~beta1 NC NC NC
coqoban 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 13 s 13 s Success
dev NC Error Error
coqprime 1.0.0 NC NC NC
1.0.1 NC NC NC
1.0.2 NC NC NC
1.0.3 4 m 49 s Error Error
1.0.4 2 m 37 s Error Error
1.0.5 2 m 10 s Error Error
dev 2 m 28 s 2 m 23 s Success
coqrel 0.1.0 NC NC NC
coquelicot 2.0.1 NC NC NC
2.1.0 NC NC NC
2.1.1 NC NC NC
2.1.2 NC NC NC
3.0.2 NC NC NC
3.0.3 NC NC NC
3.0.3+8.11 NC NC NC
3.1.0 2 m 30 s NC Success
dev NC Error Error
coqutil dev 2 m 28 s 2 m 12 s Success
corn 1.0.0 NC NC NC
1.2.0 NC NC NC
8.5.dev NC NC NC
8.8.1 NC NC NC
dev NC 38 m 1 s Success
counting 8.5.0 NC NC NC
8.6.0 NC NC NC
cours-de-coq 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 28 s Success
ctltctl 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 21 s Success
cunit 1.0.0 7 s 9 s Success
cybele 1.3.0 NC NC NC
dblib 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
dev NC 57 s Success
demos 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 33 s Success
dep-map 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 39 s Success
deriving dev 1 m 5 s NC Success
descente-infinie 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
dictionaries 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
disel 2.0 NC NC NC
2.1 1 m 2 s NC Success
2.2 1 m 12 s Success
dev NC Error Error
disel-examples 2.1 2 m 6 s NC Success
2.2 1 m 47 s Success
dev NC Deps Error
distributed-reference-counting 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
domain-theory 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 29 s Success
dpdgraph 0.4 NC NC NC
0.5 NC NC NC
0.5.1 NC NC NC
0.6 NC NC NC
0.6.1 NC NC NC
0.6.2 NC NC NC
0.6.3 NC NC NC
0.6.4 NC NC NC
0.6.5 NC NC NC
0.6.6 NC NC NC
0.6.7 14 s NC Success
0.6.8 NC NC
elpi 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.3.0 NC NC NC
1.3.1 2 m 52 s NC Success
1.4.0 3 m 58 s Success
1.4.1 4 m 30 s Success
1.5.0 3 m 0 s Success
1.5.1 NC NC
v0.1.1.dev NC NC NC
engine-bench dev Error Error
engine-bench-lite dev 15 m 19 s Success
equations 0.9~beta2 NC NC NC
1.0~beta2 NC NC NC
1.0~beta2+8.7 NC NC NC
1.0 NC NC NC
1.0+8.7 NC NC NC
1.0+8.8 NC NC NC
1.1+8.8 NC NC NC
1.2~beta2+8.8 NC NC NC
1.2~beta2+8.9 NC NC NC
1.2~beta+8.8 NC NC NC
1.2~beta+8.9 NC NC NC
1.2+8.8 NC NC NC
1.2+8.9 NC NC NC
1.2+8.10 NC NC NC
1.2.1+8.9 NC NC NC
1.2.1+8.10 NC NC NC
1.2.1+8.11 42 s NC Success
1.2.2+8.11 1 m 21 s Success
1.2.2+8.12 NC NC
1.2.3+8.11 45 s Success
1.2.3+8.12 NC NC
8.7.dev NC NC NC
8.8.dev NC NC NC
dev NC 57 s Success
dev+HoTT NC Error Error
equations-fpred 1.0.1.dev Deps Error
ergo 8.5.0 NC NC NC
8.6.0 NC NC NC
error-handlers 1.0.0 9 s 9 s Success
1.1.0 10 s 10 s Success
1.1.1 10 s 8 s Success
1.2.0 9 s 9 s Success
euclidean-geometry 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
euler-formula 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
exact-real-arithmetic 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
exceptions 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 21 s Success
ext-lib 0.9.0~beta3 NC NC NC
0.9.0 NC NC NC
0.9.1 NC NC NC
0.9.2 NC NC NC
0.9.3 NC NC NC
0.9.4 NC NC NC
0.9.5 NC NC NC
0.9.6 NC NC NC
0.9.7 NC NC NC
0.9.8 NC NC NC
0.10.0 NC NC NC
0.10.1 NC NC NC
0.10.2 NC NC NC
0.10.3 1 m 1 s NC Success
0.11.0 55 s NC Success
0.11.1 54 s NC Success
0.11.2 51 s Success
dev 1 m 13 s 1 m 7 s Success
extensible-records 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
extructures 0.1.0 NC Error Error
0.2.0 NC NC NC
0.2.1 30 s NC Success
dev 57 s NC Success
fairisle 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
fcsl-pcm 1.0.0 NC NC NC
1.1.0 50 s NC Success
1.1.1 Error Error Error
1.2.0 1 m 0 s 1 m 5 s Success
dev 1 m 10 s 1 m 11 s Success
fermat4 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
fiat-core dev NC Error Error
fiat-crypto dev Error Error Error
fiat-crypto-legacy 8.7.dev NC NC
8.8.dev NC NC
8.9.dev NC NC
dev Error Error Error
fiat-crypto-legacy-extra dev Error Error
fiat-parsers 8.7.dev NC NC NC
dev NC Error Error
finger-tree 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
firing-squad 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.10.0 NC NC NC
float 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
flocq 2.2.0 NC NC NC
2.3.0 NC NC NC
2.4.0 NC NC NC
2.5.2 NC NC NC
2.6.1 NC NC NC
3.0.0 NC NC NC
3.1.0 NC NC NC
3.2.0 6 m 0 s Error Error
3.2.0+8.11 NC NC NC
3.2.1 6 m 6 s 5 m 24 s Success
3.3.0 5 m 50 s Success
3.3.1 6 m 36 s Success
8.7.dev NC NC NC
dev NC 5 m 55 s Success
flocq-quickchick 1.0.0 NC NC NC
1.0.1 NC NC NC
1.0.2 NC NC NC
formal-topology dev NC Error Error
founify 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
fourcolor 1.2 NC NC NC
1.2.1 48 m 51 s NC Success
1.2.2 47 m 21 s Success
dev 42 m 53 s 36 m 6 s Success
fpmods 0.2.0 NC NC NC
free-groups 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 41 s Success
fsets 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
fssec-model 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 56 s Success
function-ninjas 1.0.0 12 s 9 s Success
functional-algebra 1.0.2 16 s 25 s Success
functions-in-zfc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 19 s Success
fundamental-arithmetics 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 36 s Success
games 0.1.0 1 m 56 s NC Success
gappa 1.2.1 NC NC NC
1.3.2 NC NC NC
1.3.3 NC NC NC
1.3.4 NC NC NC
1.4.0 NC NC NC
1.4.1 NC NC NC
1.4.2 NC NC NC
1.4.2+8.11 NC NC NC
1.4.3 1 m 8 s NC Success
1.4.4 1 m 3 s Success
gc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
generic-environments 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 27 s Success
geocoq 1.0.1 NC NC NC
1.1.0 NC NC NC
2.0.0 NC NC NC
2.1.0 NC NC NC
2.2.0 NC NC NC
2.2.1 NC NC NC
2.3.0 NC NC NC
2.4.0 NC NC NC
dev 36 m 37 s 35 m 30 s Success
geocoq-axioms 2.4.0 NC NC NC
geocoq-coinc 2.4.0 NC NC NC
geocoq-elements 2.4.0 NC NC NC
geocoq-main 2.4.0 NC NC NC
geocoq-pof 2.4.0 NC NC NC
geometric-algebra 0.8.8 NC NC NC
0.8.11 1 m 26 s Error Error
goedel 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Deps Error
graph-basics 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 37 s Success
graph-theory 0.7 8 m 16 s Success
graphs 8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
group-theory 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 24 s Success
groups 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 29 s Success
hammer 1.0.3 NC NC NC
1.0.8+8.7 NC NC NC
1.0.9+8.8.0 NC NC NC
1.0.9+8.8.1 NC NC NC
1.1+8.8 NC NC NC
1.1+8.9 NC NC NC
1.1.1+8.9 NC NC NC
1.1.1+8.10 NC NC NC
1.2+8.10 NC NC
1.2+8.11 23 s Success
1.2.1+8.10 NC NC
1.2.1+8.11 19 s Success
1.3+8.10 NC NC
1.3+8.11 38 s Success
1.3+8.12 NC NC
8.10.dev NC NC NC
dev NC 42 s Success
hammer-tactics 1.1.1+8.9 NC NC NC
1.1.1+8.10 NC NC NC
1.2+8.10 NC NC
1.2+8.11 16 s Success
1.2.1+8.10 NC NC
1.2.1+8.11 34 s Success
1.3+8.10 NC NC
1.3+8.11 16 s Success
1.3+8.12 NC NC
8.10.dev NC NC NC
dev NC 26 s Success
hardware 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
hedges 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 24 s Success
hierarchy-builder 0.9.0 1 m 6 s NC Success
0.9.1 1 m 52 s Success
0.10.0 1 m 47 s Success
high-school-geometry 1.0.0 NC NC NC
8.6.0 NC NC NC
8.11.0 3 m 58 s Success
higman-cf 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 1 m 9 s Success
higman-nw 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 30 s Success
higman-s 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 25 s Success
historical-examples 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 21 s Success
hoare-tut 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.11.1 14 s Success
dev NC Error Error
hott 8.7 NC NC NC
8.7.dev NC NC NC
8.8 NC NC NC
8.8.dev NC NC NC
8.9 NC NC NC
8.9.dev NC NC NC
8.10 NC NC NC
8.10.dev NC NC NC
8.11 7 m 17 s NC Success
8.11.dev 9 m 46 s NC Success
8.12.dev NC NC
dev NC 10 m 45 s Success
huffman 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 44 s NC Success
8.11.0 1 m 3 s NC Success
8.12.0 35 s Success
dev NC 57 s Success
icharate 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
idxassoc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
ieee754 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
improper-integrals 0.1.0 NC NC NC
inf-seq-ext dev 23 s 23 s Success
infotheo 0.0.1 NC NC NC
0.0.3 NC NC NC
0.0.4 NC NC NC
0.0.5 NC NC NC
0.0.6 16 m 26 s NC Success
0.0.7 13 m 57 s NC Success
0.1 14 m 23 s NC Success
0.1.1 19 m 2 s Success
int-map 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
interval 2.2.1 NC NC NC
3.1.1 NC NC NC
3.2.0 NC NC NC
3.3.0 NC NC NC
3.4.0 NC NC NC
3.4.1 NC NC NC
3.4.1+8.11 NC NC NC
3.4.2 2 m 22 s NC Success
4.0.0 4 m 38 s Success
intuitionistic-nuprl 8.6.0 NC NC NC
io 2.0.0 23 s 11 s Success
2.1.0 11 s 10 s Success
3.0.0 9 s 22 s Success
3.1.0 10 s 10 s Success
3.2.0 NC NC NC
3.3.0 NC NC NC
4.0.0 15 s 11 s Success
io-evaluate 1.0.0 NC NC NC
io-exception 1.0.0 NC NC NC
1.1.0 NC NC NC
io-hello-world 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 11 s 10 s Success
io-list 1.0.0 10 s 8 s Success
1.1.0 10 s 20 s Success
io-system 2.0.0 NC NC NC
2.1.0 14 s 18 s Success
2.2.0 NC NC NC
2.3.0 20 s 12 s Success
2.4.0 NC NC NC
2.4.1 13 s 12 s Success
io-system-ocaml 2.0.0 NC NC NC
2.1.0 NC NC NC
2.2.0 NC NC NC
2.3.0 NC NC NC
2.3.1 8 s 8 s Success
ipc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 44 s Success
iris 3.0.0 NC Error Error
3.1.0 NC Deps Error
3.2.0 NC Deps Error
3.3.0 19 m 22 s Success
iris-string-ident 0.1.0 17 s Success
iterable 1.0.0 11 s 11 s Success
itree 1.0.0 NC NC NC
2.0.0 NC NC NC
3.0.0 NC NC NC
3.1.0 3 m 13 s NC Success
3.2.0 3 m 3 s Success
dev 3 m 20 s Error Error
itree-io dev 18 s Success
izf 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 22 s Success
jmlcoq 8.12.0 1 m 1 s Success
jordan-curve-theorem 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
jprover 8.5.0 NC NC NC
8.6.0 NC NC NC
jsast 1.0.7 NC NC NC
1.0.8 NC NC NC
1.0.9 NC NC NC
2.0.0 14 s Success
karatsuba 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
kildall 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
label 1.0.0 NC NC NC
lambda 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 31 s Success
lambek 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
lazy-pcf 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 29 s Success
lc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
legacy-ring 8.5.0 NC NC NC
8.6.0 NC NC NC
lemma-overloading 8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 1 m 11 s NC Success
8.11.0 1 m 24 s 1 m 13 s Success
dev NC 1 m 34 s Success
lens 1.0.0 NC NC NC
lesniewski-mereology 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
libhyps 1.0.0 13 s Success
1.0.1 14 s Success
libvalidsdp 0.5 NC NC NC
0.6.0 NC NC NC
0.7.0 1 m 46 s NC Success
dev NC NC NC
lin-alg 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
list-plus 1.0.0 7 s 9 s Success
1.1.0 10 s 9 s Success
list-string 1.0.0 NC NC NC
2.0.0 17 s 25 s Success
2.1.0 17 s 28 s Success
2.1.1 31 s 16 s Success
2.1.2 40 s 24 s Success
ltac-iter 1.0.0 NC NC NC
1.1.0 NC NC NC
1.1.1 NC NC
1.1.2 12 s Success
ltac2 0.1 NC NC NC
0.1-8.7 NC NC NC
0.2 NC NC NC
0.3 NC NC NC
8.7.dev NC NC NC
8.8.dev NC NC NC
8.9.dev NC NC NC
8.10.dev NC NC NC
dev NC Error Error
ltl 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
maple-mode 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
markov 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
math-classes 1.0.3 NC NC NC
1.0.4 NC NC NC
1.0.5 NC NC NC
1.0.6 NC NC NC
1.0.7 NC NC NC
8.8.1 NC NC NC
8.9.1 NC NC NC
8.11.0 7 m 2 s NC Success
dev NC 6 m 43 s Success
mathcomp-algebra 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 4 m 32 s NC Success
1.10.0 3 m 58 s NC Success
1.11+beta1 4 m 53 s Success
1.11.0 4 m 46 s Success
dev 3 m 47 s 4 m 1 s Success
mathcomp-analysis 0.1.0 NC NC NC
0.2.0 NC NC NC
0.2.2 NC NC NC
0.2.3 5 m 7 s NC Success
0.3.0 Error Error
0.3.1 7 m 26 s Success
0.3.2 8 m 42 s Success
dev 7 m 46 s NC Success
mathcomp-bigenough 1.0.0 28 s 10 s Success
mathcomp-character 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 4 m 14 s NC Success
1.10.0 4 m 46 s NC Success
1.11+beta1 5 m 23 s Success
1.11.0 4 m 45 s Success
dev 5 m 11 s 4 m 9 s Success
mathcomp-field 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 8 m 18 s NC Success
1.10.0 5 m 39 s NC Success
1.11+beta1 7 m 59 s Success
1.11.0 9 m 4 s Success
dev 9 m 23 s 7 m 37 s Success
mathcomp-field-extra 1.6.1 NC NC NC
mathcomp-fingroup 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 2 m 6 s NC Success
1.10.0 1 m 33 s NC Success
1.11+beta1 1 m 38 s Success
1.11.0 1 m 39 s Success
dev 1 m 45 s 1 m 44 s Success
mathcomp-finmap 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.3.1 NC NC NC
1.3.3 NC NC NC
1.3.4 NC NC NC
1.4.0 NC NC NC
1.4.0+coq-8.11 1 m 2 s Success
1.4.1 1 m 13 s NC Success
1.5.0 1 m 19 s Success
dev 1 m 9 s 1 m 38 s Success
mathcomp-grobner dev Deps Deps Error
mathcomp-multinomials 1.0 NC NC NC
1.1 NC NC NC
1.2 NC NC NC
1.3 NC NC NC
1.4 NC NC NC
1.5 1 m 5 s NC Success
1.5.1 Error Error
1.5.2 1 m 5 s Success
mathcomp-odd-order 1.6.1 NC NC NC
1.6.2 NC NC NC
1.7.0 NC NC NC
1.10.0 35 m 46 s NC Success
dev 38 m 20 s 25 m 40 s Success
mathcomp-real-closed 1.0.1 NC NC NC
1.0.2 NC NC NC
1.0.3 NC NC NC
1.0.4 3 m 1 s NC Success
1.0.5 Error Error
1.1.1 3 m 24 s Success
dev NC NC NC
mathcomp-solvable 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 6 m 12 s NC Success
1.10.0 5 m 15 s NC Success
1.11+beta1 4 m 23 s Success
1.11.0 5 m 3 s Success
dev 6 m 10 s 5 m 40 s Success
mathcomp-ssreflect 1.6 NC NC NC
1.6.1 NC NC NC
1.6.2 NC NC NC
1.6.4 NC NC NC
1.7.0 NC NC NC
1.8.0 NC NC NC
1.9.0 1 m 15 s NC Success
1.10.0 1 m 22 s NC Success
1.11+beta1 1 m 54 s Success
1.11.0 2 m 7 s Success
dev 2 m 4 s 2 m 0 s Success
mathcomp-sum-of-two-square 1.0.0 NC NC NC
1.0.1 NC NC NC
maths 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
matrices 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
menhirlib 20190613 NC NC NC
20190620 NC NC NC
20190626 NC NC NC
20190924 23 s 29 s Success
20200123 32 s 33 s Success
20200211 1 m 9 s 30 s Success
20200525 28 s Success
20200612 34 s Success
20200619 29 s Success
20200624 30 s Success
metacoq 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-checker 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-erasure 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-pcuic 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-safechecker 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-template 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metacoq-translations 1.0~alpha2+8.10 NC NC NC
1.0~alpha2+8.11 NC NC NC
1.0~alpha+8.8 NC NC NC
1.0~alpha+8.9 NC NC NC
8.8.dev NC NC NC
metalib dev 41 s 1 m 7 s Success
mi-cho-coq dev 3 m 45 s Deps Error
min-imports 1.0.0 7 s 15 s Success
1.0.1 8 s 34 s Success
1.0.2 9 s 9 s Success
mini-compiler 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 20 s Success
minic 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
miniml 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 22 s Success
mirror-core 1.0.1 NC NC NC
1.0.2 NC NC NC
mod-red 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
moment 1.0.0 NC NC NC
1.1.0 16 s 16 s Success
1.2.0 18 s 20 s Success
monae 0.0.1 NC NC NC
0.0.2 NC NC NC
0.0.3 NC NC NC
0.0.4 3 m 19 s NC Success
0.0.6 3 m 8 s NC Success
0.1 3 m 35 s NC Success
0.1.1 4 m 58 s Success
msets-extra 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
mtac 1.3.0 NC NC NC
mtac2 1.0.0+8.7 NC NC NC
1.0.1+8.8 NC NC NC
1.1+8.8 NC NC NC
1.1+8.9 NC NC NC
1.1+8.10 NC NC NC
multiplier 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 33 s Success
mutual-exclusion 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
nfix 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
of-ocaml 1.1.1 NC NC NC
1.2.1 NC NC NC
2.0.0 NC NC NC
2.1.0 NC NC
ollibs 2.0.0 NC NC
opam-website 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.3.0 NC NC NC
1.3.1 NC NC NC
1.3.2 NC NC NC
1.4.0 NC NC NC
orb-stab 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
dev Deps Deps Error
ott 0.26 NC NC NC
0.27 NC NC NC
0.28 NC NC NC
0.29 NC NC NC
0.30 20 s NC Success
dev 44 s Error Error
otway-rees 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 27 s Success
paco 1.2.8 NC NC NC
1.2.9 NC NC NC
2.0.0 NC NC NC
2.0.1 NC NC NC
2.0.2 NC NC NC
2.0.3 NC NC NC
2.1.0 NC NC NC
3.0.0 NC NC NC
4.0.0 2 m 2 s NC Success
dev 1 m 29 s 1 m 50 s Success
paradoxes 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 22 s Success
param-pi 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 29 s Success
paramcoq 1.0.5 NC NC NC
1.0.6 NC NC NC
1.0.9 NC NC NC
1.1.0 NC Error Error
1.1.1+coq8.7 NC NC NC
1.1.1+coq8.8 NC NC NC
1.1.1+coq8.9 NC NC NC
1.1.2+coq8.7 NC NC NC
1.1.2+coq8.8 NC NC NC
1.1.2+coq8.9 NC NC NC
1.1.2+coq8.10 NC NC NC
1.1.2+coq8.11 11 s NC Success
1.1.2+coq8.12 NC NC
dev NC 21 s Success
pautomata 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
performance-tests dev Deps Deps Error
performance-tests-lite dev Deps Error
persistent-union-find 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
pi-agm 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.2.2 NC NC NC
1.2.3 NC NC NC
1.2.4 2 m 13 s NC Success
1.2.5 1 m 59 s Success
1.2.6 NC NC
pi-calc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
plouffe 1.0.0 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.3.0 NC NC NC
1.4.0 NC NC NC
plugin-utils 1.1.0 NC NC NC
1.2.0 NC NC NC
1.3.0 NC NC NC
pocklington 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
poltac 0.8.8 NC NC NC
0.8.11 1 m 0 s Error Error
ppsimpl 1.0.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
presburger 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
prfx 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
printf 1.0.0 NC NC NC
1.0.1 15 s NC Success
1.0.2 14 s NC Success
2.0.0 32 s NC Success
procrastination 1.0 NC NC NC
1.1 NC NC NC
1.2 NC NC NC
projective-geometry 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
propcalc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 27 s Success
prosa 0.4 NC NC NC
dev 18 s 25 s Success
pts 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
ptsatr 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
ptsf 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
qarith 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
qarith-stern-brocot 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
qcert 1.0.4 NC NC NC
1.0.5 NC NC NC
1.0.6 NC NC NC
1.0.7 NC NC NC
1.0.9 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.3.0 NC NC NC
1.4.0 NC NC NC
1.4.1 NC NC NC
2.0.0 NC NC
quickchick 1.0.0 NC NC NC
1.0.1 NC NC NC
1.0.2 NC NC NC
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.3.0 2 m 10 s NC Success
1.3.1 1 m 52 s NC Success
1.3.2 1 m 49 s Success
1.4.0 NC NC
8.8.dev NC NC NC
8.9.dev NC NC NC
8.10.dev NC NC NC
8.11.dev 1 m 54 s NC Success
8.12.dev NC NC
dev NC 2 m 10 s Success
quicksort-complexity 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
railroad-crossing 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 23 s Success
ramsey 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
random 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
rational 8.5.0 NC NC NC
8.6.0 NC NC NC
record-update 0.2.0 15 s Success
recursive-definition 8.5.0 NC NC NC
8.6.0 NC NC NC
reduction-effects 0.1.0 NC NC NC
0.1.1 NC NC NC
0.1.2 9 s 9 s Success
reflexive-first-order 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
regexp 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
reglang 1.0 NC NC NC
1.1 51 s NC Success
relation-algebra 1.3 NC NC NC
1.4 NC NC NC
1.5 NC NC NC
1.6 NC NC NC
1.7 NC NC NC
1.7.1 NC NC NC
1.7.2 NC NC NC
1.7.3 3 m 53 s Error Error
relation-extraction 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
rem 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 19 s Success
rewriter dev 17 m 50 s 15 m 20 s Success
rewriter-perf-Fast dev Deps Deps Error
rewriter-perf-Medium dev Deps Deps Error
rewriter-perf-Slow dev Deps Deps Error
rewriter-perf-SuperFast dev Deps Deps Error
rewriter-perf-VerySlow dev Deps Deps Error
rsa 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 14 s 31 s Success
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 26 s Success
ruler-compass-geometry 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
scev 1.0.1 NC NC NC
schroeder 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
search-trees 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
semantics 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.11.1 44 s Success
sf-plf 8.7.dev NC NC NC
dev NC 1 m 55 s Success
shuffle 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 30 s Success
simple-io 0.1 19 s 28 s Success
0.2 13 s 13 s Success
1.0.0 14 s 26 s Success
1.1.0 NC NC NC
1.2.0 NC NC NC
1.2.1 NC NC NC
1.3.0 18 s NC Success
dev 29 s 38 s Success
smc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Deps Error
smt-check 1.0.0 NC NC NC
2.0.0 NC NC NC
smtcoq dev 10 m 42 s NC Success
square-matrices 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
squiggle-eq 1.0.1 NC NC NC
1.0.2 NC NC NC
1.0.3 NC NC NC
1.0.4 NC NC NC
ssreflect 1.5.0 NC NC NC
1.5.1~beta2 NC NC NC
stalmarck 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC
8.11.0 1 m 18 s Success
8.12.0 NC NC
stdpp 1.0.0 NC Error Error
1.1.0 NC Error Error
1.2.0 NC Error Error
1.2.1 NC Error Error
1.3.0 2 m 51 s 2 m 57 s Success
1.4.0 3 m 1 s Success
streams 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 19 s Success
string 8.5.0 NC NC NC
8.6.0 NC NC NC
struct-tact dev 39 s 39 s Success
subst 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 41 s Success
sudoku 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
sum-of-two-square 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
switch 1.0.0 NC NC NC
1.0.1 NC NC NC
1.0.2 NC NC NC
tait 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
tarski-geometry 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 1 m 18 s Success
template-coq 1.0.0~beta2 NC NC NC
1.1.0~beta2 NC NC NC
1.1.0~beta3 NC NC NC
2.1~beta3 NC NC NC
8.7.dev NC NC NC
three-gap 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
tlc 20161010 NC NC NC
20171128 NC NC NC
20171206 NC NC NC
20180316 NC NC NC
20181116 NC NC NC
20200328 2 m 1 s 2 m 40 s Success
topology 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Deps Error
tortoise-hare-algorithm 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 19 s Success
traversable-fincontainer 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 39 s Success
tree-automata 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Deps Error
tree-diameter 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
typing-flags 1.0 NC NC NC
unicoq 1.0.0 NC NC NC
1.3+8.6 NC NC NC
1.3+8.7 NC NC NC
1.3+8.8 NC NC NC
1.3+8.9 NC NC NC
1.3+8.10 NC NC NC
1.3.2+8.10 NC NC NC
unimath dev NC 1 h 47 m Success
unimath-category-theory 0.1.0 NC NC NC
unimath-dedekind 0.1.0 NC NC NC
unimath-foundations 0.1.0 NC NC NC
unimath-ktheory 0.1.0 NC NC NC
unimath-substitution-systems 0.1.0 NC NC NC
unimath-tactics 0.1.0 NC NC NC
universe-comparator 1.0.1 NC NC NC
1.1.0 NC NC NC
validsdp 0.6.0 NC NC NC
0.7.0 58 m 11 s NC Success
dev NC NC NC
verdi dev 3 m 31 s 3 m 37 s Success
verdi-raft dev 32 m 11 s 32 m 14 s Success
void 0.1.0 11 s NC Success
vst 2.2 NC NC NC
2.6 1 h 47 m Success
8.7.dev NC NC NC
dev 58 m 37 s Error Error
vst-64 2.6 1 h 22 m Success
dev Error Error
weak-up-to 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 24 s Success
yalla 2.0.1 NC NC
zchinese 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error
zf 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC 27 s Success
zfc 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
zorns-lemma 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
8.11.0 28 s Success
dev NC Error Error
zsearch-trees 8.5.0 NC NC NC
8.6.0 NC NC NC
8.7.0 NC NC NC
8.8.0 NC NC NC
8.9.0 NC NC NC
8.10.0 NC NC NC
dev NC Error Error