« Up

Extra-dev 2019 packages

Linux, x86_64, OCaml 4.11.1, Opam 2.0.7

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
dev summary
Name Version 1708 217 25 69 1708 217 25 69
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 36 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 1 m 53 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 47 s Success
albert dev Deps Error
alea 8.11.0 9 m 19 s Success
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 31 s Success
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 28 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
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 17 s Success
dev 30 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 27 s Success
bbv 1.0 NC NC
1.1 NC NC
1.2 NC NC
dev 52 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 7 m 11 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 4 s Success
bits 1.0.0 NC NC
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 1 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 37 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 10 m 0 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 20 s Success
cheerios dev 1 m 59 s Success
chick-blog 1.0.0 NC NC
1.0.1 Deps Error
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 30 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 17 m 9 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 Error Error
compcert-32 3.8 NC NC
dev Error 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 Error 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 1 m 1 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 9 s Success
1.1 10 s Success
1.2 11 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 9 m 5 s Success
coqeal-refinements 0.9.1 NC NC
coqeal-theory 0.9.1 NC NC
coqffi 1.0.0~beta1 18 s Success
1.0.0~beta2 21 s Success
1.0.0~beta3 23 s Success
1.0.0~beta4 58 s Success
1.0.0~beta5 24 s Success
dev 29 s Success
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 13 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 2 m 13 s Success
dev 4 m 53 s Success
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 23 s Success
dev 2 m 31 s Success
coqutil dev 2 m 3 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 43 m 43 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 27 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 22 s Success
cunit 1.0.0 11 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 33 s Success
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 29 s Success
deriving 0.1.0 1 m 23 s Success
dev 48 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 20 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 22 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 NC NC
1.6.1~8.11 NC NC
1.6.2~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.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
dev 3 m 40 s Success
v0.1.1.dev NC NC
engine-bench dev 35 m 11 s Success
engine-bench-lite dev 12 m 1 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
8.7.dev NC NC
8.8.dev NC NC
dev 58 s Success
dev+HoTT Error Error
ergo 8.5.0 NC NC
8.6.0 NC NC
error-handlers 1.0.0 12 s Success
1.1.0 13 s Success
1.1.1 13 s Success
1.2.0 14 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 20 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 53 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 36 s Success
1.3.0 Error Error
dev 2 m 5 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 8 m 2 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 45 m 37 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 4 m 58 s Success
3.3.0 4 m 39 s Success
3.3.1 5 m 10 s Success
3.4.0 7 m 30 s Success
8.7.dev NC NC
dev 4 m 45 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 1 h 1 m Success
dev 58 m 11 s 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 21 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 48 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 19 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 45 s Success
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 1 h 21 m 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 20 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 45 s Success
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 31 s Success
graph-theory 0.7 NC NC
0.8 NC NC
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 24 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 20 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 1 m 12 s Success
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 27 s Success
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 24 s Success
hierarchy-builder 0.9.0 NC NC
0.9.1 NC NC
0.10.0 NC NC
1.0.0 NC NC
dev Error Error
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 30 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 29 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.dev NC NC
dev 12 m 7 s Success
http 0.1.0 1 m 37 s Success
dev Error Error
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 2 m 11 s Success
hydra-battles dev 5 m 51 s Success
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 20 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 NC NC
0.2.2 Deps Error
0.3 Deps Error
0.3.1 Deps Error
0.3.2 Deps 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 5 m 2 s Success
4.2.0 4 m 46 s Success
intuitionistic-nuprl 8.6.0 NC NC
io 2.0.0 12 s Success
2.1.0 21 s Success
3.0.0 14 s Success
3.1.0 13 s Success
3.2.0 NC NC
3.3.0 NC NC
4.0.0 46 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 36 s Success
io-list 1.0.0 12 s Success
1.1.0 12 s Success
io-system 2.0.0 NC NC
2.1.0 14 s Success
2.2.0 NC NC
2.3.0 12 s Success
2.4.0 NC NC
2.4.1 14 s Success
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 32 s Success
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 2 m 37 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
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 3 m 29 s Success
itree-io 0.1.0 12 s Success
dev 52 s Success
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 22 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 14 s Success
json dev 36 s Success
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 1 m 40 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 1 m 3 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 4 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
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 37 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 53 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 6 m 59 s Success
mathcomp-abel 1.0.0 4 m 35 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 21 s Success
dev 4 m 22 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 NC NC
0.3.5 Deps Error
0.3.6 Deps Error
dev Deps Error
mathcomp-bigenough 1.0.0 21 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 12 m 30 s Success
dev 5 m 20 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 6 m 53 s Success
dev 6 m 35 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 1 m 31 s Success
1.11.0 NC NC
1.12.0 2 m 45 s Success
dev 7 m 39 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 5 s Success
dev 1 m 3 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 53 s Success
dev 1 m 13 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 31 m 35 s Success
dev 35 m 35 s 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 3 m 57 s Success
dev 7 m 56 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 5 m 12 s Success
dev 5 m 21 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 19 s Success
1.11.0 NC NC
1.12.0 2 m 43 s Success
dev 1 m 49 s Success
mathcomp-sum-of-two-square 1.0.0 NC NC
1.0.1 NC NC
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 27 s Success
20200612 28 s Success
20200619 1 m 56 s Success
20200624 28 s Success
20201122 32 s Success
20201201 26 s Success
20201214 27 s Success
20201216 28 s Success
20210310 25 s Success
dev 2 m 1 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 45 s Success
mi-cho-coq dev Error Error
min-imports 1.0.0 10 s Success
1.0.1 10 s Success
1.0.2 11 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 28 s Success
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 NC NC
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 1 m 51 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 22 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 NC NC
2.0.0 NC NC
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 33 s Success
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 27 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 3 m 56 s Success
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 20 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 26 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 22 s Success
parsec 0.1.0 14 s Success
dev 22 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 45 m 53 s 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 1 m 35 s Success
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 1 m 9 s Success
poltac 0.8.8 NC NC
0.8.11 NC NC
0.8.12 57 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 24 s Success
prosa 0.4 NC NC
dev 12 m 58 s Success
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 1 m 40 s Success
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 21 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 13 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 24 s Success
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 23 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 21 s Success
rewriter dev 20 m 52 s Success
rewriter-perf-Fast dev Error Error
rewriter-perf-Medium dev Error Error
rewriter-perf-Slow dev Error Error
rewriter-perf-SuperFast dev 19 m 20 s 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 24 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 1 m 1 s Success
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 48 s Success
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 57 s Success
0.2 23 s Success
1.0.0 17 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 1 m 16 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 13 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 6 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 19 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 36 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 40 s Success
tactician-dummy 1.0~beta1 9 s Success
dev 15 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 19 m 6 s Success
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 5 m 8 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 13 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 2 m 13 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 21 s Success
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 15 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 37 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 37 s Success
unimath dev Error Error
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 6 m 10 s Success
verdi-raft dev 1 h 13 m Success
void 0.1.0 NC NC
vst 2.2 NC NC
2.6 NC NC
2.7 NC NC
8.7.dev NC NC
dev Deps Error
vst-32 2.7 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 23 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 27 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 43 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

Sources are on GitHub. © Guillaume Claret.