« Up

Released 137 packages

Linux, x86_64, OCaml 4.02.3, 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.0.dev 8.1.dev 8.2.dev 8.3.dev 8.4.6 8.4.dev 8.5.0 8.5.1 8.5.dev dev best
Name Version 5 132 0 0 5 132 0 0 5 132 0 0 5 132 0 0 92 43 1 1 88 43 1 5 78 56 0 3 76 61 0 0 75 62 0 0 39 65 16 17 127 7 0 3
aac-tactics 8.5.0 NA NA NA NA NA NA 41 s 41 s 41 s NA Success
8.5.1 NA NA NA NA NA NA 42 s 42 s 42 s NA Success
charge-core 1.0.0 NA NA NA NA NA NA Error NA NA NA Error
1.0.1 NA NA NA NA NA NA NA 53 s 53 s Error Success
color 1.0.0 NA NA NA NA 20 m 11 s 20 m 12 s NA NA NA NA Success
1.1.0 NA NA NA NA 21 m 19 s 21 m 14 s NA NA NA NA Success
1.2.0 NA NA NA NA NA NA 23 m 2 s 23 m 32 s 23 m 28 s Error Success
compcert 2.0.0 NA NA NA NA 21 m 23 s 21 m 43 s NA NA NA NA Success
2.3.2 NA NA NA NA 31 m 28 s Error NA NA NA NA Success
2.4.0 NA NA NA NA 30 m 8 s Error NA NA NA NA Success
2.5.0 NA NA NA NA 27 m 0 s Error NA NA NA NA Success
2.6.0 NA NA NA NA 27 m 3 s Error NA NA NA NA Success
concurrency-pluto 1.0.0 NA NA NA NA 38 s 38 s 29 s 28 s 29 s 25 s Success
1.1.0 NA NA NA NA 40 s 39 s 29 s 28 s 29 s 26 s Success
concurrency-proxy 1.0.0 19 s 19 s 19 s 19 s 19 s 19 s 19 s 19 s 19 s 19 s Success
concurrency-system 1.0.0 NA NA NA NA 44 s 44 s 33 s 32 s 32 s 28 s Success
1.1.0 NA NA NA NA 45 s 45 s 32 s 32 s 32 s 28 s Success
constructors 1.0.0 NA NA NA NA 20 s 20 s NA NA NA NA Success
coqeal-refinements 0.9.1 NA NA NA NA 4 m 37 s 4 m 37 s NA NA NA NA Success
coqeal-theory 0.9.1 NA NA NA NA 2 m 16 s 2 m 15 s NA NA NA NA Success
coqprime 1.0.0 NA NA NA NA NA NA 5 m 1 s 5 m 2 s 4 m 59 s Error Success
coquelicot 2.0.1 NA NA NA NA 5 m 26 s 5 m 19 s NA NA NA NA Success
2.1.0 NA NA NA NA 5 m 3 s 5 m 1 s NA NA NA NA Success
2.1.1 NA NA NA NA 5 m 3 s 5 m 1 s 4 m 13 s 4 m 14 s 4 m 12 s Error Success
corn 1.0.0 NA NA NA NA 1 h 11 m 1 h 9 m NA NA NA NA Success
cunit 1.0.0 NA NA NA NA 19 s 19 s 20 s 19 s 20 s 19 s Success
cybele 1.3.0 NA NA NA NA NA NA 32 s 32 s 32 s Error Success
dpdgraph 0.4 NA NA NA NA NA NA 23 s 23 s 23 s Error Success
0.5 NA NA NA NA NA NA 23 s 23 s 23 s Error Success
0.5.1 NA NA NA NA NA NA 23 s 23 s 23 s Error Success
equations 0.9~beta2 NA NA NA NA NA NA NA NA NA NA NA
error-handlers 1.0.0 NA NA NA NA 18 s 18 s 19 s 19 s 19 s 19 s Success
1.1.0 NA NA NA NA 19 s 18 s 19 s 19 s 19 s 19 s Success
1.1.1 NA NA NA NA 19 s 18 s 19 s 19 s 19 s 19 s Success
1.2.0 NA NA NA NA 19 s 19 s 19 s 19 s 19 s 19 s Success
ext-lib 0.9.0 NA NA NA NA 1 m 3 s 1 m 2 s NA NA NA NA Success
0.9.0~beta3 NA NA NA NA NA NA 54 s NA NA NA Success
0.9.1 NA NA NA NA Error Error NA NA NA NA Error
0.9.2 NA NA NA NA NA NA 51 s NA NA NA Success
0.9.3 NA NA NA NA NA NA 51 s 49 s 51 s Error Success
0.9.4 NA NA NA NA NA NA 52 s 50 s 50 s Error Success
1.0.0~beta2 NA NA NA NA NA NA NA NA NA NA NA
flocq 2.2.0 NA NA NA NA 3 m 16 s 3 m 18 s NA NA NA NA Success
2.3.0 NA NA NA NA 3 m 16 s 3 m 16 s NA NA NA NA Success
2.4.0 NA NA NA NA 4 m 19 s 4 m 18 s NA NA NA NA Success
2.5.1 NA NA NA NA 4 m 26 s 4 m 27 s 2 m 35 s 2 m 32 s 2 m 32 s Error Success
force-84 1.0.0 NA NA NA NA 16 s 16 s NA NA NA NA Success
force-85 1.0.0 NA NA NA NA NA NA 17 s 17 s 17 s NA Success
fpmods 0.2.0 NA NA NA NA 1 m 35 s 1 m 34 s NA NA NA NA Success
function-ninjas 1.0.0 NA NA NA NA 19 s 19 s 19 s 19 s 19 s 19 s Success
gappa 1.2.1 NA NA NA NA 2 m 6 s 2 m 7 s 1 m 20 s 1 m 18 s 1 m 19 s Error Success
geocoq 1.0.1 NA NA NA NA 48 m 17 s 46 m 36 s NA NA NA NA Success
1.1.0 NA NA NA NA 1 h 5 m 1 h 4 m NA NA NA NA Success
2.0.0 NA NA NA NA 1 h 28 m 1 h 25 m NA NA NA NA Success
high-school-geometry 1.0.0 NA NA NA NA NA NA 9 m 54 s 9 m 50 s 9 m 47 s Error Success
interval 1.1.0 NA NA NA NA 3 m 12 s 3 m 13 s NA NA NA NA Success
2.0.0 NA NA NA NA 6 m 19 s 6 m 19 s NA NA NA NA Success
2.1.0 NA NA NA NA 6 m 17 s 6 m 20 s NA NA NA NA Success
2.2.0 NA NA NA NA 7 m 2 s 7 m 2 s NA NA NA NA Success
2.2.1 NA NA NA NA 7 m 1 s 6 m 59 s 4 m 52 s 4 m 49 s 4 m 47 s Error Success
3.0.0 NA NA NA NA 6 m 19 s 6 m 18 s 4 m 23 s 4 m 21 s 4 m 21 s Error Success
io 2.0.0 NA NA NA NA 19 s 19 s 20 s 19 s 20 s 20 s Success
2.1.0 NA NA NA NA 20 s 19 s 20 s 19 s 20 s 20 s Success
3.0.0 NA NA NA NA 19 s 19 s 20 s 20 s 20 s 20 s Success
3.1.0 NA NA NA NA 20 s 19 s 20 s 20 s 20 s 20 s Success
3.2.0 NA NA NA NA 24 s 24 s NA NA NA NA Success
io-evaluate 1.0.0 NA NA NA NA 19 s 19 s NA NA NA NA Success
io-exception 1.0.0 NA NA NA NA 19 s 19 s NA NA NA NA Success
1.1.0 NA NA NA NA 19 s 19 s NA NA NA NA Success
io-hello-world 1.0.0 NA NA NA NA 25 s 25 s 23 s 21 s 22 s 21 s Success
1.1.0 NA NA NA NA 25 s 25 s 22 s 21 s 22 s 20 s Success
io-list 1.0.0 NA NA NA NA 19 s 19 s 20 s 19 s 20 s 19 s Success
1.1.0 NA NA NA NA 19 s 19 s 20 s 19 s 19 s 19 s Success
io-system 2.0.0 NA NA NA NA 29 s 29 s NA NA NA NA Success
2.1.0 NA NA NA NA 29 s 29 s 25 s 25 s 25 s 23 s Success
2.2.0 NA NA NA NA 30 s 30 s 26 s 26 s 26 s 23 s Success
2.3.0 NA NA NA NA 30 s 30 s 26 s 26 s 26 s 23 s Success
2.4.0 NA NA NA NA 30 s 30 s NA NA NA NA Success
io-system-ocaml 2.0.0 19 s 19 s 18 s 18 s 19 s 18 s 19 s 18 s 19 s 18 s Success
2.1.0 18 s 18 s 18 s 19 s 18 s 18 s 19 s 19 s 19 s 18 s Success
2.2.0 18 s 18 s 19 s 18 s 18 s 18 s 19 s 19 s 19 s 19 s Success
2.3.0 19 s 18 s 18 s 19 s 19 s 18 s 19 s 19 s 19 s 19 s Success
iterable 1.0.0 NA NA NA NA 21 s 21 s 20 s 20 s 21 s 20 s Success
list-plus 1.0.0 NA NA NA NA 19 s 19 s 20 s 19 s 20 s 19 s Success
1.1.0 NA NA NA NA 19 s 19 s 20 s 20 s 21 s 20 s Success
list-string 1.0.0 NA NA NA NA 33 s 33 s NA NA NA NA Success
2.0.0 NA NA NA NA 34 s 33 s 29 s 29 s 29 s 26 s Success
2.1.0 NA NA NA NA 35 s 35 s 29 s 28 s 29 s 25 s Success
2.1.1 NA NA NA NA 35 s 34 s 29 s 28 s 28 s 25 s Success
ltac-iter 1.0.0 NA NA NA NA NA NA 20 s 20 s 20 s Error Success
math-classes 1.0.3 NA NA NA NA 8 m 33 s 8 m 34 s NA NA NA NA Success
1.0.4 NA NA NA NA NA NA 4 m 58 s 4 m 51 s 4 m 56 s Error Success
math-comp 1.5.0 NA NA NA NA 1 h 23 m 1 h 22 m NA NA NA NA Success
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
mathcomp-algebra 1.6 NA NA NA NA 18 m 21 s 18 m 13 s 12 m 50 s 12 m 47 s 12 m 43 s Error Success
mathcomp-character 1.6 NA NA NA NA Error Error 20 m 57 s 20 m 54 s 20 m 53 s Error Success
mathcomp-field 1.6 NA NA NA NA 55 m 30 s 54 m 15 s 39 m 30 s 39 m 28 s 39 m 28 s Error Success
mathcomp-fingroup 1.6 NA NA NA NA 7 m 17 s 7 m 11 s 4 m 9 s 4 m 8 s 4 m 7 s Error Success
mathcomp-solvable 1.6 NA NA NA NA 23 m 27 s 23 m 7 s 13 m 45 s 13 m 42 s 13 m 41 s Error Success
mathcomp-ssreflect 1.6 NA NA NA NA 4 m 52 s 4 m 51 s 3 m 33 s 3 m 31 s 3 m 29 s Error Success
mathcomp-sum-of-two-square 1.0.0 NA NA NA NA NA NA 1 m 29 s 1 m 29 s 1 m 28 s Error Success
mirror-core 1.0.0 NA NA NA NA NA NA Error NA NA NA Error
1.0.1 NA NA NA NA NA NA Error 15 m 43 s 15 m 40 s Error Success
moment 1.0.0 NA NA NA NA 37 s 36 s 30 s 30 s 30 s 26 s Success
of-ocaml 1.0.0 NA NA NA NA 1 m 25 s 1 m 20 s 58 s 57 s 57 s 50 s Success
1.1.0 NA NA NA NA 1 m 25 s 1 m 20 s 58 s 57 s 57 s 50 s Success
opam-website 1.0.0 NA NA NA NA 51 s 51 s NA NA NA NA Success
1.1.0 NA NA NA NA 52 s 52 s NA NA NA NA Success
1.2.0 NA NA NA NA 52 s 52 s NA NA NA NA Success
1.2.1 NA NA NA NA 1 m 0 s 1 m 0 s NA NA NA NA Success
1.3.0 NA NA NA NA 1 m 3 s 1 m 4 s NA NA NA NA Success
1.3.1 NA NA NA NA 1 m 3 s 1 m 4 s NA NA NA NA Success
1.3.2 NA NA NA NA 1 m 3 s 1 m 3 s NA NA NA NA Success
1.4.0 NA NA NA NA 1 m 21 s 1 m 21 s NA NA NA NA Success
plouffe 1.0.0 NA NA NA NA 4 m 59 s 4 m 58 s NA NA NA NA Success
1.1.0 NA NA NA NA 5 m 0 s 5 m 0 s NA NA NA NA Success
1.2.0 NA NA NA NA NA NA 4 m 30 s 4 m 27 s 4 m 29 s Error Success
plugin-utils 1.1.0 NA NA NA NA NA NA 19 s 19 s 20 s Error Success
relation-algebra 1.3 NA NA NA NA 12 m 46 s 12 m 17 s NA NA NA NA Success
1.4 NA NA NA NA NA NA 6 m 37 s NA NA NA Success
1.5 NA NA NA NA NA NA 6 m 39 s NA NA NA Success
smt-check 1.0.0 NA NA NA NA NA NA 21 s 21 s 21 s Error Success
2.0.0 NA NA NA NA NA NA 23 s 23 s 23 s Error Success
ssreflect 1.5.0 NA NA NA NA 1 m 59 s 1 m 58 s NA NA NA NA Success
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
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 NA NA NA NA NA 23 s 22 s NA NA Success
unicoq 1.0.0 NA NA NA NA NA NA 23 s 22 s 23 s Error Success
unimath-category-theory 0.1.0 NA NA NA NA NA NA 1 m 22 s 1 m 22 s 1 m 22 s 1 m 24 s Success
unimath-dedekind 0.1.0 NA NA NA NA NA NA 10 m 10 s 10 m 10 s 10 m 10 s Error Success
unimath-foundations 0.1.0 NA NA NA NA NA NA 9 m 26 s 9 m 26 s 9 m 24 s 7 m 4 s Success
unimath-ktheory 0.1.0 NA NA NA NA NA NA 2 m 50 s 2 m 50 s 2 m 51 s 2 m 51 s Success
unimath-substitution-systems 0.1.0 NA NA NA NA NA NA 13 m 43 s 13 m 44 s 13 m 47 s 13 m 48 s Success
unimath-tactics 0.1.0 NA NA NA NA NA NA 21 s 21 s 21 s Error Success
universe-comparator 1.0.1 NA NA NA NA NA NA NA NA NA NA NA
1.1.0 NA NA NA NA NA NA 21 s 20 s 20 s Error Success