« Up

Released 965 packages

Linux, x86_64, OCaml 4.02.1, Opam 1.2.2

The best column is the best result obtained for each package. Colors:

  • Success
  • Not compatible with this Coq
  • Error with dependencies
  • Error
8.5.3 8.6.1 best
Name Version 274 246 400 48 257 260 402 46 464 55 399 50
aac-tactics 8.5.0 1 m 23 s NA Success
8.5.1 1 m 24 s NA Success
8.6.1 NA 1 m 17 s Success
8.8.0 Deps Deps Error
abp 8.5.0 1 m 9 s NA Success
8.6.0 NA 1 m 4 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
additions 8.5.0 1 m 30 s 1 m 24 s Success
8.6.0 NA 1 m 25 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ails 8.5.0 2 m 1 s 1 m 48 s Success
8.6.0 NA 1 m 48 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
algebra 8.5.0 2 m 19 s NA Success
8.6.0 NA 2 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
amm11262 8.5.0 1 m 16 s NA Success
8.6.0 NA 1 m 18 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
angles 8.5.0 1 m 7 s NA Success
8.6.0 NA 1 m 16 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
area-method 8.5.0 29 m 46 s NA Success
8.6.0 NA 29 m 11 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
atbr 8.5.0 14 m 53 s NA Success
8.6.0 NA 13 m 37 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
automata 8.5.0 1 m 11 s NA Success
8.6.0 NA 1 m 10 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
axiomatic-abp 8.5.0 1 m 7 s NA Success
8.6.0 NA 1 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
bbv 1.0 Deps Deps Error
1.1 Deps Deps Error
bdds 8.5.0 2 m 44 s NA Success
8.6.0 NA 2 m 22 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
bellantonicook 1.0.0 NA 2 m 38 s Success
bertrand 8.5.0 2 m 34 s NA Success
8.6.0 NA 2 m 25 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
bignums 8.6.0 NA 5 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
8.9.0 Deps Deps Error
buchberger 8.5.0 2 m 28 s NA Success
8.6.0 NA 2 m 21 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
canon-bdds 8.5.0 1 m 20 s NA Success
8.6.0 NA 1 m 16 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
cantor 8.5.0 2 m 9 s NA Success
8.6.0 NA 1 m 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
cats-in-zfc 8.5.0 5 m 55 s NA Success
8.6.0 NA 5 m 34 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ccs 8.5.0 54 s NA Success
8.6.0 NA 1 m 2 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
cecoa 1.0.0 NA 13 m 1 s Success
cfgv 8.5.0 7 m 58 s NA Success
8.6.0 NA 6 m 27 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
cfml 20180525 Lint Lint Error
20181201 Lint Lint Error
charge-core 1.0.0 NA NA NA
1.0.1 1 m 47 s 1 m 44 s Success
1.1.0 1 m 51 s NA Success
1.2.0 NA 1 m 46 s Success
checker 8.5.0 53 s NA Success
8.6.0 NA 53 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
chinese 8.5.0 1 m 11 s NA Success
8.6.0 NA 1 m 9 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
circuits 8.5.0 1 m 11 s NA Success
8.6.0 NA 1 m 15 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
classical-realizability 8.5.0 4 m 41 s NA Success
8.6.0 NA 4 m 41 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coalgebras 8.5.0 1 m 14 s NA Success
8.6.0 NA 1 m 13 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coinductive-examples 8.5.0 58 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coinductive-reals 8.5.0 6 m 18 s NA Success
8.6.0 NA 5 m 24 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
color 1.0.0 NA NA NA
1.1.0 NA NA NA
1.2.0 49 m 29 s NA Success
1.3.0 NA 38 m 39 s Success
1.4.0 Deps Deps Error
1.5.0 Deps Deps Error
1.6.0 Deps Deps Error
compcert 2.0.0 NA NA NA
2.3.2 NA NA NA
2.4.0 NA NA NA
2.5.0 NA NA NA
2.6.0 NA NA NA
2.7.1 56 m 0 s NA Success
3.0.0 1 h 7 m NA Success
3.0.1 NA NA NA
3.1.0 NA 48 m 1 s Success
3.2.0 NA 47 m 41 s Success
3.3.0 NA 49 m 7 s Success
concat 8.5.0 1 m 37 s NA Success
8.6.0 NA 1 m 35 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
concurrency-pluto 1.0.0 1 m 10 s NA Success
1.1.0 1 m 10 s NA Success
concurrency-proxy 1.0.0 1 m 0 s 54 s Success
concurrency-system 1.0.0 1 m 5 s NA Success
1.1.0 1 m 5 s NA Success
constructive-geometry 8.5.0 56 s NA Success
8.6.0 NA 58 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
constructors 1.0.0 NA NA NA
containers 8.5.0 7 m 56 s NA Success
8.6.0 NA 8 m 24 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
continuations 8.5.0 1 m 13 s NA Success
8.6.0 NA 1 m 16 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coq-in-coq 8.5.0 1 m 49 s NA Success
8.6.0 NA 1 m 50 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coq2html 1.0 53 s 55 s Success
1.1 57 s 54 s Success
coqeal-refinements 0.9.1 NA NA NA
coqeal-theory 0.9.1 NA NA NA
coqoban 8.5.0 1 m 1 s NA Success
8.6.0 NA 58 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
coqprime 1.0.0 7 m 41 s NA Success
1.0.1 Deps Deps Error
1.0.2 Deps Deps Error
1.0.3 Deps Deps Error
coqrel 0.1.0 1 m 15 s NA Success
coquelicot 2.0.1 NA NA NA
2.1.0 NA NA NA
2.1.1 6 m 1 s NA Success
2.1.2 6 m 1 s 4 m 31 s Success
3.0.2 6 m 10 s 4 m 29 s Success
corn 1.0.0 NA NA NA
1.1.0 NA NA NA
1.2.0 NA 1 h 26 m Success
8.8.1 NA 1 h 27 m Success
counting 8.5.0 58 s NA Success
8.6.0 NA 55 s Success
cours-de-coq 8.5.0 1 m 2 s NA Success
8.6.0 NA 1 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ctltctl 8.5.0 59 s NA Success
8.6.0 NA 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
cunit 1.0.0 53 s 58 s Success
cybele 1.3.0 1 m 8 s NA Success
dblib 8.5.0 1 m 33 s NA Success
8.6.0 NA 1 m 27 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
demos 8.5.0 59 s NA Success
8.6.0 NA 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
dep-map 8.5.0 1 m 17 s NA Success
8.6.0 NA 1 m 14 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
descente-infinie 8.5.0 57 s NA Success
8.6.0 NA 58 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
dictionaries 8.5.0 59 s NA Success
8.6.0 NA 1 m 2 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
disel 2.0 Deps Deps Error
2.1 Deps Deps Error
distributed-reference-counting 8.5.0 3 m 57 s NA Success
8.6.0 NA 3 m 15 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
domain-theory 8.5.0 1 m 2 s NA Success
8.6.0 NA 1 m 2 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
dpdgraph 0.4 56 s NA Success
0.5 58 s NA Success
0.5.1 57 s NA Success
0.6 58 s NA Success
0.6.1 NA 57 s Success
0.6.2 Deps Deps Error
0.6.3 Deps Deps Error
0.6.4 Deps Deps Error
equations 0.9~beta2 Deps Deps Error
1.0 NA 1 m 24 s Success
1.0+8.7 Deps Deps Error
1.0+8.8 Deps Deps Error
1.0~beta Deps Deps Error
1.0~beta2 NA 1 m 24 s Success
1.0~beta2+8.7 Deps Deps Error
1.1+8.8 Deps Deps Error
1.2~beta+8.8 Deps Deps Error
1.2~beta+8.9 Deps Deps Error
1.2~beta2+8.8 Lint Error
1.2~beta2+8.9 Lint Error
ergo 8.5.0 Uninstall NA Error
8.6.0 NA Uninstall Error
error-handlers 1.0.0 56 s 53 s Success
1.1.0 59 s 53 s Success
1.1.1 56 s 53 s Success
1.2.0 55 s 53 s Success
euclidean-geometry 8.5.0 3 m 38 s NA Success
8.6.0 NA 3 m 18 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
euler-formula 8.5.0 1 m 23 s NA Success
8.6.0 NA 1 m 23 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
exact-real-arithmetic 8.5.0 2 m 19 s NA Success
8.6.0 NA 1 m 57 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
exceptions 8.5.0 54 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ext-lib 0.10.0 Deps Deps Error
0.10.1 Deps Deps Error
0.9.0 NA NA NA
0.9.0~beta3 NA NA NA
0.9.1 NA NA NA
0.9.2 NA NA NA
0.9.3 2 m 28 s NA Success
0.9.4 2 m 44 s NA Success
0.9.5 NA 2 m 29 s Success
0.9.6 NA 2 m 19 s Success
0.9.7 Deps Deps Error
0.9.8 Deps Deps Error
extensible-records 1.0.0 1 m 3 s 56 s Success
1.1.0 1 m 1 s 56 s Success
1.2.0 1 m 3 s 56 s Success
extructures 0.1.0 Deps Deps Error
fairisle 8.5.0 3 m 51 s NA Success
8.6.0 NA 3 m 28 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
fcsl-pcm 1.0.0 Deps Deps Error
fermat4 8.5.0 1 m 41 s NA Success
8.6.0 NA 1 m 26 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
finger-tree 8.5.0 4 m 33 s NA Success
8.6.0 NA 4 m 21 s Success
8.7.0 Deps Deps Error
firing-squad 8.5.0 1 m 25 s NA Success
8.6.0 NA 1 m 21 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
float 8.5.0 3 m 57 s NA Success
8.6.0 NA 3 m 46 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
flocq 2.2.0 NA NA NA
2.3.0 NA NA NA
2.4.0 NA NA NA
2.5.2 4 m 27 s 3 m 32 s Success
2.6.1 4 m 40 s 3 m 35 s Success
3.0.0 Deps Deps Error
3.1.0 Deps Deps Error
force-84 1.0.0 NA NA NA
force-85 1.0.0 52 s NA Success
founify 8.5.0 1 m 6 s NA Success
8.6.0 NA 1 m 4 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
fpmods 0.2.0 NA NA NA
free-groups 8.5.0 54 s NA Success
8.6.0 NA 1 m 0 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
fsets 8.5.0 12 m 28 s NA Success
8.6.0 NA 7 m 27 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
fssec-model 8.5.0 2 m 7 s NA Success
8.6.0 NA 2 m 9 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
function-ninjas 1.0.0 57 s 56 s Success
functional-algebra 1.0.2 1 m 18 s 1 m 14 s Success
functions-in-zfc 8.5.0 59 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
fundamental-arithmetics 8.5.0 1 m 23 s NA Success
8.6.0 NA 1 m 15 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
gappa 1.2.1 2 m 25 s NA Success
1.3.2 2 m 24 s 2 m 3 s Success
1.3.3 2 m 24 s 2 m 3 s Success
1.3.4 2 m 24 s 2 m 3 s Success
1.4.0 Deps Deps Error
1.4.1 Lint Lint Error
gc 8.5.0 6 m 17 s NA Success
8.6.0 NA 6 m 9 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
generic-environments 8.5.0 1 m 1 s NA Success
8.6.0 NA 1 m 0 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
geocoq 1.0.1 NA NA NA
1.1.0 NA NA NA
2.0.0 NA NA NA
2.1.0 NA NA NA
2.2.0 1 h 18 m NA Success
2.2.1 1 h 51 m 1 h 52 m Success
2.3.0 Lint Lint Error
geometric-algebra 0.8.8 Deps Deps Error
goedel 8.5.0 5 m 29 s NA Success
8.6.0 NA 5 m 19 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
graph-basics 8.5.0 1 m 21 s NA Success
8.6.0 NA 1 m 25 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
graphs 8.5.0 1 m 7 s NA Success
8.6.0 NA 1 m 5 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
group-theory 8.5.0 1 m 6 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
groups 8.5.0 54 s NA Success
8.6.0 NA 57 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
hammer 1.0.3 NA 1 m 13 s Success
1.0.8+8.7 Deps Deps Error
1.0.9+8.8.0 Deps Deps Error
1.0.9+8.8.1 Deps Deps Error
1.1+8.8 Deps Deps Error
1.1+8.9 Deps Deps Error
hardware 8.5.0 1 m 51 s NA Success
8.6.0 NA 1 m 33 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
hedges 8.5.0 59 s NA Success
8.6.0 NA 1 m 10 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
high-school-geometry 1.0.0 16 m 54 s NA Success
8.6.0 NA 17 m 26 s Success
higman-cf 8.5.0 58 s NA Success
8.6.0 NA 58 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
higman-nw 8.5.0 1 m 3 s NA Success
8.6.0 NA 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
higman-s 8.5.0 1 m 10 s NA Success
8.6.0 NA 1 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
historical-examples 8.5.0 59 s NA Success
8.6.0 NA 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
hoare-tut 8.5.0 1 m 5 s NA Success
8.6.0 NA 1 m 0 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
huffman 8.5.0 1 m 52 s NA Success
8.6.0 NA 1 m 43 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
icharate 8.5.0 2 m 24 s NA Success
8.6.0 NA 2 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
idxassoc 8.5.0 55 s NA Success
8.6.0 NA 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ieee754 8.5.0 1 m 5 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
improper-integrals 0.1.0 Deps Deps Error
int-map 8.5.0 1 m 27 s NA Success
8.6.0 NA 1 m 22 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
interval 1.1.0 NA NA NA
2.0.0 Deps Deps Error
2.1.0 Deps Deps Error
2.2.0 Deps Deps Error
2.2.1 Error Error Error
3.1.1 6 m 5 s 4 m 28 s Success
3.2.0 6 m 12 s 4 m 29 s Success
3.3.0 6 m 13 s 4 m 34 s Success
3.4.0 Lint Lint Error
intuitionistic-nuprl 8.5.0 Error NA Error
8.6.0 NA Error Error
io 2.0.0 53 s 53 s Success
2.1.0 53 s 57 s Success
3.0.0 53 s 54 s Success
3.1.0 53 s 54 s Success
3.2.0 NA NA NA
3.3.0 1 m 3 s NA Success
io-evaluate 1.0.0 NA NA NA
io-exception 1.0.0 NA NA NA
1.1.0 NA NA NA
io-hello-world 1.0.0 55 s 58 s Success
1.1.0 56 s 58 s Success
io-list 1.0.0 54 s Uninstall Success
1.1.0 54 s Uninstall Success
io-system 2.0.0 NA NA NA
2.1.0 59 s 57 s Success
2.2.0 59 s 57 s Success
2.3.0 59 s 58 s Success
2.4.0 59 s NA Success
io-system-ocaml 2.0.0 52 s 53 s Success
2.1.0 56 s 52 s Success
2.2.0 56 s 52 s Success
2.3.0 56 s 53 s Success
ipc 8.5.0 1 m 44 s NA Success
8.6.0 NA 1 m 37 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
iris 3.0.0 33 m 23 s 24 m 58 s Success
3.1.0 NA 17 m 40 s Success
iterable 1.0.0 54 s 54 s Success
izf 8.5.0 56 s NA Success
8.6.0 NA 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
jordan-curve-theorem 8.5.0 14 m 23 s NA Success
8.6.0 NA 15 m 33 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
jprover 8.5.0 58 s NA Success
8.6.0 NA 1 m 2 s Success
jsast 1.0.7 Deps Deps Error
1.0.8 Deps Deps Error
karatsuba 8.5.0 1 m 18 s NA Success
8.6.0 NA 1 m 17 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
kildall 8.5.0 3 m 16 s NA Success
8.6.0 NA 2 m 43 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
label 1.0.0 Deps Deps Error
lambda 8.5.0 1 m 18 s NA Success
8.6.0 NA 1 m 10 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
lambek 8.5.0 1 m 7 s NA Success
8.6.0 NA 1 m 6 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
lazy-pcf 8.5.0 1 m 3 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
lc 8.5.0 1 m 3 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
legacy-ring 8.5.0 1 m 10 s NA Success
8.6.0 NA 1 m 13 s Success
lemma-overloading 8.8.0 Deps Deps Error
lesniewski-mereology 8.5.0 57 s NA Success
8.6.0 NA 1 m 0 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
libvalidsdp 0.5 Lint Lint Error
lin-alg 8.5.0 6 m 52 s NA Success
8.6.0 NA 6 m 51 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
list-plus 1.0.0 56 s 53 s Success
1.1.0 58 s 54 s Success
list-string 1.0.0 NA NA NA
2.0.0 1 m 11 s 1 m 4 s Success
2.1.0 1 m 10 s 1 m 5 s Success
2.1.1 1 m 6 s 1 m 4 s Success
ltac-iter 1.0.0 54 s Error Success
ltac2 0.1-8.7 Deps Deps Error
ltl 8.5.0 55 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
maple-mode 8.5.0 1 m 24 s NA Success
8.6.0 NA 1 m 17 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
markov 8.5.0 58 s NA Success
8.6.0 NA 57 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
math-classes 1.0.3 NA NA NA
1.0.4 13 m 19 s NA Success
1.0.5 14 m 12 s NA Success
1.0.6 NA 14 m 27 s Success
1.0.7 NA 13 m 4 s Success
8.8.1 NA 13 m 5 s Success
mathcomp-algebra 1.6 11 m 35 s NA Success
1.6.1 11 m 35 s 8 m 43 s Success
1.6.2 11 m 37 s 8 m 59 s Success
1.6.4 12 m 38 s 9 m 23 s Success
1.7.0 Lint Lint Error
mathcomp-bigenough 1.0.0 54 s 55 s Success
mathcomp-character 1.6 Deps NA Error
1.6.1 Deps Deps Error
1.6.2 Deps Deps Error
1.6.4 Deps Deps Error
1.7.0 Lint Lint Error
mathcomp-field 1.6 Deps NA Error
1.6.1 Deps 23 m 34 s Success
1.6.2 Deps 26 m 57 s Success
1.6.4 41 m 54 s 25 m 55 s Success
1.7.0 Lint Lint Error
mathcomp-fingroup 1.6 4 m 9 s NA Success
1.6.1 4 m 9 s 3 m 31 s Success
1.6.2 4 m 10 s 3 m 28 s Success
1.6.4 4 m 29 s 3 m 34 s Success
1.7.0 Lint Lint Error
mathcomp-finmap 1.0.0 Error 2 m 23 s Success
1.1.0 NA 2 m 31 s Success
mathcomp-multinomials 1.0 Lint Lint Error
1.1 Lint Lint Error
mathcomp-odd-order 1.6.1 Deps Deps Error
1.6.2 Deps Deps Error
1.7.0 NA Deps Error
mathcomp-real-closed 1.0.1 Lint Lint Error
mathcomp-solvable 1.6 13 m 35 s NA Success
1.6.1 13 m 17 s 9 m 58 s Success
1.6.2 12 m 27 s 9 m 44 s Success
1.6.4 12 m 42 s 9 m 43 s Success
1.7.0 Lint Lint Error
mathcomp-ssreflect 1.6 3 m 47 s NA Success
1.6.1 3 m 44 s 2 m 52 s Success
1.6.2 3 m 41 s 2 m 54 s Success
1.6.4 3 m 48 s 3 m 6 s Success
1.7.0 Lint Lint Error
mathcomp-sum-of-two-square 1.0.0 Deps Deps Error
1.0.1 Deps Deps Error
maths 8.5.0 1 m 5 s NA Success
8.6.0 NA 1 m 2 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
matrices 8.5.0 1 m 8 s NA Success
8.6.0 NA 1 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
menhirlib 20180530 Lint Lint Error
20180827 Lint Lint Error
min-imports 1.0.0 Uninstall Uninstall Error
1.0.1 Deps Deps Error
1.0.2 Deps Deps Error
mini-compiler 8.5.0 55 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
minic 8.5.0 1 m 18 s NA Success
8.6.0 NA 1 m 10 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
miniml 8.5.0 1 m 0 s NA Success
8.6.0 NA 1 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
mirror-core 1.0.0 NA NA NA
1.0.1 NA NA NA
1.0.2 Error NA Error
mod-red 8.5.0 1 m 48 s NA Success
8.6.0 NA 1 m 43 s Success
8.7.0 Deps Deps Error
moment 1.0.0 1 m 5 s 1 m 1 s Success
msets-extra 1.0.0 NA NA NA
1.1.0 1 m 47 s NA Success
mtac 1.3.0 1 m 22 s NA Success
mtac2 1.0.0+8.7 Deps Deps Error
1.0.1+8.8 Deps Deps Error
1.1+8.8 Deps Deps Error
1.1+8.9 Deps Deps Error
multiplier 8.5.0 56 s NA Success
8.6.0 NA 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
mutual-exclusion 8.5.0 55 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
nfix 8.5.0 1 m 0 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
of-ocaml 1.0.0 1 m 33 s NA Success
1.1.0 1 m 32 s NA Success
1.2.1 Deps Deps Error
opam-website 1.0.0 NA NA NA
1.1.0 NA NA NA
1.2.0 NA NA NA
1.2.1 NA NA NA
1.3.0 NA NA NA
1.3.1 NA NA NA
1.3.2 NA NA NA
1.4.0 NA NA NA
orb-stab 8.5.0 57 s NA Success
8.6.0 NA 57 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ott 0.26 1 m 15 s 1 m 12 s Success
0.27 1 m 16 s 1 m 11 s Success
0.28 1 m 16 s 1 m 11 s Success
otway-rees 8.5.0 1 m 9 s NA Success
8.6.0 NA 1 m 7 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
paco 1.2.8 Lint Lint Error
1.2.9 Lint Lint Error
2.0.0 Lint Lint Error
2.0.1 Lint Lint Error
2.0.2 Lint Lint Error
2.0.3 Lint Lint Error
2.1.0 Lint Error
paradoxes 8.5.0 56 s NA Success
8.6.0 NA 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
param-pi 8.5.0 1 m 10 s NA Success
8.6.0 NA 1 m 5 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
paramcoq 1.0.5 Deps Deps Error
1.0.6 Deps Deps Error
1.0.9 Deps Deps Error
1.1.0 Deps Deps Error
1.1.1+coq8.7 Lint Lint Error
1.1.1+coq8.8 Lint Lint Error
1.1.1+coq8.9 Lint Lint Error
pautomata 8.5.0 1 m 40 s NA Success
8.6.0 NA 1 m 38 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
persistent-union-find 8.5.0 1 m 52 s NA Success
8.6.0 NA 1 m 56 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
pi-agm 1.0.0 NA NA NA
1.1.0 Uninstall Uninstall Error
1.2.0 NA Uninstall Error
1.2.1 Deps Deps Error
1.2.2 Deps Deps Error
1.2.3 Deps Deps Error
pi-calc 8.5.0 3 m 45 s NA Success
8.6.0 NA 3 m 11 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
pigeonhole-principle 1.0.3 Deps Deps Error
1.0.4 Deps Deps Error
plouffe 1.0.0 NA NA NA
1.1.0 NA NA NA
1.2.0 4 m 41 s NA Success
1.2.1 7 m 40 s 7 m 17 s Success
1.3.0 NA 7 m 54 s Success
1.4.0 Deps Deps Error
plugin-utils 1.1.0 57 s NA Success
1.2.0 55 s NA Success
1.3.0 NA 54 s Success
pocklington 8.5.0 1 m 26 s NA Success
8.6.0 NA 1 m 17 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
poltac 0.8.8 Deps Deps Error
ppsimpl 1.0.0 Deps Deps Error
8.8.0 Deps Deps Error
presburger 8.5.0 2 m 23 s NA Success
8.6.0 NA 2 m 5 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
prfx 8.5.0 1 m 36 s NA Success
8.6.0 NA 1 m 29 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
procrastination 1.0 Error Error Error
1.1 Error Error Error
1.2 Error Error Error
projective-geometry 8.5.0 Error NA Error
8.6.0 NA Error Error
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
propcalc 8.5.0 1 m 4 s NA Success
8.6.0 NA 1 m 2 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
pts 8.5.0 1 m 25 s NA Success
8.6.0 NA 1 m 19 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ptsatr 8.5.0 2 m 21 s NA Success
8.6.0 NA 2 m 9 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ptsf 8.5.0 1 m 27 s NA Success
8.6.0 NA 1 m 23 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
qarith 8.5.0 1 m 3 s NA Success
8.6.0 NA 1 m 4 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
qarith-stern-brocot 8.5.0 6 m 42 s NA Success
8.6.0 NA 4 m 41 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
qcert 1.0.4 Deps Deps Error
1.0.5 Deps Deps Error
1.0.6 Deps Deps Error
1.0.7 Deps Deps Error
1.0.9 Deps Deps Error
1.1.0 Deps Deps Error
1.2.0 Deps Deps Error
quickchick 1.0.0 Lint Lint Error
1.0.1 Lint Lint Error
1.0.2 Lint Lint Error
quicksort-complexity 8.5.0 4 m 15 s NA Success
8.6.0 NA 3 m 39 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
railroad-crossing 8.5.0 1 m 4 s NA Success
8.6.0 NA 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ramsey 8.5.0 53 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
random 8.5.0 2 m 23 s NA Success
8.6.0 NA 2 m 19 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
rational 8.5.0 1 m 35 s NA Success
8.6.0 NA 1 m 23 s Success
recursive-definition 8.5.0 1 m 19 s NA Success
8.6.0 NA 1 m 8 s Success
reflexive-first-order 8.5.0 1 m 35 s NA Success
8.6.0 NA 1 m 17 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
regexp 8.5.0 1 m 7 s NA Success
8.6.0 NA 1 m 8 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
reglang 1 NA 2 m 20 s Success
relation-algebra 1.3 NA NA NA
1.4 NA NA NA
1.5 NA NA NA
1.6 8 m 53 s NA Success
1.7 Deps Deps Error
1.7.1 Lint Lint Error
relation-extraction 8.5.0 57 s NA Success
8.6.0 NA 57 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
rem 8.5.0 54 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
rsa 8.5.0 1 m 4 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
ruler-compass-geometry 8.5.0 2 m 27 s NA Success
8.6.0 NA 2 m 23 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
scev 1.0.1 Lint Lint Error
schroeder 8.5.0 57 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
search-trees 8.5.0 1 m 3 s NA Success
8.6.0 NA 1 m 6 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
semantics 8.5.0 2 m 26 s NA Success
8.6.0 NA 2 m 14 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
shuffle 8.5.0 55 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
simple-io 0.1 Deps Deps Error
0.2 Error 56 s Success
1.0.0 Deps Deps Error
smc 8.5.0 2 m 14 s NA Success
8.6.0 NA 1 m 53 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
smt-check 1.0.0 55 s NA Success
2.0.0 55 s NA Success
square-matrices 8.5.0 54 s NA Success
8.6.0 NA 54 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
squiggle-eq 1.0.1 10 m 21 s NA Success
1.0.2 NA 14 m 33 s Success
1.0.3 Deps Deps Error
1.0.4 Deps Deps Error
ssreflect 1.5.0 NA NA NA
1.5.1~beta2 Deps Deps Error
stalmarck 8.5.0 Error NA Error
8.6.0 NA 3 m 18 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
stdpp 1.0.0 6 m 28 s 4 m 43 s Success
1.1.0 NA 4 m 55 s Success
streams 8.5.0 56 s NA Success
8.6.0 NA 55 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
string 8.5.0 1 m 2 s NA Success
8.6.0 NA 1 m 1 s Success
subst 8.5.0 1 m 32 s NA Success
8.6.0 NA 1 m 26 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
sudoku 8.5.0 2 m 43 s NA Success
8.6.0 NA 2 m 32 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
sum-of-two-square 8.5.0 1 m 54 s NA Success
8.6.0 NA 1 m 45 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
switch 1.0.0 Deps Deps Error
tait 8.5.0 1 m 57 s NA Success
8.6.0 NA 1 m 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
tarski-geometry 8.5.0 2 m 0 s NA Success
8.6.0 NA 2 m 38 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
template-coq 1.0.0~beta2 Deps Deps Error
1.1.0~beta2 Deps Deps Error
1.1.0~beta3 57 s NA Success
2.0~beta Deps Deps Error
2.1~beta Deps Deps Error
2.1~beta3 Deps Deps Error
three-gap 8.5.0 1 m 16 s NA Success
8.6.0 NA 1 m 13 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
tlc 20161010 5 m 39 s NA Success
20171128 NA 3 m 58 s Success
20171206 NA 4 m 2 s Success
20180316 NA 4 m 11 s Success
20181116 Lint Lint Error
topology 8.5.0 3 m 5 s NA Success
8.6.0 NA 2 m 18 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
tortoise-hare-algorithm 8.5.0 55 s NA Success
8.6.0 NA 59 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
traversable-fincontainer 8.5.0 59 s NA Success
8.6.0 NA 1 m 3 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
tree-automata 8.5.0 2 m 17 s NA Success
8.6.0 NA 2 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
tree-diameter 8.5.0 1 m 1 s NA Success
8.6.0 NA 1 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
unicoq 1.0.0 57 s NA Success
1.3+8.6 NA 1 m 0 s Success
1.3+8.7 Deps Deps Error
1.3+8.8 Deps Deps Error
1.3+8.9 Deps Deps Error
unimath-category-theory 0.1.0 2 m 56 s Deps Success
unimath-dedekind 0.1.0 9 m 35 s Deps Success
unimath-foundations 0.1.0 9 m 52 s Error Success
unimath-ktheory 0.1.0 3 m 57 s Deps Success
unimath-substitution-systems 0.1.0 19 m 3 s Deps Success
unimath-tactics 0.1.0 59 s Deps Success
universe-comparator 1.0.1 Deps Deps Error
1.1.0 1 m 1 s NA Success
vst 2.2 Deps Deps Error
weak-up-to 8.5.0 1 m 1 s NA Success
8.6.0 NA 1 m 1 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
zchinese 8.5.0 1 m 2 s NA Success
8.6.0 NA 1 m 5 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
zf 8.5.0 1 m 10 s NA Success
8.6.0 NA 1 m 25 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
zfc 8.5.0 1 m 5 s NA Success
8.6.0 NA 1 m 5 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
zorns-lemma 8.5.0 1 m 28 s NA Success
8.6.0 NA 1 m 20 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error
zsearch-trees 8.5.0 1 m 0 s NA Success
8.6.0 NA 58 s Success
8.7.0 Deps Deps Error
8.8.0 Deps Deps Error