« Up

Extra-dev 2035 packages

Linux, x86_64, OCaml 4.05.0, Opam 2.0.1

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

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