« Up

Released 304 packages

Linux, x86_64, OCaml 4.03.0, 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.4.dev 8.5.0 8.5.1 8.5.2 8.5.3 8.5.dev 8.6 8.6.1 8.6.dev dev best
Name Version 55 229 27 61 210 28 2 64 238 49 4 78 238 47 4 80 239 49 5 80 238 50 5 80 68 220 11 74 67 220 11 74 67 220 11 74 42 232 20 78 268 8 16 83
aac-tactics 8.5.0 NA 46 s 1 m 3 s 1 m 3 s 1 m 9 s 1 m 9 s NA NA NA NA Success
8.5.1 NA 47 s 1 m 3 s 1 m 1 s 1 m 9 s 1 m 10 s NA NA NA NA Success
8.6.1 NA NA NA NA NA 1 m 0 s 1 m 0 s 1 m 0 s NA Success
abp 8.5.0 NA 28 s 48 s 48 s 50 s 50 s NA NA NA NA Success
additions 8.5.0 NA 1 m 1 s 1 m 22 s 1 m 23 s 1 m 24 s 1 m 24 s 1 m 17 s 1 m 14 s 1 m 14 s Error Success
ails 8.5.0 NA 1 m 44 s 1 m 57 s 1 m 48 s 1 m 59 s 1 m 58 s 1 m 44 s 1 m 38 s 1 m 36 s Error Success
algebra 8.5.0 NA 1 m 56 s 2 m 14 s 2 m 2 s 2 m 15 s 2 m 14 s NA NA NA NA Success
amm11262 8.5.0 NA 44 s 1 m 2 s 59 s 1 m 4 s 1 m 2 s NA NA NA NA Success
angles 8.5.0 NA 34 s 51 s 51 s 52 s 52 s NA NA NA NA Success
area-method 8.5.0 NA Error 28 m 3 s 27 m 32 s 27 m 51 s 27 m 35 s NA NA NA NA Success
atbr 8.5.0 NA 17 m 5 s 14 m 45 s 15 m 5 s 14 m 53 s 14 m 52 s NA NA NA NA Success
automata 8.5.0 NA 38 s 57 s 57 s 1 m 4 s 1 m 5 s NA NA NA NA Success
axiomatic-abp 8.5.0 NA 34 s 52 s 52 s 58 s 57 s NA NA NA NA Success
bdds 8.5.0 NA 2 m 37 s 2 m 47 s 2 m 45 s 2 m 45 s 2 m 45 s NA NA NA NA Success
bertrand 8.5.0 NA 2 m 9 s 2 m 8 s 2 m 17 s 2 m 20 s 2 m 21 s NA NA NA NA Success
bignums 8.6.0 NA NA NA NA NA 4 m 53 s 4 m 51 s 4 m 49 s NA Success
8.7.0 NA NA NA NA NA NA NA NA
buchberger 8.5.0 NA 2 m 11 s 2 m 23 s 2 m 24 s 2 m 26 s 2 m 25 s NA NA NA NA Success
canon-bdds 8.5.0 NA 46 s 1 m 5 s 1 m 6 s 1 m 9 s 1 m 9 s NA NA NA NA Success
cantor 8.5.0 NA 1 m 48 s 1 m 52 s 1 m 59 s 2 m 1 s 2 m 0 s NA NA NA NA Success
cats-in-zfc 8.5.0 NA 5 m 53 s 5 m 19 s 5 m 22 s 5 m 22 s 5 m 21 s NA NA NA NA Success
ccs 8.5.0 NA 17 s 37 s 36 s 38 s 38 s NA NA NA NA Success
cfgv 8.5.0 NA 8 m 46 s 7 m 31 s 7 m 12 s 7 m 14 s 7 m 13 s NA NA NA NA Success
charge-core 1.0.0 NA Error NA NA NA NA NA NA NA NA Error
1.0.1 NA NA Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Error Error
1.1.0 NA NA Uninstall Uninstall Uninstall Uninstall Error Error Error Error Error
1.2.0 NA NA NA NA NA Uninstall Uninstall Uninstall NA Error
checker 8.5.0 NA 16 s 36 s 37 s 38 s 38 s NA NA NA NA Success
chinese 8.5.0 NA 38 s 58 s 59 s 59 s 59 s NA NA NA NA Success
circuits 8.5.0 NA 36 s 58 s 1 m 3 s 1 m 0 s 1 m 0 s NA NA NA NA Success
classical-realizability 8.5.0 NA 4 m 55 s 4 m 35 s 4 m 49 s 4 m 52 s 4 m 50 s NA NA NA NA Success
coalgebras 8.5.0 NA 39 s 1 m 0 s 1 m 0 s 1 m 6 s 1 m 6 s NA NA NA NA Success
coinductive-examples 8.5.0 NA 18 s 37 s 38 s 40 s 40 s NA NA NA NA Success
coinductive-reals 8.5.0 NA 6 m 18 s 5 m 44 s 5 m 45 s 5 m 51 s 5 m 51 s NA NA NA NA Success
color 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.2.0 NA Lint Error Error Error Error NA NA NA NA Error
1.3.0 NA NA NA NA NA Error Error Error NA Error
compcert 2.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.3.2 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.4.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.5.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.6.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.7.1 NA NA Error Error Error NA NA NA NA Error
3.0.0 NA Error Error Error Error NA NA NA NA Error
3.0.1 NA NA NA NA NA Error NA NA NA Error
3.1.0 NA NA NA NA NA Error Error Error NA Error
concat 8.5.0 NA 1 m 3 s 1 m 25 s 1 m 23 s 1 m 25 s 1 m 25 s NA NA NA NA Success
concurrency-pluto 1.0.0 1 m 3 s 34 s 54 s 53 s 54 s 53 s Deps Deps Deps Deps Success
1.1.0 1 m 4 s 32 s 54 s 53 s 54 s 54 s Deps Deps Deps Deps Success
concurrency-proxy 1.0.0 38 s 15 s 37 s 37 s 38 s 38 s 38 s 38 s 38 s 38 s Success
concurrency-system 1.0.0 1 m 1 s 32 s 53 s 52 s 53 s 53 s Error Error Error Error Success
1.1.0 1 m 3 s 32 s 53 s 57 s 53 s 53 s Error Error Error Error Success
constructive-geometry 8.5.0 NA 18 s 39 s 43 s 44 s 44 s NA NA NA NA Success
constructors 1.0.0 39 s NA NA NA NA NA NA NA NA NA Success
containers 8.5.0 NA 8 m 41 s 7 m 48 s 7 m 51 s 7 m 59 s 7 m 58 s NA NA NA NA Success
continuations 8.5.0 NA 41 s 1 m 0 s 1 m 0 s 1 m 2 s 1 m 2 s NA NA NA NA Success
coq-in-coq 8.5.0 NA 1 m 25 s 1 m 42 s 1 m 39 s 1 m 43 s 1 m 42 s NA NA NA NA Success
coq2html 1.0 NA 37 s 37 s 38 s 38 s 38 s 38 s 38 s 38 s Success
coqeal-refinements 0.9.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
coqeal-theory 0.9.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
coqoban 8.5.0 NA 21 s 42 s 41 s 42 s 42 s NA NA NA NA Success
coqprime 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
coqrel 0.1.0 47 s 1 m 0 s 1 m 1 s 1 m 1 s 1 m 0 s NA NA NA NA Success
coquelicot 2.0.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.1.1 Deps Lint 6 m 13 s 6 m 1 s 6 m 2 s 6 m 1 s NA NA NA NA Success
2.1.2 NA 6 m 1 s 5 m 58 s 6 m 2 s 6 m 0 s 4 m 22 s 4 m 17 s 4 m 18 s Error Success
3.0.0 NA 6 m 7 s 6 m 7 s 6 m 8 s 6 m 8 s 4 m 19 s 4 m 33 s 4 m 13 s Error Success
3.0.1 NA 6 m 6 s 6 m 6 s 6 m 8 s 6 m 7 s 4 m 18 s 4 m 16 s 4 m 15 s 4 m 39 s Success
corn 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0 NA Error Error NA NA NA NA NA NA Error
counting 8.5.0 NA 17 s 38 s 39 s 41 s 42 s NA NA NA NA Success
cours-de-coq 8.5.0 NA 21 s 42 s 42 s 47 s 47 s NA NA NA NA Success
ctltctl 8.5.0 NA 23 s 43 s 45 s 46 s 49 s NA NA NA NA Success
cunit 1.0.0 40 s 16 s 36 s 37 s 38 s 38 s 41 s 38 s 38 s 37 s Success
cybele 1.3.0 NA 35 s 56 s 56 s 55 s 54 s Error Error Error Error Success
dblib 8.5.0 NA 1 m 5 s 1 m 18 s 1 m 19 s 1 m 21 s 1 m 17 s NA NA NA NA Success
8.6.0 NA NA NA NA NA 1 m 13 s 1 m 12 s 1 m 15 s NA Success
demos 8.5.0 NA 23 s 43 s 43 s 45 s 44 s NA NA NA NA Success
dep-map 8.5.0 NA 43 s 1 m 2 s 1 m 2 s 1 m 4 s 1 m 1 s NA NA NA NA Success
descente-infinie 8.5.0 NA 17 s 38 s 37 s 39 s 39 s NA NA NA NA Success
dictionaries 8.5.0 NA 22 s 44 s 43 s 44 s 43 s NA NA NA NA Success
distributed-reference-counting 8.5.0 NA 3 m 47 s 4 m 21 s 4 m 4 s 4 m 4 s 3 m 36 s NA NA NA NA Success
domain-theory 8.5.0 NA 26 s 51 s 47 s 48 s 47 s NA NA NA NA Success
dpdgraph 0.4 NA 20 s 39 s 40 s 41 s 41 s NA NA NA NA Success
0.5 NA 20 s 39 s 40 s 41 s 41 s NA NA NA NA Success
0.5.1 NA 20 s 39 s 40 s 41 s 41 s NA NA NA NA Success
0.6 NA 20 s 39 s 40 s 41 s 42 s NA NA NA NA Success
0.6.1 NA NA NA NA NA 40 s 40 s 41 s NA Success
0.6.2 NA NA NA NA
equations 0.9~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.0~beta NA NA NA NA NA 5 m 5 s 5 m 13 s 5 m 12 s NA Success
ergo 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
error-handlers 1.0.0 37 s 15 s 36 s 37 s 40 s 40 s 37 s 37 s 37 s 37 s Success
1.1.0 37 s 15 s 35 s 37 s 37 s 40 s 37 s 37 s 37 s 37 s Success
1.1.1 37 s 15 s 35 s 37 s 38 s 37 s 37 s 37 s 37 s 37 s Success
1.2.0 37 s 15 s 36 s 37 s 37 s 37 s 37 s 37 s 36 s 38 s Success
euclidean-geometry 8.5.0 NA 3 m 39 s 3 m 46 s 3 m 49 s 3 m 28 s 3 m 53 s NA NA NA NA Success
euler-formula 8.5.0 NA 48 s 1 m 14 s 1 m 5 s 1 m 5 s 1 m 5 s NA NA NA NA Success
exact-real-arithmetic 8.5.0 NA 2 m 11 s 2 m 40 s 2 m 25 s 2 m 23 s 2 m 26 s NA NA NA NA Success
exceptions 8.5.0 NA 17 s 38 s 38 s 39 s 39 s NA NA NA NA Success
ext-lib 0.9.0 2 m 45 s NA NA NA NA NA NA NA NA NA Success
0.9.0~beta3 NA 2 m 5 s NA NA NA NA NA NA NA NA Success
0.9.1 Uninstall NA NA NA NA NA NA NA NA NA Error
0.9.2 NA 2 m 7 s NA NA NA NA NA NA NA NA Success
0.9.3 NA 2 m 7 s 2 m 38 s 2 m 30 s 2 m 31 s 2 m 30 s Error Error Error Error Success
0.9.4 NA 2 m 9 s 2 m 14 s 2 m 30 s 2 m 18 s 2 m 32 s NA NA NA NA Success
0.9.5 NA NA NA NA NA 2 m 33 s 2 m 19 s 2 m 17 s 2 m 15 s Success
0.9.6 NA NA NA NA NA 2 m 33 s 2 m 17 s 2 m 19 s NA Success
1.0.0~beta2 NA NA
extensible-records 1.0.0 NA 20 s 41 s 42 s 42 s 42 s 41 s 41 s 41 s 43 s Success
1.1.0 NA 42 s 42 s 42 s 42 s 41 s 41 s 41 s 44 s Success
1.2.0 NA 41 s 42 s 42 s 42 s 41 s 41 s 42 s 44 s Success
fairisle 8.5.0 NA 3 m 51 s 4 m 1 s 3 m 58 s 3 m 45 s 3 m 51 s NA NA NA NA Success
fermat4 8.5.0 NA 1 m 3 s 1 m 19 s 1 m 20 s 1 m 20 s 1 m 20 s NA NA NA NA Success
finger-tree 8.5.0 NA 7 m 52 s 6 m 56 s 7 m 15 s 4 m 18 s 4 m 14 s NA NA NA NA Success
firing-squad 8.5.0 NA 55 s 1 m 15 s 1 m 21 s 1 m 22 s 1 m 21 s NA NA NA NA Success
float 8.5.0 NA 4 m 11 s 4 m 7 s 4 m 6 s 4 m 17 s 4 m 22 s NA NA NA NA Success
flocq 2.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.3.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.4.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.5.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.5.2 7 m 11 s 4 m 16 s 4 m 14 s 4 m 16 s 4 m 18 s 3 m 22 s 3 m 20 s 3 m 22 s Error Success
2.6.0 7 m 2 s 4 m 28 s 4 m 26 s 4 m 22 s 4 m 27 s 3 m 29 s 3 m 28 s 3 m 26 s 3 m 23 s Success
force-84 1.0.0 35 s NA NA NA NA NA NA NA NA NA Success
force-85 1.0.0 NA 13 s 35 s 34 s 35 s 35 s NA NA NA NA Success
founify 8.5.0 NA 30 s 52 s 52 s 51 s 53 s NA NA NA NA Success
fpmods 0.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
free-groups 8.5.0 NA 17 s 41 s 39 s 39 s 38 s NA NA NA NA Success
fsets 8.5.0 NA 14 m 10 s 12 m 29 s 12 m 13 s 12 m 15 s 12 m 13 s NA NA NA NA Success
fssec-model 8.5.0 NA 1 m 43 s 2 m 6 s 1 m 59 s 1 m 57 s 1 m 57 s NA NA NA NA Success
function-ninjas 1.0.0 37 s 15 s 37 s 37 s 38 s 37 s 37 s 37 s 37 s 37 s Success
functions-in-zfc 8.5.0 NA 18 s 39 s 40 s 40 s 40 s NA NA NA NA Success
fundamental-arithmetics 8.5.0 NA 47 s 1 m 7 s 1 m 7 s 1 m 8 s 1 m 8 s NA NA NA NA Success
gappa 1.2.1 3 m 25 s 2 m 11 s 2 m 26 s 2 m 25 s 2 m 27 s 2 m 27 s Error Error Error Error Success
1.3.2 3 m 25 s 2 m 23 s 2 m 35 s 2 m 27 s 2 m 28 s 1 m 55 s 2 m 1 s 1 m 54 s Error Success
gc 8.5.0 NA 7 m 0 s 6 m 6 s 6 m 18 s 6 m 24 s 6 m 19 s NA NA NA NA Success
generic-environments 8.5.0 NA 24 s 46 s 45 s 46 s 49 s NA NA NA NA Success
geocoq 1.0.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.1.0 1 h 46 m NA NA NA NA NA NA NA NA NA Success
2.2.0 Error 1 h 16 m 1 h 16 m 1 h 16 m 1 h 16 m NA NA NA NA Success
2.2.1 Error 1 h 47 m 1 h 46 m 1 h 45 m 1 h 45 m Error 1 h 45 m 1 h 45 m NA Success
2.3.0 NA Error Error Error Error NA Error Error NA Error
goedel 8.5.0 NA 5 m 50 s 5 m 54 s 5 m 30 s 5 m 30 s 5 m 31 s NA NA NA NA Success
graph-basics 8.5.0 NA 46 s 1 m 9 s 1 m 8 s 1 m 9 s 1 m 9 s NA NA NA NA Success
graphs 8.5.0 NA 33 s 53 s 54 s 53 s 54 s NA NA NA NA Success
group-theory 8.5.0 NA 30 s 53 s 52 s 53 s 53 s NA NA NA NA Success
groups 8.5.0 NA 16 s 38 s 37 s 38 s 38 s NA NA NA NA Success
hammer 1.0.3 NA NA NA NA NA 53 s 53 s 57 s NA Success
hardware 8.5.0 NA 1 m 13 s 1 m 38 s 1 m 38 s 1 m 39 s 1 m 39 s NA NA NA NA Success
hedges 8.5.0 NA 24 s 44 s 44 s 44 s 44 s NA NA NA NA Success
high-school-geometry 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
higman-cf 8.5.0 NA 22 s 43 s 42 s 43 s 43 s NA NA NA NA Success
higman-nw 8.5.0 NA 20 s 42 s 41 s 42 s 42 s NA NA NA NA Success
higman-s 8.5.0 NA 33 s 53 s 53 s 55 s 54 s NA NA NA NA Success
historical-examples 8.5.0 NA 19 s 40 s 43 s 40 s 40 s NA NA NA NA Success
hoare-tut 8.5.0 NA 24 s 46 s 49 s 46 s 46 s NA NA NA NA Success
huffman 8.5.0 NA 1 m 26 s 1 m 49 s 1 m 54 s 1 m 57 s 1 m 47 s NA NA NA NA Success
icharate 8.5.0 NA 2 m 7 s 2 m 27 s 2 m 29 s 2 m 39 s 2 m 38 s NA NA NA NA Success
idxassoc 8.5.0 NA 18 s 40 s 39 s 41 s 43 s NA NA NA NA Success
ieee754 8.5.0 NA 30 s 52 s 52 s 51 s 56 s NA NA NA NA Success
int-map 8.5.0 NA 56 s 1 m 19 s 1 m 18 s 1 m 13 s 1 m 19 s NA NA NA NA Success
interval 1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.2.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
3.0.0 Deps 6 m 28 s Error Error Error Error Error Error Error Error Success
3.1.0 Deps Error Error Error Error NA NA NA NA Error
3.1.1 Deps 6 m 8 s 5 m 50 s 5 m 53 s 5 m 53 s 4 m 0 s 4 m 1 s 4 m 1 s NA Success
3.2.0 NA 6 m 33 s 6 m 17 s 6 m 29 s 6 m 30 s 4 m 24 s 4 m 41 s 4 m 17 s NA Success
3.3.0 NA 6 m 38 s 6 m 50 s 6 m 35 s 6 m 32 s 4 m 26 s 4 m 24 s 4 m 24 s NA Success
intuitionistic-nuprl 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
io 2.0.0 37 s 16 s 38 s 37 s 38 s 38 s 39 s 38 s 38 s 37 s Success
2.1.0 41 s 16 s 39 s 37 s 38 s 38 s 38 s 38 s 38 s 38 s Success
3.0.0 40 s 16 s 38 s 36 s 39 s 38 s 38 s 41 s 38 s 42 s Success
3.1.0 41 s 16 s 38 s 36 s 38 s 38 s 37 s 41 s 38 s 41 s Success
3.2.0 44 s NA NA NA NA NA NA NA NA NA Success
3.3.0 Error 49 s 53 s 50 s 50 s NA NA NA NA Success
io-evaluate 1.0.0 Deps NA NA NA NA NA NA NA NA NA Error
io-exception 1.0.0 37 s NA NA NA NA NA NA NA NA NA Success
1.1.0 Deps NA NA NA NA NA NA NA NA NA Error
io-hello-world 1.0.0 42 s 18 s 39 s 45 s 40 s 40 s 39 s 39 s 38 s 39 s Success
1.1.0 Deps 18 s 40 s 40 s 41 s 38 s 38 s 39 s 42 s 39 s Success
io-list 1.0.0 37 s 16 s 38 s 37 s 38 s 37 s 38 s Uninstall Uninstall Uninstall Success
1.1.0 Deps 16 s 39 s 38 s 39 s 39 s 38 s Uninstall Uninstall Uninstall Success
io-system 2.0.0 46 s NA NA NA NA NA NA NA NA NA Success
2.1.0 47 s 22 s 44 s 43 s 44 s 44 s 45 s 42 s 42 s 42 s Success
2.2.0 47 s 22 s 44 s 43 s 45 s 44 s 42 s 42 s 42 s 42 s Success
2.3.0 47 s 22 s 44 s 43 s 44 s 44 s 42 s 42 s 43 s 42 s Success
2.4.0 Deps NA 45 s 44 s 46 s 45 s NA NA NA NA Success
io-system-ocaml 2.0.0 37 s 15 s 37 s 36 s 37 s 37 s 37 s 37 s 38 s 37 s Success
2.1.0 37 s 15 s 40 s 36 s 38 s 37 s 37 s 37 s 37 s 38 s Success
2.2.0 37 s 15 s 38 s 36 s 38 s 37 s 40 s 37 s 37 s 37 s Success
2.3.0 37 s 15 s 37 s 36 s 37 s 37 s 40 s 37 s 37 s 37 s Success
ipc 8.5.0 NA 1 m 14 s 1 m 35 s 1 m 40 s 1 m 44 s 1 m 36 s NA NA NA NA Success
iris 3.0.0 NA Error Error Error Error 23 m 11 s 22 m 56 s 23 m 1 s 19 m 45 s Success
iterable 1.0.0 40 s 17 s 39 s 37 s 39 s 39 s 38 s 39 s 41 s 38 s Success
izf 8.5.0 NA 19 s 41 s 40 s 41 s 41 s NA NA NA NA Success
jordan-curve-theorem 8.5.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
jprover 8.5.0 NA 22 s 42 s 41 s 43 s 43 s NA NA NA NA Success
karatsuba 8.5.0 NA 45 s 1 m 6 s 1 m 6 s 1 m 6 s 1 m 6 s NA NA NA NA Success
kildall 8.5.0 NA 2 m 48 s 3 m 1 s 2 m 58 s 2 m 58 s 3 m 1 s NA NA NA NA Success
lambda 8.5.0 NA 39 s 1 m 2 s 1 m 1 s 1 m 2 s 1 m 2 s NA NA NA NA Success
lambek 8.5.0 NA 32 s 54 s 54 s 55 s 54 s NA NA NA NA Success
lazy-pcf 8.5.0 NA 27 s 50 s 49 s 50 s 49 s NA NA NA NA Success
lc 8.5.0 NA 28 s 49 s 48 s 49 s 49 s NA NA NA NA Success
legacy-ring 8.5.0 NA 35 s 56 s 56 s 57 s 57 s NA NA NA NA Success
lesniewski-mereology 8.5.0 NA 20 s 41 s 44 s 42 s 42 s NA NA NA NA Success
lin-alg 8.5.0 NA 7 m 31 s 7 m 8 s 7 m 29 s 7 m 23 s 7 m 16 s NA NA NA NA Success
list-plus 1.0.0 37 s 16 s 38 s 36 s 41 s 40 s 38 s 37 s 38 s 37 s Success
1.1.0 38 s 17 s 39 s 37 s 40 s 43 s 39 s 39 s 39 s 38 s Success
list-string 1.0.0 1 m 1 s NA NA NA NA NA NA NA NA NA Success
2.0.0 1 m 0 s 32 s 53 s 53 s 54 s 52 s 49 s 51 s 50 s 50 s Success
2.1.0 1 m 2 s 32 s 55 s 54 s 55 s 55 s 51 s 50 s 51 s 50 s Success
2.1.1 1 m 2 s 32 s 53 s 53 s 55 s 53 s 50 s 50 s 48 s 50 s Success
ltac-iter 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
ltl 8.5.0 NA 18 s 40 s 39 s 41 s 40 s NA NA NA NA Success
maple-mode 8.5.0 NA 43 s 1 m 1 s 59 s 1 m 2 s 1 m 2 s NA NA NA NA Success
markov 8.5.0 NA 22 s 45 s 41 s 43 s 42 s NA NA NA NA Success
math-classes 1.0.3 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.0.4 NA Lint 14 m 18 s 13 m 53 s 13 m 51 s 13 m 54 s Error Error Error Error Success
1.0.5 NA 13 m 52 s 13 m 55 s 13 m 50 s 13 m 43 s NA NA NA NA Success
1.0.6 NA NA NA NA NA 13 m 5 s 13 m 3 s 13 m 1 s Error Success
math-comp 1.5.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
mathcomp-algebra 1.6 16 m 22 s 13 m 1 s 11 m 23 s 11 m 42 s 11 m 34 s 11 m 21 s NA NA NA Deps Success
1.6.1 16 m 3 s 11 m 24 s 11 m 20 s 11 m 17 s 11 m 16 s 8 m 35 s 8 m 25 s 8 m 37 s Deps Success
1.6.2 Deps 11 m 36 s 11 m 17 s 11 m 18 s 11 m 17 s 8 m 52 s 8 m 25 s 8 m 24 s 8 m 28 s Success
mathcomp-character 1.6 Deps Deps Deps Deps Deps Deps NA NA NA Deps Error
1.6.1 Deps Deps Deps Deps Deps Deps Deps Deps Deps Error
1.6.2 Deps Deps Deps Deps Deps Deps Deps Deps Deps Error
mathcomp-field 1.6 Deps Deps Error Error Error Error NA NA NA Deps Error
1.6.1 Deps Error Error Error Error 23 m 15 s 22 m 58 s 22 m 52 s Deps Success
1.6.2 Deps Error Error Error Error 25 m 32 s 25 m 6 s 25 m 25 s 24 m 6 s Success
mathcomp-fingroup 1.6 6 m 33 s 4 m 10 s 4 m 0 s 3 m 57 s 3 m 55 s 3 m 57 s NA NA NA Deps Success
1.6.1 6 m 31 s 3 m 58 s 3 m 57 s 3 m 56 s 3 m 56 s 3 m 19 s 3 m 25 s 3 m 14 s Deps Success
1.6.2 Deps 3 m 58 s 3 m 56 s 3 m 55 s 3 m 57 s 3 m 20 s 3 m 14 s 3 m 14 s 3 m 20 s Success
mathcomp-odd-order 1.6.1 Deps Deps Deps Deps Deps Deps Deps Deps Deps Error
1.6.2 Deps Deps Deps Deps Deps Deps Deps Error
mathcomp-solvable 1.6 20 m 16 s 14 m 0 s 12 m 30 s 12 m 12 s 12 m 7 s 12 m 8 s NA NA NA Deps Success
1.6.1 20 m 39 s 12 m 14 s 12 m 12 s 12 m 5 s 12 m 20 s 9 m 35 s 9 m 30 s 9 m 28 s Deps Success
1.6.2 Deps 12 m 14 s 12 m 10 s 12 m 9 s 12 m 6 s 9 m 36 s 9 m 29 s 9 m 55 s 9 m 10 s Success
mathcomp-ssreflect 1.6 4 m 27 s 3 m 31 s 3 m 30 s 3 m 29 s 3 m 43 s 3 m 29 s NA NA NA Error Success
1.6.1 4 m 25 s 3 m 31 s 3 m 30 s 3 m 43 s 3 m 44 s 2 m 46 s 2 m 41 s 2 m 40 s Error Success
1.6.2 Error 3 m 33 s 3 m 30 s 3 m 31 s 3 m 45 s 2 m 47 s 2 m 42 s 2 m 41 s 2 m 26 s Success
mathcomp-sum-of-two-square 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
maths 8.5.0 NA 28 s 49 s 48 s 49 s 49 s NA NA NA NA Success
matrices 8.5.0 NA 27 s 49 s 48 s 49 s 49 s NA NA NA NA Success
micromega 8.5.0 34 s Success
min-imports 1.0.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Error
mini-compiler 8.5.0 NA 18 s 40 s 39 s 40 s 39 s NA NA NA NA Success
minic 8.5.0 NA 41 s 1 m 2 s 1 m 8 s 1 m 5 s 1 m 0 s NA NA NA NA Success
miniml 8.5.0 NA 21 s 42 s 45 s 43 s 42 s NA NA NA NA Success
mirror-core 1.0.0 NA Error NA NA NA NA NA NA NA NA Error
1.0.1 NA Error Error NA NA NA NA NA NA NA Error
1.0.2 NA NA Error Error Error NA NA NA NA Error
mod-red 8.5.0 NA 1 m 22 s 1 m 36 s 1 m 34 s 1 m 35 s 1 m 36 s NA NA NA NA Success
moment 1.0.0 54 s 29 s 50 s 50 s 55 s 50 s 47 s 46 s 48 s 48 s Success
msets-extra 1.0.0 Deps NA NA NA NA NA NA NA NA Error
1.1.0 NA 1 m 33 s 1 m 31 s 1 m 40 s 1 m 38 s NA NA NA NA Success
mtac 1.3.0 NA 47 s 1 m 8 s 1 m 6 s 1 m 8 s 1 m 12 s NA NA NA NA Success
multiplier 8.5.0 NA 19 s 41 s 39 s 41 s 41 s NA NA NA NA Success
mutual-exclusion 8.5.0 NA 18 s 40 s 39 s 40 s 39 s NA NA NA NA Success
nfix 8.5.0 NA 18 s 39 s 38 s 39 s 39 s NA NA NA NA Success
of-ocaml 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
opam-website 1.0.0 1 m 11 s NA NA NA NA NA NA NA NA NA Success
1.1.0 1 m 14 s NA NA NA NA NA NA NA NA NA Success
1.2.0 Deps NA NA NA NA NA NA NA NA NA Error
1.2.1 Deps NA NA NA NA NA NA NA NA NA Error
1.3.0 Deps NA NA NA NA NA NA NA NA NA Error
1.3.1 Deps NA NA NA NA NA NA NA NA NA Error
1.3.2 Deps NA NA NA NA NA NA NA NA NA Error
1.4.0 Deps NA NA NA NA NA NA NA NA NA Error
orb-stab 8.5.0 NA 21 s 42 s 42 s 43 s 41 s NA NA NA NA Success
ott 0.26 NA 1 m 6 s 1 m 5 s 1 m 6 s 1 m 0 s 1 m 5 s 1 m 0 s 1 m 0 s NA Success
otway-rees 8.5.0 NA 33 s 56 s 56 s 54 s 53 s NA NA NA NA Success
paco 8.5.0 NA 1 m 49 s 1 m 56 s 1 m 55 s 1 m 56 s 1 m 53 s NA NA NA NA Success
8.6.0 NA NA NA NA NA 2 m 28 s 1 m 54 s 1 m 54 s 1 m 52 s Success
paradoxes 8.5.0 NA 19 s 44 s 40 s 41 s 41 s NA NA NA NA Success
param-pi 8.5.0 NA 28 s 55 s 51 s 52 s 52 s NA NA NA NA Success
pautomata 8.5.0 NA 1 m 11 s 1 m 39 s 1 m 36 s 1 m 35 s 1 m 36 s NA NA NA NA Success
persistent-union-find 8.5.0 NA 1 m 27 s 1 m 35 s 1 m 34 s 1 m 35 s 1 m 34 s NA NA NA NA Success
pi-agm 1.0.0 3 m 29 s NA NA NA NA NA NA NA NA Success
1.1.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall Uninstall NA Error
1.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
pi-calc 8.5.0 NA 3 m 21 s 3 m 11 s 3 m 7 s 3 m 32 s 3 m 31 s NA NA NA NA Success
plouffe 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.2.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.3.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.4.0 Lint Lint Lint Lint Lint Lint Lint Error
plugin-utils 1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.2.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.3.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
pocklington 8.5.0 NA 51 s 1 m 14 s 1 m 14 s 1 m 15 s 1 m 14 s NA NA NA NA Success
presburger 8.5.0 NA 2 m 9 s 2 m 18 s 2 m 21 s 2 m 18 s 2 m 19 s NA NA NA NA Success
prfx 8.5.0 NA 1 m 6 s 1 m 31 s 1 m 36 s 1 m 30 s 1 m 30 s NA NA NA NA Success
projective-geometry 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
propcalc 8.5.0 NA 27 s 49 s 51 s 50 s 49 s NA NA NA NA Success
pts 8.5.0 NA 52 s 1 m 12 s 1 m 12 s 1 m 12 s 1 m 12 s NA NA NA NA Success
ptsatr 8.5.0 NA 1 m 51 s 2 m 3 s 2 m 1 s 2 m 3 s 2 m 2 s NA NA NA NA Success
ptsf 8.5.0 NA 56 s 1 m 12 s 1 m 12 s 1 m 13 s 1 m 12 s NA NA NA NA Success
qarith 8.5.0 NA 25 s 49 s 46 s 47 s 46 s NA NA NA NA Success
qarith-stern-brocot 8.5.0 NA 6 m 43 s 6 m 17 s 6 m 10 s 6 m 14 s 6 m 13 s NA NA NA NA Success
quicksort-complexity 8.5.0 NA 4 m 18 s 4 m 31 s 4 m 13 s 4 m 15 s 4 m 13 s NA NA NA NA Success
railroad-crossing 8.5.0 NA 25 s 47 s 46 s 47 s 47 s NA NA NA NA Success
ramsey 8.5.0 NA 16 s 38 s 38 s 39 s 38 s NA NA NA NA Success
random 8.5.0 NA 2 m 0 s 2 m 11 s 2 m 11 s 2 m 19 s 2 m 10 s NA NA NA NA Success
rational 8.5.0 NA 59 s 1 m 21 s 1 m 21 s 1 m 28 s 1 m 21 s NA NA NA NA Success
recursive-definition 8.5.0 NA 37 s 1 m 0 s 1 m 0 s 1 m 2 s 1 m 5 s NA NA NA NA Success
reflexive-first-order 8.5.0 NA 51 s 1 m 10 s 1 m 10 s 1 m 10 s 1 m 14 s NA NA NA NA Success
regexp 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
relation-algebra 1.3 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.4 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.5 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.6 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
relation-extraction 8.5.0 NA 20 s 42 s 41 s 42 s 41 s NA NA NA NA Success
rem 8.5.0 NA 16 s 38 s 38 s 37 s 38 s NA NA NA NA Success
rsa 8.5.0 NA 30 s 52 s 55 s 53 s 52 s NA NA NA NA Success
ruler-compass-geometry 8.5.0 NA 1 m 53 s 2 m 12 s 2 m 18 s 2 m 7 s 2 m 10 s NA NA NA NA Success
schroeder 8.5.0 NA 17 s 39 s 40 s 39 s 39 s NA NA NA NA Success
search-trees 8.5.0 NA 27 s 50 s 50 s 50 s 50 s NA NA NA NA Success
semantics 8.5.0 NA Error Error Error Error Error NA NA NA NA Error
shuffle 8.5.0 NA 18 s 40 s 40 s 41 s 40 s NA NA NA NA Success
smc 8.5.0 NA 1 m 53 s 2 m 9 s 2 m 6 s 2 m 7 s 2 m 6 s NA NA NA NA Success
smt-check 1.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
2.0.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
square-matrices 8.5.0 NA 17 s 39 s 39 s 39 s 39 s NA NA NA NA Success
squiggle-eq 1.0.1 NA 10 m 48 s 9 m 41 s 9 m 18 s 9 m 19 s 9 m 18 s NA NA NA NA Success
1.0.2 NA NA NA NA NA 14 m 16 s 14 m 4 s 14 m 3 s NA Success
ssreflect 1.5.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
stalmarck 8.5.0 NA Error Error Error Error Error NA NA NA NA Error
stdpp 1.0.0 NA NA NA 6 m 29 s 6 m 27 s 4 m 41 s 4 m 49 s 4 m 32 s 4 m 28 s Success
streams 8.5.0 NA 19 s 39 s 41 s 41 s 41 s NA NA NA NA Success
string 8.5.0 NA 27 s 49 s 47 s 49 s 48 s NA NA NA NA Success
subst 8.5.0 NA 53 s 1 m 14 s 1 m 16 s 1 m 14 s 1 m 13 s NA NA NA NA Success
sudoku 8.5.0 NA 2 m 19 s 2 m 24 s 2 m 32 s 2 m 26 s 2 m 23 s NA NA NA NA Success
sum-of-two-square 8.5.0 NA 1 m 28 s 1 m 44 s 1 m 50 s 1 m 44 s 1 m 42 s NA NA NA NA Success
tait 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
tarski-geometry 8.5.0 NA 1 m 39 s 1 m 45 s 1 m 45 s 1 m 45 s 1 m 45 s NA NA NA NA Success
template-coq 1.0.0~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.1.0~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.1.0~beta3 NA 20 s 42 s 42 s 41 s NA NA NA NA NA Success
three-gap 8.5.0 NA 46 s 1 m 6 s 1 m 6 s 1 m 6 s 1 m 6 s NA NA NA NA Success
tlc 20161010 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
toolbox 0.9.0 NA NA Error Error Error Error NA NA NA Error
topology 8.5.0 NA 2 m 44 s 3 m 7 s 2 m 57 s 2 m 58 s 2 m 56 s NA NA NA NA Success
tortoise-hare-algorithm 8.5.0 NA Uninstall Uninstall Uninstall Uninstall Uninstall NA NA NA NA Error
traversable-fincontainer 8.5.0 NA 24 s 47 s 44 s 47 s 44 s NA NA NA NA Success
tree-automata 8.5.0 NA 1 m 57 s 2 m 12 s 2 m 11 s 2 m 21 s 2 m 10 s NA NA NA NA Success
tree-diameter 8.5.0 NA 25 s 46 s 45 s 49 s 46 s NA NA NA NA Success
unicoq 1.0.0 NA Lint 41 s 41 s 41 s 44 s NA NA NA NA Success
1.1.0+coq8.5 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0+coq8.6 Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
unimath-category-theory 0.1.0 NA 2 m 31 s 2 m 42 s 2 m 45 s 2 m 45 s 2 m 54 s Deps Deps Deps Deps Success
unimath-dedekind 0.1.0 NA 10 m 1 s 8 m 49 s 8 m 45 s 8 m 40 s 8 m 38 s Deps Deps Deps Deps Success
unimath-foundations 0.1.0 NA 10 m 32 s 9 m 32 s 9 m 28 s 9 m 28 s 9 m 25 s Error Error Error Error Success
unimath-ktheory 0.1.0 NA 3 m 49 s 3 m 47 s 3 m 46 s 3 m 46 s 3 m 43 s Deps Deps Deps Deps Success
unimath-substitution-systems 0.1.0 NA 21 m 10 s 18 m 13 s 18 m 10 s 18 m 11 s 18 m 9 s Deps Deps Deps Deps Success
unimath-tactics 0.1.0 NA 18 s 38 s 40 s 39 s 40 s Deps Deps Deps Deps Success
universe-comparator 1.0.1 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
1.1.0 Lint Lint Lint Lint Lint Lint Lint Lint Lint Lint Error
weak-up-to 8.5.0 NA 23 s 45 s 50 s 46 s 46 s NA NA NA NA Success
zchinese 8.5.0 NA 25 s 45 s 50 s 47 s 48 s NA NA NA NA Success
zf 8.5.0 NA 27 s 48 s 47 s 48 s 49 s NA NA NA NA Success
zfc 8.5.0 NA 28 s 50 s 49 s 51 s 51 s NA NA NA NA Success
zorns-lemma 8.5.0 NA 52 s 1 m 13 s 1 m 12 s 1 m 13 s 1 m 14 s NA NA NA NA Success
zsearch-trees 8.5.0 NA 23 s 42 s 42 s 43 s 43 s NA NA NA NA Success