« Up

Released 640 packages

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