« Up

Extra-dev 1297 packages

Linux, x86_64, OCaml 4.04.2, Opam 2.0.5

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
8.11.dev summary
Name Version 1227 58 7 5 1227 58 7 5
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
dev NC NC
abp 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
additions 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
ails 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
algebra 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
amm11262 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
angles 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
area-method 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
atbr 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
8.9.0 NC NC
automata 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
axiomatic-abp 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
bbv 1.0 NC NC
1.1 NC NC
bdds 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
bedrock2 dev 14 m 0 s Success
bellantonicook 1.0.0 NC NC
bertrand 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
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.dev 2 m 0 s Success
dev NC NC
buchberger 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
canon-bdds 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
cantor 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
cats-in-zfc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
ccs 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
cecoa 1.0.0 NC NC
ceres 0.1.0 NC NC
dev 1 m 0 s Success
cfgv 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
cfml 20180525 NC NC
20181201 Error Error
chapar 8.9.0 NC NC
8.10.0 NC NC
dev NC NC
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
dev NC NC
cheerios dev NC NC
chick-blog 1.0.0 NC NC
chinese 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
circuits 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
classical-realizability 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
coalgebras 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
coinductive-examples 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
coinductive-reals 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
8.7.dev NC NC
dev 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.6 Error Error
8.7.dev NC NC
8.8.dev NC NC
dev NC NC
concat 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
concurrency-pluto 1.0.0 NC NC
1.1.0 NC NC
concurrency-proxy 1.0.0 1 m 0 s Success
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
dev NC NC
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
continuations 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
coq2html 1.0 1 m 0 s Success
1.1 1 m 0 s Success
coqeal 1.0.0 NC NC
1.0.1 NC NC
coqeal-refinements 0.9.1 NC NC
coqeal-theory 0.9.1 NC NC
coqide 8.5~beta1 NC NC
8.5~beta2 NC NC
8.5~beta3 NC NC
8.6~beta1 NC NC
coqoban 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
coqprime 1.0.0 NC NC
1.0.1 NC NC
1.0.2 NC NC
1.0.3 4 m 0 s Success
dev 4 m 0 s Success
coqrel 0.1.0 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
dev NC NC
coqutil 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
dev NC NC
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
dev NC NC
ctltctl 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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 NC NC
demos 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
dep-map 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
deriving dev NC NC
descente-infinie 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dictionaries 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
disel 2.0 NC NC
2.1 NC NC
dev NC NC
disel-examples 2.1 NC NC
dev NC NC
distributed-reference-counting 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
domain-theory 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
elpi 1.0.0 NC NC
1.1.0 NC NC
1.2.0 NC NC
v0.1.1.dev NC NC
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
8.7.dev NC NC
8.8.dev NC NC
dev NC NC
dev+HoTT NC NC
equations-fpred 1.0.1.dev Deps Error
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
euler-formula 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
exact-real-arithmetic 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
exceptions 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
dev 1 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 NC NC
0.2.0 NC NC
0.2.1 NC NC
dev NC NC
fairisle 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
fcsl-pcm 1.0.0 NC NC
1.1.0 NC NC
dev NC NC
fermat4 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
fiat-core dev NC NC
fiat-crypto dev Error Error
fiat-crypto-legacy 8.7.dev NC NC
8.8.dev NC NC
8.9.dev NC NC
dev NC NC
fiat-parsers 8.7.dev NC NC
dev NC NC
finger-tree 8.5.0 NC NC
8.6.0 NC NC
8.7.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
float 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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 7 m 0 s Success
8.7.dev NC NC
dev NC NC
flocq-quickchick 1.0.0 NC NC
1.0.1 NC NC
formal-topology dev NC NC
founify 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
fourcolor 1.2 NC NC
dev NC NC
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
dev NC NC
fsets 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
function-ninjas 1.0.0 1 m 0 s Success
functional-algebra 1.0.2 1 m 0 s Success
functions-in-zfc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
fundamental-arithmetics 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev 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
gc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
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 NC NC
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 Error Error
goedel 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
graph-basics 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
graphs 8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
group-theory 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
groups 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
8.10.dev NC NC
dev NC NC
hammer-tactics 1.1.1+8.9 NC NC
1.1.1+8.10 NC NC
8.10.dev NC NC
dev NC NC
hardware 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
hedges 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
high-school-geometry 1.0.0 NC NC
8.6.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
dev NC NC
higman-nw 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
higman-s 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
historical-examples 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
hoare-tut 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
hott 8.7.dev NC NC
8.8.dev NC NC
8.9.dev NC NC
8.10.dev NC NC
dev NC NC
huffman 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
8.9.0 NC NC
dev NC NC
icharate 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
idxassoc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
ieee754 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
improper-integrals 0.1.0 NC NC
inf-seq-ext dev NC NC
infotheo 0.0.1 NC NC
0.0.3 NC NC
0.0.4 NC NC
0.0.5 NC NC
int-map 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
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 1 m 0 s Success
io-evaluate 1.0.0 NC NC
io-exception 1.0.0 NC NC
1.1.0 NC NC
io-hello-world 1.0.0 NC NC
1.1.0 NC NC
1.2.0 1 m 0 s Success
io-list 1.0.0 1 m 0 s Success
1.1.0 1 m 0 s Success
io-system 2.0.0 NC NC
2.1.0 1 m 0 s Success
2.2.0 1 m 0 s Success
2.3.0 1 m 0 s Success
2.4.0 NC NC
2.4.1 1 m 0 s Success
io-system-ocaml 2.0.0 1 m 0 s Success
2.1.0 1 m 0 s Success
2.2.0 1 m 0 s Success
2.3.0 1 m 0 s Success
2.3.1 1 m 0 s Success
ipc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
iris 3.0.0 NC NC
3.1.0 NC NC
3.2.0 NC NC
iterable 1.0.0 1 m 0 s Success
itree 1.0.0 NC NC
2.0.0 NC NC
dev NC NC
izf 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev 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
dev NC NC
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
karatsuba 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
kildall 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
label 1.0.0 NC NC
lambda 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
lambek 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
lc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
lesniewski-mereology 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
libhyps 1.0.0 NC NC
libvalidsdp 0.5 NC NC
0.6.0 NC NC
dev NC NC
lin-alg 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
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 1 m 0 s Success
2.1.0 1 m 0 s Success
2.1.1 1 m 0 s Success
2.1.2 1 m 0 s Success
ltac-iter 1.0.0 NC NC
1.1.0 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 NC NC
ltl 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
markov 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
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
dev NC NC
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
dev NC NC
mathcomp-analysis 0.1.0 NC NC
0.2.0 NC NC
0.2.2 NC NC
dev NC NC
mathcomp-bigenough 1.0.0 NC NC
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
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
dev NC NC
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
dev NC NC
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
dev NC NC
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.x.dev NC NC
mathcomp-odd-order 1.6.1 NC NC
1.6.2 NC NC
1.7.0 NC NC
dev NC NC
mathcomp-real-closed 1.0.1 NC NC
1.0.2 NC NC
1.0.3 NC NC
dev NC NC
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
dev NC NC
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
dev NC NC
mathcomp-sum-of-two-square 1.0.0 NC NC
1.0.1 NC NC
maths 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
matrices 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
menhirlib 20180530 NC NC
20180827 1 m 0 s Success
20190613 NC NC
20190620 NC NC
20190626 NC NC
20190924 1 m 0 s Success
metacoq 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-checker 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-erasure 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-pcuic 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-safechecker 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-template 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metacoq-translations 1.0~alpha+8.8 NC NC
1.0~alpha+8.9 NC NC
8.8.dev NC NC
metalib dev 1 m 0 s Success
mi-cho-coq dev NC NC
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
dev NC NC
minic 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
miniml 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
mirror-core 1.0.1 NC NC
1.0.2 NC NC
mod-red 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
dev NC NC
moment 1.0.0 NC NC
monae 0.0.1 NC NC
0.0.2 NC NC
0.0.3 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
multiplier 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
mutual-exclusion 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
nfix 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
of-ocaml 1.1.1 NC NC
1.2.1 1 m 0 s Success
opam-website 1.0.0 NC NC
1.1.0 NC NC
1.2.0 NC NC
1.2.1 NC NC
1.3.0 NC NC
1.3.1 NC NC
1.3.2 NC NC
1.4.0 NC NC
orb-stab 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev Deps Error
ott 0.26 NC NC
0.27 NC NC
0.28 NC NC
0.29 NC NC
0.30 1 m 0 s Success
dev 1 m 0 s Success
otway-rees 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
dev NC NC
paradoxes 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
param-pi 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
paramcoq 1.0.5 NC NC
1.0.6 NC NC
1.0.9 NC NC
1.1.0 NC NC
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
dev NC NC
pautomata 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
performance-tests dev Deps Error
persistent-union-find 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
pi-calc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
poltac 0.8.8 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
prfx 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
printf 1.0.0 NC NC
probhash 0.0.1 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
propcalc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
pts 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
ptsatr 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
ptsf 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
qarith 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
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
quickchick 1.0.0 NC NC
1.0.1 NC NC
1.0.2 NC NC
1.1.0 NC NC
8.8.dev NC NC
8.9.dev NC NC
8.10.dev NC NC
dev NC NC
quicksort-complexity 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
railroad-crossing 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
ramsey 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
random 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
rational 8.5.0 NC NC
8.6.0 NC NC
recursive-definition 8.5.0 NC NC
8.6.0 NC NC
reduction-effects 0.1.0 NC NC
0.1.1 NC NC
reflexive-first-order 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
regexp 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
reglang 1 NC NC
1.1 NC NC
relation-algebra 1.3 NC NC
1.4 NC NC
1.5 NC NC
1.6 NC NC
1.7 NC NC
1.7.1 NC NC
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
dev NC NC
rewriter dev 7 m 0 s Success
rewriter-perf dev Deps Error
rewriter-perf-extra dev Deps Error
rsa 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 1 m 0 s Success
dev NC NC
ruler-compass-geometry 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev 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
search-trees 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
semantics 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
sf-plf 8.7.dev NC NC
dev NC NC
shuffle 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
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
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
dev NC NC
smt-check 1.0.0 NC NC
2.0.0 NC NC
smtcoq dev NC NC
square-matrices 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
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
stdpp 1.0.0 NC NC
1.1.0 NC NC
1.2.0 NC NC
1.2.1 NC NC
streams 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
string 8.5.0 NC NC
8.6.0 NC NC
struct-tact dev NC NC
subst 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
sudoku 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
switch 1.0.0 NC NC
1.0.1 NC NC
tait 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
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
dev NC NC
tlc 20161010 NC NC
20171128 NC NC
20171206 NC NC
20180316 NC NC
20181116 1 m 0 s Success
topology 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
tortoise-hare-algorithm 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
traversable-fincontainer 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
tree-automata 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
tree-diameter 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
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
unimath dev NC NC
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
dev NC NC
verdi dev NC NC
verdi-raft dev NC NC
void 0.1.0 NC NC
vst 2.2 NC NC
8.7.dev NC NC
dev Deps Error
weak-up-to 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
zchinese 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
zf 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC
zfc 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.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
dev NC NC
zsearch-trees 8.5.0 NC NC
8.6.0 NC NC
8.7.0 NC NC
8.8.0 NC NC
dev NC NC

Sources are on GitHub © Guillaume Claret 🐣