« Up

Extra-dev 2990 packages

Linux, x86_64, OCaml 5.0.0, Opam 2.1.5

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
dev summary
Name Version 2462 100 280 147 2462 100 280 147
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 2 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 Deps Error
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 Deps Error
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 Deps Error
dev Deps Error
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 Uninstall Error
dev Uninstall Error
certicoq 0.9~beta+8.14 NC NC
dev 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 6 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 Deps Error
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 Deps Error
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 Deps Error
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 Deps Error
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 Deps Error
1.1.1 Deps Error
1.2.0 NC NC
1.3.0 NC NC
1.4.0 NC NC
dev Deps Error
coqprime-generator 1.1.1 Error Error
dev Error Error
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 Deps Error
3.4.0 Deps 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 Deps Error
dev Deps Error
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 Deps Error
0.1.1 Deps Error
0.2.0 Deps Error
dev Deps 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 Deps Error
diqt 1.0.0 1 m 0 s Success
disel 2.0 NC NC
2.1 NC NC
2.2 NC NC
2.3 Deps Error
dev Deps Error
disel-examples 2.1 NC NC
2.2 NC NC
2.3 Deps Error
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
2.0.1 NC NC
dev 2 m 0 s Success
engine-bench dev 7 m 0 s Success
engine-bench-lite dev 7 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
1.3+8.19 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 3 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 Deps Error
fiat-crypto-legacy dev Deps Error
fiat-crypto-legacy-extra dev Deps Error
fiat-crypto-with-bedrock dev Deps Error
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 Deps Error
1.0.2 NC NC
flocq3 dev Error Error
formal-topology dev Deps 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 Deps 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
graph2tac 1.0.anon 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 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
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 NC NC
1.0.0 NC NC
1.1.0 NC NC
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
1.7.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 4 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 Uninstall Error
hydra-battles 0.4 Deps Error
0.5 NC NC
0.6 NC NC
0.9 NC NC
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
idt 1.0.1 NC NC
1.1.0 NC NC
1.2.0 Deps Error
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 NC NC
0.3 NC NC
0.3.1 NC NC
0.3.2 NC NC
0.3.3 NC NC
0.3.4 Deps Error
0.3.5 Deps Error
0.3.6 Deps Error
0.3.7 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 Deps Error
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
8.19.0 NC NC
dev 2 m 0 s Success
iterable 1.0.0 Deps Error
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 Deps Error
dev Deps Error
itree-extra 5.0.0 Deps Error
5.1.0 Deps Error
5.1.2 Deps Error
itree-io 0.1.0 NC NC
0.1.1 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 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 Deps Error
0.1.1 Deps Error
0.1.2 Deps Error
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 1 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 Deps Error
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 Error 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 Deps Error
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 Deps Error
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 NC NC
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 NC NC
0.5.0 NC NC
0.5.1 NC NC
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
0.6.7 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 Deps Error
dev Deps Error
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 Deps Error
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
0.6.7 NC NC
dev Deps Error
mathcomp-dioid 0.1 NC NC
0.2 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 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 Deps Error
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 Deps Error
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 Deps Error
mathcomp-grobner dev Deps Error
mathcomp-multinomials 1.0 NC NC
1.1 Deps Error
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 Deps Error
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 1 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
20231231 1 m 0 s Success
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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 Deps Error
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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
8.17.dev NC NC
dev Deps Error
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 Deps 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
8.17.dev NC NC
dev Deps Error
metalib dev Error Error
mi-cho-coq 0.1 NC NC
1.0.0 NC NC
dev Deps Error
min-imports 1.0.0 NC NC
1.0.1 NC NC
1.0.2 NC NC
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
1.1 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 Deps 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
0.3.3 BL BL
0.3.4 NC NC
0.4 NC NC
0.4.1 NC NC
0.4.2 NC NC
0.4.3 NC NC
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 Deps Error
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 25 m 0 s Success
neural-net-interp-computed-lite dev 8 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 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
operads 1.0.0 Deps Error
1.1.0 Deps 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 Deps Error
0.1.1 Deps Error
0.1.2 Deps Error
parseque 0.1.0 NC NC
0.1.1 NC NC
0.1.2 NC NC
0.2.0 NC NC
0.2.1 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 Deps Error
2.0.0 NC NC
2.0.1 Deps Error
2.0.2 Deps Error
8.8.dev NC NC
8.9.dev NC NC
8.10.dev NC NC
dev Deps 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 8 m 0 s Success
dev 7 m 0 s Success
rewriter-perf-Fast dev Deps Error
rewriter-perf-Medium dev Deps Error
rewriter-perf-Slow dev Deps Error
rewriter-perf-SuperFast dev Deps Error
rewriter-perf-VerySlow dev Deps Error
riscv 0.0.2 Deps Error
0.0.3 Deps Error
0.0.4 Deps Error
robot 0.1 NC NC
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 2 m 0 s Success
sf-plf 8.7.dev NC NC
dev 1 m 0 s Success
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 Deps Error
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 Deps Error
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 NC NC
1.1+8.13 NC NC
1.1+8.14 NC NC
1.1+8.15 NC NC
1.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
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 Deps Error
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~neural+8.11 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 Deps Error
tactician-api 15.0+8.11 NC NC
tactician-dummy 1.0~beta1 Uninstall Error
1.0~beta2+8.11 NC NC
1.0~beta2+8.17 Deps Error
8.6.dev NC NC
8.17.dev Deps Error
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
text2tac 1.0 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 Deps Error
10.2.0 Deps 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 Deps Error
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 2 m 0 s Success
unimath 20210807 Error Error
20220204 Error Error
20220816 54 m 0 s Success
20230321 1 h 17 m Success
20231010 1 h 21 m Success
dev 21 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 NC NC
1.0.1 NC NC
1.0.2 NC NC
dev NC NC
vcfloat 2.1 NC NC
2.1.1 NC NC
verdi dev Deps Error
verdi-raft dev Deps Error
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 Deps Error
vst-32 2.7 NC NC
2.7.1 NC NC
2.8 NC NC
2.9 NC NC
2.9.1 NC NC
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 Uninstall Error
10.2.0 Uninstall Error
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