« Up

Extra-dev 2966 packages

Linux, x86_64, OCaml 4.14.0, Opam 2.0.10

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
dev summary
Name Version 2413 170 187 168 2413 170 187 168
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
8.13.1 NC NC
8.13.2 NC NC
8.14.0 NC NC
8.14.1 NC NC
8.15.0 NC NC
8.15.1 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
8.19.0 NC NC
dev 1 m 0 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
actuary 2.1 NC NC
2.2 NC NC
2.3 NC NC
2.4 NC NC
2.5 NC NC
2.6 Deps Error
addition-chains 0.4 Deps Error
0.5 NC NC
0.6 NC NC
0.9 NC NC
dev Deps Error
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 Deps Error
alea 8.11.0 Error Error
8.12.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
1.4 NC NC
almost-full 8.12.0 NC NC
8.13.0 NC NC
8.14.0 NC NC
8.18.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 0 s Success
antivalence 1.0.0 NC NC
1.0.1 NC NC
approx-models 1.0 Deps Error
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 0.1.0 Deps Error
dev Deps Error
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
8.13.0 NC NC
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
8.19.0 NC NC
dev 3 m 0 s Success
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 Error Error
1.8 Error Error
dev 1 m 0 s Success
autosubst-ocaml 1.0.0 NC NC
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 Error Error
bbv 1.0 NC NC
1.1 NC NC
1.2 NC NC
1.3 NC NC
1.4 NC NC
dev 1 m 0 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 0.0.1 Deps Error
0.0.2 Deps Error
0.0.3 Deps Error
0.0.4 Deps Error
0.0.5 Deps Error
0.0.6 Deps Error
dev 8 m 0 s Success
bedrock2-compiler 0.0.2 Deps Error
0.0.3 Deps Error
0.0.4 Deps Error
0.0.5 Deps Error
0.0.6 Deps Error
belgames 1.0.0 NC NC
1.1.0 NC NC
1.1.1 NC NC
2.0.0 NC NC
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
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
9.0.0+coq8.13 NC NC
9.0.0+coq8.14 NC NC
9.0.0+coq8.15 NC NC
9.0.0+coq8.16 NC NC
9.0.0+coq8.17 NC NC
9.0.0+coq8.18 NC NC
9.0.0+coq8.19 NC NC
dev 1 m 0 s Success
bits 1.0.0 NC NC
1.1.0 NC NC
bonsai 1.0.0 1 m 0 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
8.13.0 NC NC
8.14.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
dev 1 m 0 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
category-theory 1.0.0 Error Error
dev 24 m 0 s Success
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
cds4ltl 1.0.0 Error Error
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
0.4.1 1 m 0 s Success
dev 1 m 0 s Success
certicoq 0.9~beta+8.14 NC NC
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
20220112 Deps Error
cfml-basis 20211215 Deps Error
20220102 Deps Error
20220112 Deps Error
cfml-stdlib 20211215 Deps Error
20220102 Deps Error
20220112 Deps Error
chapar 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
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 5 m 0 s Success
dev 7 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 1 m 0 s Success
cheerios dev 1 m 0 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 Error Error
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 Error Error
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
coinduction 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.6 Error Error
1.7 NC NC
1.8 NC NC
dev 1 m 0 s Success
coinduction-examples 1.5 Deps Error
1.6 Deps Error
1.7 1 m 0 s Success
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
1.8.2 NC NC
1.8.3 NC NC
1.8.4 NC NC
dev 6 m 0 s Success
commutative-diagrams 0.1 NC NC
comp-dec-modal 1.0 Deps Error
1.1 NC NC
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
3.9 NC NC
3.10 NC NC
3.11 NC NC
3.12 NC NC
3.13 NC NC
3.13.1 NC NC
dev 5 m 0 s Success
compcert-32 3.8 NC NC
3.9 NC NC
3.10 NC NC
3.11 NC NC
3.12 NC NC
3.13 NC NC
3.13.1 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 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 0 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 1 m 0 s Success
1.1 1 m 0 s Success
1.2 1 m 0 s Success
1.3 1 m 0 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 NC NC
1.0.6 NC NC
1.1.0 NC NC
1.1.1 NC NC
1.1.2 NC NC
1.1.3 NC NC
2.0.0 Deps Error
dev Deps 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
1.0.0~beta6 NC NC
1.0.0~beta7 NC NC
1.0.0~beta8 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 1 m 0 s Success
8.13.0 1 m 0 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 NC NC
1.1.0 Error Error
1.1.1 Error Error
1.2.0 NC NC
1.3.0 NC NC
1.4.0 NC NC
dev 2 m 0 s Success
coqprime-generator 1.1.1 1 m 0 s Success
dev 1 m 0 s Success
coqrel 0.1.0 NC NC
coqtail 8.11.2 NC NC
8.14 NC NC
8.18 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 NC NC
3.2.0 Deps Error
3.3.0 Deps Error
3.3.1 Error Error
3.4.0 Error Error
dev Deps Error
coqutil 0.0.1 Error Error
0.0.2 Error Error
0.0.3 Error Error
0.0.4 Error Error
dev 2 m 0 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
8.13.0 NC NC
8.16.0 NC NC
8.18.0 Error Error
dev 11 m 0 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 1 m 0 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 Error Error
cunit 1.0.0 1 m 0 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 1 m 0 s Success
deriving 0.1.0 1 m 0 s Success
0.1.1 2 m 0 s Success
0.2.0 Deps Error
dev Error Error
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 1 m 0 s Success
diqt 1.0.0 1 m 0 s Success
disel 2.0 NC NC
2.1 NC NC
2.2 NC NC
2.3 1 m 0 s Success
dev Deps Error
disel-examples 2.1 NC NC
2.2 NC NC
2.3 1 m 0 s Success
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 1 m 0 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
1.0+8.13 NC NC
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.0+8.17 NC NC
1.0+8.18 NC NC
dev 1 m 0 s Success
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.6.3~8.11 NC NC
1.7.0 NC NC
1.8.0 NC NC
1.8.1 NC NC
1.8.2~8.12 NC NC
1.8.3~8.12 NC NC
1.9.0 NC NC
1.9.1 NC NC
1.9.2 NC NC
1.9.3 NC NC
1.9.4 NC NC
1.9.5 NC NC
1.9.6 NC NC
1.9.7 NC NC
1.10.0 NC NC
1.10.1 NC NC
1.10.2 NC NC
1.10.3 NC NC
1.11.0 NC NC
1.11.1 NC NC
1.11.2 NC NC
1.12.0 NC NC
1.12.1 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.15.1 NC NC
1.15.2 NC NC
1.15.3 NC NC
1.15.4 NC NC
1.15.5 NC NC
1.15.6 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.17.1 NC NC
1.18.0 NC NC
1.19.0 NC NC
1.19.3 NC NC
2.0.0 NC NC
dev Error Error
engine-bench dev 9 m 0 s Success
engine-bench-lite dev 3 m 0 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~beta1+8.13 NC NC
1.3~beta2+8.13 NC NC
1.3+8.13 NC NC
1.3+8.14 NC NC
1.3+8.15 NC NC
1.3+8.16 NC NC
1.3+8.17 NC NC
1.3+8.18 NC NC
8.7.dev NC NC
8.8.dev NC NC
dev 1 m 0 s Success
ergo 8.5.0 NC NC
8.6.0 NC NC
error-handlers 1.0.0 1 m 0 s Success
1.1.0 1 m 0 s Success
1.1.1 1 m 0 s Success
1.2.0 1 m 0 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 Error Error
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
0.11.4 NC NC
0.11.5 Error Error
0.11.6 Error Error
0.11.7 Error Error
0.11.8 Error Error
0.12.0 1 m 0 s Success
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 Deps Error
0.2.0 NC NC
0.2.1 NC NC
0.2.2 NC NC
0.3.0 NC NC
0.3.1 NC NC
0.4.0 NC NC
dev Deps Error
extructures-instances dev Deps Error
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 Deps Error
1.2.0 Deps Error
1.3.0 Deps Error
1.4.0 Deps Error
1.5.1 Deps Error
1.6.0 Deps Error
1.7.0 Deps Error
1.8.0 NC NC
dev Deps Error
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 2 m 0 s Success
fiat-crypto 0.0.15 NC NC
0.0.16 NC NC
0.0.17 NC NC
0.0.20 NC NC
0.0.24 NC NC
dev 38 m 0 s Success
fiat-crypto-legacy dev 50 m 0 s Success
fiat-crypto-legacy-extra dev Error Error
fiat-crypto-with-bedrock dev 1 h 27 m Success
fiat-parsers dev 6 m 0 s Success
file-sync 0.1.0 Deps Error
dev Deps Error
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.1 NC NC
3.3.0 NC NC
3.3.1 NC NC
3.4.0 NC NC
3.4.1 NC NC
3.4.2 NC NC
3.4.3 NC NC
4.0.0 NC NC
4.1.0 NC NC
4.1.1 NC NC
4.1.2 Error Error
4.1.3 Error Error
dev 2 m 0 s Success
flocq-quickchick 1.0.0 NC NC
1.0.1 NC NC
1.0.2 NC NC
flocq3 dev Error Error
formal-topology dev Error Error
formalv-check_range 1.0.0 NC NC
1.0.1 NC NC
1.1.0 NC NC
1.2.0 NC NC
formalv-prim63_mathcomp 1.0.0 NC NC
1.0.1 NC NC
1.1.0 NC NC
1.2.0 NC NC
formalv-time 1.0.0 NC NC
1.0.1 NC NC
1.1.0 NC NC
1.2.0 NC NC
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 NC NC
1.2.4 NC NC
1.2.5 NC NC
1.3.0 Deps Error
1.3.1 Deps Error
dev Deps Error
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 1 m 0 s Success
freesim 1.0.0 NC NC
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 1 m 0 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 0 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
1.12 NC NC
1.13 NC NC
gaia-hydras 0.5 NC NC
0.6 NC NC
0.9 NC NC
dev Deps Error
gaia-numbers 1.14 NC NC
1.15 NC NC
1.17 NC NC
2.0 NC NC
dev Deps Error
gaia-ordinals 1.14 NC NC
1.15 NC NC
1.17 NC NC
2.0 NC NC
dev Deps Error
gaia-schutte 1.14 NC NC
1.15 NC NC
1.17 NC NC
2.0 NC NC
dev Deps Error
gaia-stern 1.14 NC NC
1.15 NC NC
1.17 NC NC
2.0 NC NC
dev Deps Error
gaia-theory-of-sets 1.14 NC NC
1.15 NC NC
1.17 NC NC
2.0 NC NC
dev Deps Error
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.3 NC NC
1.4.4 NC NC
1.4.5 NC NC
1.4.6 NC NC
1.5.0 NC NC
1.5.1 NC NC
1.5.2 NC NC
1.5.3 NC NC
1.5.4 NC NC
dev Error Error
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 Deps Error
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 Error Error
giskard 1.0 NC NC
1.1 Error Error
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
8.13.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.9 Deps Error
0.9.1 NC NC
0.9.2 NC NC
0.9.3 NC NC
graph-theory-planar 0.9.2 NC NC
0.9.3 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
ground 0.01.0 Error Error
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 Error Error
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 1 m 0 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
1.3.1+8.10 NC NC
1.3.1+8.11 NC NC
1.3.1+8.12 NC NC
1.3.1+8.13 NC NC
1.3.2+8.10 NC NC
1.3.2+8.11 NC NC
1.3.2+8.12 NC NC
1.3.2+8.13 NC NC
1.3.2+8.14 NC NC
1.3.2+8.15 NC NC
1.3.2+8.16 NC NC
1.3.2+8.17 NC NC
1.3.2+8.18 NC NC
dev 1 m 0 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
1.3.1+8.10 NC NC
1.3.1+8.11 NC NC
1.3.1+8.12 NC NC
1.3.1+8.13 NC NC
1.3.2+8.10 NC NC
1.3.2+8.11 NC NC
1.3.2+8.12 NC NC
1.3.2+8.13 NC NC
1.3.2+8.14 NC NC
1.3.2+8.15 NC NC
1.3.2+8.16 NC NC
1.3.2+8.17 NC NC
1.3.2+8.18 NC NC
dev 1 m 0 s Success
hanoi 1.0.0 NC NC
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
haskell 1.0.0 Error Error
1.1.0 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 Error Error
hierarchy-builder 0.9.0 NC NC
0.9.1 NC NC
0.10.0 BL BL
1.0.0 BL BL
1.1.0 BL BL
1.2.0 Deps Error
1.2.1 Deps Error
1.3.0 Deps Error
1.4.0 Deps Error
1.5.0 Deps Error
1.6.0 Deps Error
dev Deps Error
hierarchy-builder-shim 1.1.0 1 m 0 s Success
1.2.0 1 m 0 s Success
1.4.0 Deps Error
1.6.0 Deps Error
high-school-geometry 1.0.0 NC NC
8.6.0 NC NC
8.11.0 NC NC
8.12.0 NC NC
8.13.0 NC NC
8.16.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 Error Error
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 Error Error
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 Error Error
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 1 m 0 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
hol-light 0.0.0 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 NC NC
8.12.dev NC NC
8.13 NC NC
8.13.dev NC NC
8.14 NC NC
8.15 NC NC
8.16 NC NC
8.17 NC NC
8.18 NC NC
dev 5 m 0 s Success
htt 1.0.0 Deps Error
1.1.0 Deps Error
1.2.0 Deps Error
1.3.0 NC NC
dev Deps Error
http 0.1.0 NC NC
0.1.2 NC NC
0.2.0 NC NC
0.2.1 Deps 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
8.13.0 NC NC
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
dev 1 m 0 s Success
hydra-battles 0.4 Error Error
0.5 NC NC
0.6 NC NC
0.9 NC NC
dev Error 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
idt 1.0.1 NC NC
1.1.0 NC NC
1.2.0 1 m 0 s Success
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 1 m 0 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
inconsequential_modus_ponens 1.0.5 1 m 0 s Success
1.0.6 1 m 0 s Success
inf-seq-ext dev 1 m 0 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 BL BL
0.3 NC NC
0.3.1 NC NC
0.3.2 BL BL
0.3.3 BL BL
0.3.4 Deps Error
0.3.5 Deps Error
0.3.6 Deps Error
0.3.7 NC NC
0.3.8 Deps Error
0.4.0 Deps Error
0.5.0 Deps Error
0.5.1 Deps Error
0.5.2 NC NC
0.6.0 NC NC
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.2 NC NC
4.0.0 NC NC
4.1.0 NC NC
4.1.1 NC NC
4.2.0 NC NC
4.3.0 NC NC
4.3.1 NC NC
4.4.0 NC NC
4.5.0 NC NC
4.5.1 NC NC
4.5.2 NC NC
4.6.0 NC NC
4.6.1 NC NC
4.7.0 NC NC
4.8.0 NC NC
4.8.1 Deps Error
4.9.0 Deps Error
dev Deps Error
intuitionistic-nuprl 8.6.0 NC NC
io 2.0.0 1 m 0 s Success
2.1.0 1 m 0 s Success
3.0.0 1 m 0 s Success
3.1.0 1 m 0 s Success
3.2.0 NC NC
3.3.0 NC NC
4.0.0 NC NC
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 NC NC
1.1.0 NC NC
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 Error Error
iris 3.0.0 Deps Error
3.1.0 Deps Error
3.2.0 Deps Error
3.3.0 Deps Error
3.4.0 Deps Error
3.5.0 Deps Error
3.6.0 Deps Error
4.0.0 Deps Error
4.1.0 Deps Error
iris-heap-lang 3.4.0 Deps Error
3.5.0 Deps Error
3.6.0 Deps Error
4.0.0 Deps Error
4.1.0 Deps Error
iris-string-ident 0.1.0 NC NC
itauto 8.13 NC NC
8.13+no NC NC
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
dev 3 m 0 s Success
iterable 1.0.0 1 m 0 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
5.0.0 NC NC
5.1.0 NC NC
5.1.1 NC NC
5.1.2 3 m 0 s Success
dev 3 m 0 s Success
itree-extra 5.0.0 Error Error
5.1.0 Error Error
5.1.2 2 m 0 s Success
itree-io 0.1.0 NC NC
0.1.1 1 m 0 s Success
dev 1 m 0 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 1 m 0 s Success
jmlcoq 8.12.0 NC NC
8.13.0 NC NC
8.15.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 1 m 0 s Success
3.0.0 1 m 0 s Success
json 0.1.0 1 m 0 s Success
0.1.1 1 m 0 s Success
0.1.2 1 m 0 s Success
kami 0.0.3-rv32i 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
katamaran 0.1.0 NC NC
0.2.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
kruskal-trees 1.0 NC NC
1.1 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 Error Error
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 Error Error
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 Deps Error
8.12.0 Deps Error
dev Deps Error
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 Error Error
1.0.2 Error Error
2.0.1 Error Error
2.0.2 Error Error
2.0.3 Error Error
2.0.4 1 m 0 s Success
2.0.5 1 m 0 s Success
2.0.6 1 m 0 s Success
2.0.7 1 m 0 s Success
2.0.8 1 m 0 s Success
dev 5 m 0 s Success
library-complexity 1.0+8.16 NC NC
library-fol 1.0+8.17 NC NC
1.0+8.18 NC NC
library-undecidability 1.0.0+8.12 NC NC
1.0.1+8.16 NC NC
1.1+8.16 NC NC
1.1+8.17 NC NC
1.1.1+8.18 NC NC
8.12.dev NC NC
libvalidsdp 0.5 NC NC
0.6.0 NC NC
0.7.0 NC NC
1.0.0 NC NC
1.0.1 NC NC
1.0.2 NC NC
dev Deps Error
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
linearscan 1.1.0 Deps Error
list-plus 1.0.0 1 m 0 s Success
1.1.0 1 m 0 s Success
list-string 1.0.0 NC NC
2.0.0 NC NC
2.1.0 NC NC
2.1.1 NC NC
2.1.2 1 m 0 s Success
lsp 0.1.2+8.17 NC NC
0.1.3+8.17 NC NC
0.1.4+8.17 NC NC
0.1.5+8.17 NC NC
0.1.6+8.17 NC NC
dev Deps Error
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
ltac2-compiler dev 1 m 0 s Success
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
8.13.0 NC NC
8.15.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
dev 3 m 0 s Success
mathcomp-abel 1.0.0 Deps Error
1.2.0 Deps Error
1.2.1 Deps Error
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 Deps Error
1.11.0 NC NC
1.12.0 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 2 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
mathcomp-algebra-tactics 0.1.0 NC NC
0.2.0 NC NC
0.3.0 NC NC
1.0.0 NC NC
1.1.0 NC NC
1.1.1 NC NC
1.2.0 NC NC
1.2.1 NC NC
1.2.2 NC NC
dev Deps Error
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 BL BL
0.3.6 Deps Error
0.3.7 Deps Error
0.3.8 Deps Error
0.3.9 Deps Error
0.3.10 Deps Error
0.3.11 Deps Error
0.3.12 Deps Error
0.3.13 Deps Error
0.4.0 BL BL
0.5.0 BL BL
0.5.1 BL BL
0.5.2 NC NC
0.5.3 Deps Error
0.5.4 Deps Error
0.6.0 Deps Error
0.6.1 Deps Error
0.6.2 Deps Error
0.6.3 Deps Error
0.6.4 NC NC
0.6.5 NC NC
0.6.6 NC NC
dev Deps Error
mathcomp-apery 1.0.1 NC NC
1.0.2 NC NC
mathcomp-bigenough 1.0.0 NC NC
1.0.1 1 m 0 s Success
dev 1 m 0 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 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 2 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
mathcomp-classical 0.6.0 Deps Error
0.6.1 Deps Error
0.6.2 Deps Error
0.6.3 Deps Error
0.6.4 NC NC
0.6.5 NC NC
0.6.6 NC NC
dev Deps Error
mathcomp-dioid 0.1 NC NC
0.2 BL BL
dev BL BL
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 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 3 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
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 Deps Error
1.11.0 NC NC
1.12.0 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 1 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
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 Deps Error
1.5.2 NC NC
2.0.0 Deps Error
dev Error Error
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 Deps Error
1.5.5 Deps Error
1.5.6 Deps Error
1.6.0 Deps Error
2.0.0 Deps Error
2.1.0 Deps Error
dev Deps Error
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 NC NC
1.13.0 NC NC
1.14.0 NC NC
2.0.0 Deps Error
dev Deps Error
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 Deps Error
1.1.3 Deps Error
1.1.4 NC NC
2.0.0 NC NC
dev Deps Error
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 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 4 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
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 Error Error
1.11.0 NC NC
1.12.0 NC NC
1.13.0 NC NC
1.14.0 NC NC
1.15.0 NC NC
1.16.0 NC NC
1.17.0 NC NC
1.18.0 NC NC
1.dev 2 m 0 s Success
2.0.0 NC NC
2.1.0 NC NC
dev Deps Error
mathcomp-sum-of-two-square 1.0.0 NC NC
1.0.1 NC NC
mathcomp-tarjan 1.0.0 Deps Error
1.0.1 NC NC
1.0.2 NC NC
dev Deps Error
mathcomp-word 1.1 NC NC
2.0 NC NC
2.1 NC NC
2.2 NC NC
3.0 NC NC
mathcomp-zify 1.0.0+1.12+8.13 NC NC
1.1.0+1.12+8.13 NC NC
1.2.0+1.12+8.13 NC NC
1.3.0+1.12+8.13 NC NC
1.4.0+2.0+8.16 NC NC
1.5.0+2.0+8.16 NC NC
dev Deps Error
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
matrix 1.0.2 Deps Error
1.0.3 Deps Error
1.0.4 NC NC
1.0.5 Error Error
menhirlib 20190613 NC NC
20190620 NC NC
20190626 NC NC
20190924 NC NC
20200123 NC NC
20200211 NC NC
20200525 NC NC
20200612 NC NC
20200619 NC NC
20200624 NC NC
20201122 NC NC
20201201 NC NC
20201214 NC NC
20201216 NC NC
20210310 Error Error
20210419 Error Error
20210928 Error Error
20210929 Error Error
20211012 Error Error
20211125 Error Error
20211128 Error Error
20211230 Error Error
20220210 Error Error
20230415 Error Error
20230608 Error Error
dev 2 m 0 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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev Deps Error
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-common 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 2 m 0 s Success
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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 9 m 0 s Success
metacoq-erasure-plugin 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 2 m 0 s Success
metacoq-pcuic 1.0~alpha1+8.8 NC NC
1.0~alpha1+8.9 NC NC
1.0~alpha2+8.10 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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 28 m 0 s Success
metacoq-quotation 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 16 m 0 s Success
metacoq-safechecker 1.0~alpha1+8.8 NC NC
1.0~alpha1+8.9 NC NC
1.0~alpha2+8.10 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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 10 m 0 s Success
metacoq-safechecker-plugin 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 1 m 0 s Success
metacoq-template 1.0~alpha1+8.8 NC NC
1.0~alpha1+8.9 NC NC
1.0~alpha2+8.10 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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 4 m 0 s Success
metacoq-template-pcuic 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 1 m 0 s Success
metacoq-translations 1.0~alpha1+8.8 NC NC
1.0~alpha1+8.9 NC NC
1.0~alpha2+8.10 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
1.0+8.14 NC NC
1.0+8.15 NC NC
1.0+8.16 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
1.1.1+8.14 NC NC
1.1.1+8.15 NC NC
1.1.1+8.16 NC NC
1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev Error Error
metacoq-utils 1.2+8.16 NC NC
1.2+8.17 NC NC
1.2.1+8.17 NC NC
1.2.1+8.18 NC NC
dev 1 m 0 s Success
metalib dev Error Error
mi-cho-coq 0.1 NC NC
1.0.0 NC NC
dev Deps Error
min-imports 1.0.0 1 m 0 s Success
1.0.1 1 m 0 s Success
1.0.2 1 m 0 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 1 m 0 s Success
mirror-core 1.0.1 NC NC
1.0.2 NC NC
mmaps 1.0 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 NC NC
1.2.0 NC NC
1.2.1 1 m 0 s Success
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 BL BL
0.3.3 BL BL
0.3.4 BL BL
0.4 NC NC
0.4.1 NC NC
0.4.2 NC NC
0.4.3 BL BL
0.4.4 NC NC
0.4.5 NC NC
0.5 NC NC
0.6.0 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
1.4+8.14 NC NC
1.4+8.15 NC NC
1.4+8.16 NC NC
1.4+8.17 NC NC
1.4+8.18 NC NC
dev 2 m 0 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 Error Error
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
neural-net-interp-computed dev 23 m 0 s Success
neural-net-interp-computed-lite dev 13 m 0 s Success
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
num-analysis 1.0.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
2.0.2 NC NC
2.0.3 NC NC
2.0.4 NC NC
2.0.5 NC NC
opam-website 1.0.0 NC NC
1.1.0 NC NC
1.2.0 BL BL
1.2.1 BL BL
1.3.0 BL BL
1.3.1 BL BL
1.3.2 BL BL
1.4.0 BL BL
operads 1.0.0 Error Error
1.1.0 Error Error
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
ordinal 0.5.0 NC NC
0.5.1 NC NC
0.5.2 NC NC
0.5.3 NC NC
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
0.32 Error Error
0.33 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 0 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
4.1.2 NC NC
4.2.0 NC NC
dev 1 m 0 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 Error Error
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 Error Error
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
1.1.3+coq8.10 NC NC
1.1.3+coq8.11 NC NC
1.1.3+coq8.12 NC NC
1.1.3+coq8.13 NC NC
1.1.3+coq8.14 NC NC
1.1.3+coq8.15 NC NC
1.1.3+coq8.16 NC NC
1.1.3+coq8.17 NC NC
1.1.3+coq8.18 NC NC
1.1.3+coq8.19 NC NC
dev 1 m 0 s Success
parsec 0.1.0 1 m 0 s Success
0.1.1 1 m 0 s Success
0.1.2 1 m 0 s Success
parseque 0.1.0 NC NC
0.1.1 NC NC
0.1.2 NC NC
0.2.0 NC NC
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 Error Error
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 Error Error
poltac 0.8.8 NC NC
0.8.11 NC NC
0.8.12 Error Error
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 Error Error
prosa 0.4 NC NC
0.5 NC NC
dev Deps Error
prosa-refinements dev Deps 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
8.13.0 NC NC
8.14.0 NC NC
8.18.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
2.1.1 NC NC
2.2.0 NC NC
quantumlib 1.1.0 Error Error
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
1.5.1 NC NC
1.6.0 NC NC
1.6.1 NC NC
1.6.2 NC NC
1.6.3 NC NC
1.6.4 NC NC
1.6.5 Error Error
2.0.0 NC NC
2.0.1 Error Error
8.8.dev NC NC
8.9.dev NC NC
8.10.dev NC NC
dev Error Error
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 Error Error
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 1 m 0 s Success
0.3.0 1 m 0 s Success
0.3.1 1 m 0 s Success
0.3.2 1 m 0 s Success
0.3.3 1 m 0 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 Error Error
0.1.3 Error Error
0.1.4 Error Error
0.1.5 1 m 0 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
regexp-brzozowski 1.0 NC NC
1.1 NC NC
1.2 Deps Error
reglang 1.0 NC NC
1.1 NC NC
1.1.1 NC NC
1.1.2 NC NC
1.1.3 NC NC
1.2.0 NC NC
dev Deps Error
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
1.7.6 NC NC
1.7.7 NC NC
1.7.8 NC NC
1.7.9 NC NC
1.7.10 NC NC
dev 2 m 0 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 Error Error
rewriter 0.0.2 NC NC
0.0.6 NC NC
0.0.7 NC NC
0.0.8 NC NC
0.0.9 NC NC
0.0.10 9 m 0 s Success
dev 9 m 0 s Success
rewriter-perf-Fast dev Error Error
rewriter-perf-Medium dev Error Error
rewriter-perf-Slow dev Error Error
rewriter-perf-SuperFast dev 18 m 0 s Success
rewriter-perf-VerySlow dev Error Error
riscv 0.0.2 Deps Error
0.0.3 Deps Error
0.0.4 Deps Error
robot 0.1 BL BL
rsa 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 Error Error
8.9.0 NC NC
8.10.0 NC NC
dev Error Error
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
rupicola 0.0.4 Deps Error
0.0.5 Deps Error
0.0.6 Deps Error
0.0.7 Deps Error
0.0.8 Deps Error
sail 0.16 NC NC
0.17.1 NC NC
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 NC NC
8.14.0 Error Error
serapi 8.14+rc1+0.14.0 NC NC
8.15+rc1+0.15.0 NC NC
8.16+rc1+0.16.0 NC NC
8.17+rc1+0.17.0 NC NC
8.17+rc1+0.17.1 NC NC
8.18+rc1+0.18.0 NC NC
8.19+rc1+0.19.0 NC NC
dev 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 Error Error
simple-io 0.1 1 m 0 s Success
0.2 1 m 0 s Success
1.0.0 1 m 0 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
1.6.0 NC NC
1.7.0 NC NC
1.8.0 NC NC
dev 1 m 0 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
smlms 1.0.0 Error Error
smpl 8.10.2 NC NC
8.11 NC NC
8.12 NC NC
8.12.0.1 NC NC
8.13 NC NC
8.14 NC NC
8.15 NC NC
8.16 NC NC
smt-check 1.0.0 NC NC
2.0.0 NC NC
smtcoq 2.0+8.11 NC NC
2.0+8.12 NC NC
2.0+8.13 NC NC
2.1+8.13 NC NC
2.1+8.14 NC NC
2.1+8.15 NC NC
2.1+8.16 NC NC
dev+8.13 NC NC
dev+8.14 NC NC
dev+8.15 NC NC
dev+8.16 NC NC
sniper 1.0+8.13 BL BL
1.1+8.13 BL BL
1.1+8.14 NC NC
1.1+8.15 NC NC
1.1+8.16 NC NC
dev+8.13 BL BL
dev+8.14 NC NC
dev+8.15 NC NC
dev+8.16 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 NC NC
8.13.0 NC NC
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
8.19.0 NC NC
stalmarck-tactic 8.13.0 NC NC
8.14.0 NC NC
8.15.0 NC NC
8.16.0 NC NC
8.17.0 NC NC
8.18.0 NC NC
8.19.0 NC NC
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 Error Error
1.6.0 Error Error
1.7.0 Error Error
1.8.0 Error Error
1.9.0 Error Error
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 Error Error
string 8.5.0 NC NC
8.6.0 NC NC
struct-tact dev 1 m 0 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 Error Error
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
8.16.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
1.0.6 1 m 0 s Success
tactician 1.0~beta1+8.11 NC NC
1.0~beta1+8.12 NC NC
1.0~beta1+8.13 NC NC
1.0~beta2+8.11 NC NC
1.0~beta2.1+8.12 NC NC
1.0~beta2.1+8.13 NC NC
1.0~beta2.1+8.14 NC NC
1.0~beta2.1+8.15 NC NC
1.0~beta2.1+8.16 NC NC
1.0~beta2.1+8.17 NC NC
1.0~beta2.1+8.18 NC NC
8.10.dev NC NC
8.11.dev NC NC
8.12.dev NC NC
8.13.dev NC NC
8.14.dev NC NC
8.15.dev NC NC
8.16.dev NC NC
8.17.dev NC NC
8.18.dev NC NC
dev 1 m 0 s Success
tactician-dummy 1.0~beta1 1 m 0 s Success
1.0~beta2+8.11 NC NC
1.0~beta2+8.17 1 m 0 s Success
8.6.dev NC NC
8.17.dev 1 m 0 s Success
tactician-stdlib 1.0~beta1+8.11 NC NC
1.0~beta1+8.12 NC NC
1.0~beta1+8.13 NC NC
1.0~beta2+8.11 NC NC
1.0~beta2+8.12 NC NC
1.0~beta2+8.13 NC NC
1.0~beta2+8.14 NC NC
1.0~beta2+8.15 NC NC
1.0~beta2+8.16 NC NC
8.10.dev NC NC
8.11.dev NC NC
8.12.dev NC NC
8.13.dev NC NC
8.14.dev NC NC
8.15.dev NC NC
8.16.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 Error Error
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 Error Error
20211215 Error Error
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
9.0.0 Deps Error
10.0.1 Deps Error
10.1.0 Error Error
10.2.0 Error Error
dev Deps Error
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
trakt 1.1 NC NC
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 1 m 0 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 0 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
1.6+8.14 NC NC
1.6+8.15 NC NC
1.6+8.16 NC NC
1.6+8.17 NC NC
1.6+8.18 NC NC
dev 1 m 0 s Success
unimath 20210807 Error Error
20220204 Error Error
20220816 1 h 6 m Success
20230321 1 h 39 m Success
20231010 1 h 33 m Success
dev 24 m 0 s 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
1.0.0 BL BL
1.0.1 NC NC
1.0.2 NC NC
dev Deps Error
vcfloat 2.1 NC NC
2.1.1 NC NC
verdi dev 2 m 0 s Success
verdi-raft dev 8 m 0 s Success
vlsm 1.0 NC NC
1.1 NC NC
1.2 NC NC
1.3 NC NC
dev Deps Error
void 0.1.0 NC NC
vst 2.2 NC NC
2.6 NC NC
2.7 NC NC
2.7.1 NC NC
2.8 NC NC
2.9 NC NC
2.9.1 NC NC
2.10 NC NC
2.11 NC NC
2.11.1 NC NC
2.12 NC NC
2.13 NC NC
dev 27 m 0 s Success
vst-32 2.7 NC NC
2.7.1 NC NC
2.8 NC NC
2.9 NC NC
2.9.1 NC NC
2.10 NC NC
2.11 NC NC
2.11.1 NC NC
2.12 NC NC
2.13 NC NC
dev NC NC
vst-64 2.6 NC NC
vst-iris 2.11.1 NC NC
dev Deps Error
vst-lib 2.12 NC NC
2.13 NC NC
vst-zlist 2.11 Error Error
2.12 1 m 0 s Success
2.13 NC NC
dev 1 m 0 s Success
wasm 0.1 NC NC
waterproof 1.0.0 NC NC
1.1.2 NC NC
1.2.4 NC NC
2.0.1+8.17 NC NC
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 Error Error
yalla 2.0.1 NC NC
2.0.2 NC NC
2.0.3 NC NC
2.0.4 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 1 m 0 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
9.0.0 Error Error
10.0.1 Error Error
10.1.0 1 m 0 s Success
10.2.0 1 m 0 s Success
dev Error Error
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