« Up

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