QA
Skip Quicknav
About Debian
Getting Debian
Support
Developers' Corner
Debian Quality Assurance
Packages overview for Debian OCaml Maintainers
Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org
>
— Bugs:
open
-
RC
-
all
-
submitted
-
WNPP
-
— Reports:
Dashboard
-
Buildd
-
Lintian
-
Debtags
-
Piuparts
-
Janitor
-
Contributions
-
Repology
-
Portfolio
main
(370)
Source Package
Bugs
Version
Ubuntu
VCS
Buildd
Lintian
Deb
check
Piu
parts
CI
Popcon
Watch
All
RC
oldstable
stable
testing
unstable
exp
E+W
Rep
aac-tactics
*
-
-
-
8.17.0-1
-
8.17.0-1
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
-
-
✔
1
8.17.0
advi
*
7
(
9
)
-
1.10.2-4
1.10.2-9
-
1.10.2-9
1 bug
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
84
2.0.0
alt-ergo
*
1
1
2.0.0-3
2.0.0-7
-
Excuse
2.4.2-2
-
2.4.2-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
S
✔
✔
✔
-
64
2.4.3
approx
*
[
RFA
]
31
-
5.10-1
5.10-2
5.12-1
-
5.12-1
2 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
104
-
apron
-
-
0.9.10-9
0.9.10-9.1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
8
-
belenios
*
-
-
1.8+dfsg-1
1.14+dfsg-1
2.0+dfsg-1
-
2.0+dfsg-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
15
2.1
ben
*
5
-
0.8.2
0.9.2
0.10.1
-
0.10.1u1
-
Git
✔
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
30
-
bibtex2html
*
1
-
1.99-2
1.99-3
-
1.99-3
1 bug
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
776
1.99
bin-prot
*
-
-
113.33.03-4
1:0.14.0-1
1:0.15.0-1
-
1:0.15.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
ERROR
biniou
[
RFA
]
-
-
1.0.12-2
1.2.1-1
1.2.2-1
-
1.2.2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
48
1.2.2
cairo-ocaml
[
RFA
]
2
-
1:1.2.0-6
1:1.2.0-8
-
1:1.2.0-8
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
114
1.2.0
calendar
*
1
-
2.04-1
2.04-3
3.0.0-1
-
3.0.0-1
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBFS
104
ERROR
caml-mode
*
2
-
-
4.06-2
-
4.06-2
-
Git
4.06-3
1×
✓
✔
✔
✔
-
-
✔
188
-
caml2html
[
RFA
]
-
-
1.4.3-2
1.4.4-2
-
1.4.4-2
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
ERROR
camlbz2
*
1
-
0.6.0-7
0.6.0-10
0.7.0-1
-
0.7.0-1
-
Git !2
✔
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
43
0.7.0
camlidl
*
1
-
1.05-15.1
1.09-1
1.11-1
-
1.11-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
564
ERROR
camlidl-doc
-
-
1.04-4
1.04-5
-
1.04-5
-
Git !1
✔
1×
✓
✔
✔
✔
MA
-
-
✔
5
-
camlimages
*
-
-
1:4.2.6-4
1:5.0.4-1
1:5.0.4-2
-
1:5.0.4-2
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
✔
-
-
✔
91
5.0.4
camljava
2
-
0.3-2
-
0.3-4
-
0.3-4
1 bug
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
∉
∉
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.4
camlmix
1
-
1.3.1-3
1.3.1-4
-
1.3.1-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
ERROR
camlp-streams
*
-
-
-
5.0.1-1
-
5.0.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
35
5.0.1
camlp4
*
2
-
4.05+1-2
4.11+1-1
4.13+1-1
-
4.13+1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1230
4.14+1
camlp5
*
-
-
7.01-1
7.13-1
8.00.04-1
-
8.00.04-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
230
8.00.04
camlpdf
*
-
-
2.2.1-1
2.3.1-2
2.5.3-1
-
2.5.3-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
16
2.5.3
camltemplate
-
-
1.0.2-2
1.0.2-3
-
1.0.2-3
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
camlzip
*
-
-
1.07-2
1.10-1
1.11-1
-
1.11-1
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
201
ERROR
camomile
*
-
-
0.8.5-1
1.0.2-3
1.0.2+2-1
-
1.0.2+2-1
-
Git
failed
1.0.2+2-1+3
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
228
ERROR
cmdliner
*
-
-
1.0.2-1
1.0.4-2
1.1.1-1
-
1.1.1-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
19
1.2.0
coccinelle
*
-
-
1.0.4.deb-4
1.1.0.deb-1.1
1.1.1.deb-2
-
1.1.1.deb-2u2
-
Git !1
failed
✔
✔
✔
✔
∉
✔
✔
∿
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
∿
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
✔
FTBFS
104
1.1.1.deb
coinst
*
1
-
-
1.9.3-3
-
1.9.3-3
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
6
ERROR
comparelib
*
-
-
113.00.00-2
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
coq
*
-
-
8.9.0-1
8.12.0-3
8.16.1+dfsg-1
-
8.16.1+dfsg-1
3 bugs
Git !2
failed
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
S
T
U
F
✔
✔
FTBR
846
8.17.0
coq-bignums
*
-
-
-
8.17.0-2
-
8.17.0-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
8.17.0
coq-corn
*
-
-
-
8.16.0-2
-
8.16.0-2
-
Git !2
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
-
8.16.0
coq-deriving
*
-
-
-
0.1.0-2
-
0.1.0-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
0.1.1
coq-dpdgraph
*
-
-
-
1.0+8.16-2
-
1.0+8.16-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.0+8.17
coq-elpi
*
-
-
-
1.16.0-2
-
1.16.0-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
∿
∉
∉
∉
∉
✔
T
U
✔
-
-
✔
2
1.17.1
coq-equations
*
-
-
-
1.3-8.16-2
-
1.3-8.16-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
-
1.3-8.17
coq-ext-lib
*
-
-
-
0.11.7-2
-
0.11.7-2
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
0.11.8
coq-extructures
*
-
-
-
0.3.1-3
-
0.3.1-3
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
0.3.1
coq-gappa
*
-
-
-
1.5.2-5
-
1.5.2-5
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.5.3
coq-hammer
*
-
-
-
1.3.2+8.16-2
-
1.3.2+8.16-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.3.2+8.17
coq-hierarchy-builder
*
-
-
-
1.4.0-2
-
1.4.0-2
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
∉
✔
T
U
✔
-
-
✔
2
1.4.0
coq-hott
*
-
-
-
8.16-2
-
8.16-2
-
Git !1
8.16-1+1
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
-
8.17
coq-interval
*
-
-
-
4.6.1-2
-
4.6.1-2
-
Git !2
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
4.7.0
coq-iris
*
-
-
-
4.0.0-3
-
4.0.0-3
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
FTBR
-
4.0.0
coq-libhyps
*
-
-
-
2.0.6-2
-
2.0.6-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
2.0.6
coq-math-classes
*
-
-
-
8.15.0-4
-
8.15.0-4
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
8.17.0
coq-menhirlib
*
-
-
-
20220210+ds-4
-
20220210+ds-4
-
Git
failed
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
20230428
coq-mtac2
*
-
-
-
1.4+8.16-2
-
1.4+8.16-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.4+8.17
coq-quickchick
*
-
-
-
1.6.4-3
-
1.6.4-3
-
Git
ERROR
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
.2.0
coq-record-update
*
-
-
-
0.3.1-2
-
0.3.1-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
0.3.2
coq-reduction-effects
*
-
-
-
0.1.4-3
-
0.1.4-3
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
0.1.4
coq-reglang
*
-
-
-
1.1.3-2
-
1.1.3-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.1.3
coq-relation-algebra
*
-
-
-
1.7.8-2
-
1.7.8-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.7.9
coq-simple-io
*
-
-
-
1.8.0-2
-
1.8.0-2u2
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.8.0
coq-stdpp
*
-
-
-
1.8.0-3
-
1.8.0-3
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.8.0
coq-unicoq
*
[
ITP
]
-
-
-
1.6-8.16-2
-
1.6-8.16-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
1.6-8.17
coq-unimath
*
-
-
-
20220816-2
-
20220816-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
20230420
coqeal
*
-
-
-
1.1.1-3
-
1.1.1-3
-
Git
ERROR
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.1.3
coqprime
*
-
-
-
8.15-2
-
8.15-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
8.17
coquelicot
*
-
-
-
3.2.0-8
-
3.2.0-8
-
Git !1
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
1
3.3.1
cothreads
*
-
-
0.10-4
0.10-5
0.10-6
-
0.10-6
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
0.10
cppo
[
RFA
]
-
-
1.6.4-3
1.6.6-2
1.6.9-1
-
1.6.9-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
14
1.6.9
crowbar
*
-
-
-
0.2.1-2
-
0.2.1-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
-
-
✔
1
0.2.1
cryptgps
*
-
-
0.2.1-9
0.2.1-11
-
0.2.1-11
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
88
0.2.1
cryptokit
*
-
-
1.11-1
1.16.1-1
1.18-1
-
1.18-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
-
-
✔
180
ERROR
cudf
*
-
-
0.7-3
0.9-1
0.9-2
-
0.9-2
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
✔
✔
✔
13
0.10
dh-coq
*
-
-
-
0.5
-
0.5
-
Git !1
✔
1×
✓
✔
✔
✔
MA
-
-
✔
3
-
dh-ocaml
*
7
-
1.1.0
1.1.3
-
1.1.3
-
Git !4
archive/debian/1.1.3+1
1×
✓
✔
✔
✔
MA
-
-
✔
190
-
dose3
*
27
-
5.0.1-12
6.0.1-2
7.0.0-1
-
7.0.0-1
-
Git !3
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
∉
✔
∉
✔
✔
✔
✔
✔
✔
174
7.0.0
dune
*
-
-
1.6.2-2
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
34
-
easy-format
*
-
-
1.2.0-1
1.3.2-1
1.3.4-1
-
1.3.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
53
ERROR
eliom
*
-
-
-
6.12.4-1
9.4.0-2
-
9.4.0-2
-
Git
✔
✔
∉
✔
∉
✔
✔
✔
∉
∉
✔
∉
∉
∉
∉
✔
✔
∉
✔
✔
∉
✔
∉
∉
∉
✔
✔
✔
-
-
✔
7
10.0.0
elpi
*
-
-
-
1.16.8-1
-
1.16.8-1
-
Git !1
✔
7×
✓
✔
✔
✔
-
-
FTBFS
3
1.16.10
enumerate
*
-
-
111.08.00-3
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
extlib
*
-
-
1.7.0-3
1.7.7-2
1.7.8-2
-
1.7.8-2
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
148
ERROR
facile
[
RFA
]
-
-
1.1.1-1
1.1.3-1
1.1.4-1
-
1.1.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
fieldslib
*
-
-
113.33.03-2
1:0.14.0-1
1:0.15.0-1
-
1:0.15.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
0.16.0
findlib
*
-
-
1.7.3-2
1.8.1-2
1.9.6-1
-
1.9.6-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2027
1.9.6
flocq
*
-
-
-
4.1.0-3
-
4.1.0-3
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
4.1.1
frama-c
*
[
RFH
]
-
-
20171101+sulfur+dfsg-2
20201209+titanium-4.1
20220511-manganese-3
-
20220511-manganese-3
-
Git !1
20220511-manganese-4
⎇
✔
✔
⌚
✔
✔
✔
✔
✘
✔
✔
⌚
⌚
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
⌚
✔
S
T
X
✔
✔
✔
29
ERROR
freetennis
*
1
-
0.4.8-10
0.4.8-13
0.4.8-14
-
0.4.8-14
1 bug
Git !1
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
FTBFS
80
0.4.8
galax
-
-
1.1-15
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
18
-
gd4o
[
RFA
]
3
-
1.0~alpha5-8
1.0~alpha5-9
-
1.0~alpha5-9
-
Git !1
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
12
1.0~alpha5
gmetadom
[
RFA
]
-
-
0.2.6-7
-
0.2.6-7
-
Git
ERROR
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
MA
-
-
✔
220
0.2.6
headache
*
2
-
1.03-27
1.04-1
1.06-1
-
1.06-1
3 bugs
(1 patch)
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
15
1.06
herelib
*
-
-
112.35.00-2
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
hevea
*
4
-
2.32-2
2.34-2
2.36-1
-
2.36-1
2 bugs
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
FTBR
656
2.36
hlins
*
-
-
0.39-24
0.39-27
0.39-29
-
0.39-29
-
Git
✔
1×
✓
✔
✔
✔
✔
✔
✔
16
-
hol-light
*
1
-
-
20190729-4
20230128-1
-
20230128-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
S
T
U
✔
-
-
✔
108
ERROR
janest-base
*
-
-
-
0.14.0-1
0.15.1-1
-
0.15.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
23
0.16.0
janest-ocaml-compiler-libs
*
-
-
-
0.12.3-1
0.12.4-1
-
0.12.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
44
ERROR
js-build-tools
*
-
-
113.33.04-2
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
js-of-ocaml
*
-
-
-
3.8.0-2
4.0.0-2
-
4.0.0-2
-
Git
4.0.0-3
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
14
ERROR
js-of-ocaml-ocamlbuild
*
-
-
-
0.0.0+git20220118+852302c8-2
-
0.0.0+git20220118+852302c8-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
3
5.0
jsonm
*
-
-
1.0.1-2
1.0.1-2.1
-
1.0.1-2.1
1 bug
Git !3
1.0.1-2
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
MA
-
-
✔
8
1.0.2
lablgl
*
1
-
1:1.05-3
1:1.06-1
-
1:1.06-1
-
Git !2
1:1.06-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
61
ERROR
lablgtk-extras
*
1
-
-
1.6-2
1.6-3
-
1.6-3
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
5
ERROR
lablgtk2
*
10
-
2.18.5+dfsg-3
2.18.11-1
2.18.13-1
-
2.18.13-1
5 bugs
(1 patch)
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
-
-
✔
835
ERROR
lablgtk3
*
-
-
3.0~beta3-1
3.1.1+official-1
3.1.3-1
-
3.1.3-1
3 bugs
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
709
ERROR
lablgtkmathview
*
-
-
0.7.8-7
-
-
-
Buildd
Logs
✔
S
X
-
-
-
4
-
labltk
*
-
-
8.06.2+dfsg-1
8.06.9-1
8.06.13-1
-
8.06.13-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
75
ERROR
laby
*
-
-
0.6.4-2
0.7.0-1
-
0.7.0-1
2 bugs
Git !1
0.7.0-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
-
-
✔
372
0.7.0
lambda-term
*
-
-
1.10.1-2
3.1.0-1
3.2.0-1
-
3.2.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
51
ERROR
ledit
*
-
-
2.04-1
2.04-5
2.04-6
-
2.04-6
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2767
2.04
liquidsoap
*
8
-
1.3.3-2
1.4.3-3
2.1.3-2
-
2.1.3-2
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
∉
∉
∉
∉
✔
✔
∉
∉
✔
∉
✔
∉
∉
∉
✔
✔
✔
✔
✔
FTBR
140
2.1.4
lwt
*
1
-
2.7.1-4
5.3.0-1
5.6.1-1
-
5.6.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
153
ERROR
lwt-log
*
-
-
-
1.1.1-3
1.1.2-1
-
1.1.2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
50
1.1.2
lwt-ssl
*
-
-
-
1:1.1.3-2
-
1:1.1.3-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
23
ERROR
marionnet
*
-
-
0.90.6+bzr508-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
1
-
mathcomp-abel
*
-
-
-
1.2.1-1
-
1.2.1-1
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.2.1
mathcomp-algebra-tactics
*
-
-
-
1.0.0-8
-
1.0.0-8
-
Git
✔
⎇
∉
✔
∉
✔
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.1.1
mathcomp-analysis
*
-
-
-
0.6.0-2
-
0.6.0-2
-
Git
✔
⎇
∉
✔
∉
✔
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
0.6.2
mathcomp-bigenough
*
-
-
-
1.0.1-8
-
1.0.1-8
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
3
1.0.1
mathcomp-finmap
*
-
-
-
1.5.2-1
-
1.5.2-1
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
3
2.0.0
mathcomp-multinomials
*
-
-
-
1.5.5-8
-
1.5.5-8
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.6.0
mathcomp-real-closed
*
-
-
-
1.1.3-1
-
1.1.3-1
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.1.4
mathcomp-zify
*
-
-
-
1.2.0+1.12+8.13-6
-
1.2.0+1.12+8.13-6
-
Git
✔
⎇
∉
✔
∉
✔
∉
✔
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
2
1.4.0+2.0+8.16
menhir
*
-
-
20181113-1
20201216-1
20220210+ds-2
-
20220210+ds-2
-
Git !2
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
53
20230428
meta-ocaml
*
-
-
3.12.0.1
4.08.1.2
-
4.08.1.2
-
Git
✔
1×
✓
✔
✔
X
-
-
✔
120
-
meta-unison
*
72
(
76
)
-
2.48+2
2.51.3+1
2.52+1
-
2.52+1
3 bugs
Git
✔
1×
✓
✔
✔
✔
-
-
✔
3255
-
mikmatch
-
-
1.0.8-1
1.0.9-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
2
-
mldonkey
*
-
-
3.1.6-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
150
-
mlgmp
*
-
-
20021123-19
20021123-21
-
20021123-21
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
9
20120224
mlpcap
*
-
-
0.9-17.1
0.9-19
0.9-20
-
0.9-20
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
∉
✔
✔
✔
✔
X
-
-
✔
5
-
mlpost
*
1
1
0.8.1-8
0.8.2-4
0.9-2
-
0.9-2
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
109
ERROR
morbig
*
-
-
0.9.1-2
0.10.4-4
0.10.4-6
-
0.10.4-6
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
10
0.11.0
morsmall
*
-
-
0.1-1
0.3.0-3
0.3.0-4
-
0.3.0-4
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
2
0.3.0
mysql-ocaml
*
-
-
1.2.1-1
1.2.4-1
-
1.2.4-1u3
1 bug
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
80
ERROR
nproc
*
-
-
0.5.1-2
0.5.1-3
-
0.5.1-3
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.5.1
nss-passwords
*
2
-
0.2-2
0.3-1
0.3-2
-
0.3-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
113
0.3
nurpawiki
*
-
-
-
1.2.4-1
1.2.4-2
-
1.2.4-2
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
✔
∉
∉
∉
∉
✔
✔
∉
✔
✔
∉
✔
∉
∉
∉
✔
✔
✔
-
-
✔
7
ERROR
oasis
[
RFA
]
1
-
0.4.10-2
0.4.11-1
0.4.11-2
-
0.4.11-2
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
17
0.4.11
obus
*
-
-
1.1.5-6
1.2.3-1
1.2.4-1
-
1.2.4-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
-
1.2.4
ocaml
*
11
-
4.05.0-11
4.11.1-4
4.13.1-4
-
4.13.1-4u1
7 bugs
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✘
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
✔
MA
-
-
✔
3360
5.1.0~alpha2
ocaml-afl-persistent
*
-
-
-
1.3-1
-
1.3-1
-
Git
✔
⎇
∉
✔
∉
✔
∿
✔
∉
∉
✔
∉
∉
∉
∉
∿
∿
∿
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
1
1.4
ocaml-alcotest
*
-
-
-
1.6.0-1
-
1.6.0-1
-
Git !1
1.6.0-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
ERROR
ocaml-alsa
-
-
0.2.3-1
0.3.0-1
-
0.3.0-1
-
Git !1
0.3.0-2
19×
✓
✔
✔
✔
-
-
✔
54
ERROR
ocaml-angstrom
*
-
-
-
0.15.0-1
-
0.15.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
7
ERROR
ocaml-ansi-terminal
*
-
-
-
0.8.5-1
-
0.8.5-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.8.5
ocaml-ao
-
-
0.2.0-2
0.2.1-1
0.2.4-1
-
0.2.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
23
0.2.4
ocaml-asn1-combinators
*
-
-
-
0.2.6-2
-
0.2.6-2
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
1
ERROR
ocaml-astring
*
-
-
-
0.8.5-1
-
0.8.5-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
18
0.8.5
ocaml-atd
*
-
-
2.0.0-3
2.2.1-1
2.10.0-2
-
2.10.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✘
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
FTBR
6
2.12.0
ocaml-base64
*
-
-
2.0.0-2
3.4.0-1
3.5.0-1
-
3.5.0-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
12
3.5.1
ocaml-batteries
*
-
-
2.6.0-1
3.1.0-2
3.6.0-1
-
3.6.0-1
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
FTBR
515
3.6.1
ocaml-benchmark
-
-
1.3-2
1.6-1
1.6-2
-
1.6-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
ocaml-bigarray-compat
*
-
-
-
1.0.0-1
1.1.0-1
-
1.1.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
34
ERROR
ocaml-bigstringaf
*
-
-
-
0.9.0-1
-
0.9.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
7
0.9.1
ocaml-bitstring
*
-
-
2.0.4-2
3.1.1-2
4.1.0-1
-
4.1.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
116
ERROR
ocaml-bjack
*
-
-
0.1.4-2
0.1.5-1
0.1.6-1
-
0.1.6-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
8
ERROR
ocaml-bos
*
-
-
-
0.2.1-1
-
0.2.1-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
0.2.1
ocaml-ca-certs
*
-
-
-
0.2.3-1
-
0.2.3-1
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
✔
∉
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
ERROR
ocaml-cairo2
*
-
-
-
0.6.2+dfsg-1
0.6.4+dfsg-1
-
0.6.4+dfsg-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
718
0.6.4
ocaml-charinfo-width
*
-
-
-
1.1.0-2
-
1.1.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
43
ERROR
ocaml-cohttp
*
-
-
-
4.0.0-3
-
4.0.0-3
-
Git
5.0.0-1
⎇
∉
✔
∉
✔
✔
✔
∉
∉
✔
∉
∉
∉
∉
✔
✔
∉
✔
✔
∉
✔
∉
∉
∉
✔
✔
✔
-
-
✔
5
ERROR
ocaml-conduit
*
-
-
-
4.0.2-3
-
4.0.2-3
-
Git !1
5.1.1-1
⎇
∉
✔
∉
✔
✔
✔
∉
∉
✔
∉
∉
∉
∉
✔
✔
∉
✔
✔
∉
✔
∉
∉
∉
✔
✔
✔
-
-
✔
5
ERROR
ocaml-config-file
*
-
-
1.2-1
1.2.1-1
-
1.2.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
64
1.2.1
ocaml-cpu
*
1
-
-
2.0.0-1
-
2.0.0-1
-
Git !1
failed
2.0.0-1+12
⎇
✘
✔
∉
✔
✘
✔
✘
✔
✔
✘
∉
∉
✘
✘
✘
✘
✔
✔
✔
✔
✘
✘
✘
✔
✔
✔
-
-
✔
1
2.0.0
ocaml-cry
*
-
-
0.6.2-1
0.6.5-1
0.6.7-1
-
0.6.7-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
0.6.7
ocaml-csexp
*
-
-
-
1.3.2-1
1.5.1-1
-
1.5.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
11
ERROR
ocaml-cstruct
*
-
-
-
6.0.0-1
6.1.1-1
-
6.1.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
7
ERROR
ocaml-csv
*
6
-
1.5-1
2.4-1
-
2.4-1
3 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
398
2.4
ocaml-ctypes
*
-
-
0.7.0-1
0.17.1-2
0.20.1-1
-
0.20.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✘
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
-
-
✔
133
ERROR
ocaml-curses
-
-
1.0.3-3
1.0.6-2
1.0.11-1
-
1.0.11-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
✔
-
-
✔
165
ERROR
ocaml-data-notation
-
-
0.0.11-2
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
1
-
ocaml-dbus
[
RFA
]
-
-
0.29-3
0.29-6
-
0.29-6
-
Git !2
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
0.29
ocaml-deriving-ocsigen
*
-
-
0.7.1-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
4
-
ocaml-domain-name
*
-
-
-
0.3.0-2
0.4.0-1
-
0.4.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
11
ERROR
ocaml-dssi
-
-
0.1.1-2
0.1.2-1
0.1.5-1
-
0.1.5-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2
ERROR
ocaml-dtools
*
-
-
0.4.1-1
0.4.2-1
0.4.4-1
-
0.4.4-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
0.4.4
ocaml-dune
*
1
-
-
2.7.1-2
2.9.3-1
-
2.9.3-1
1 bug
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
157
ERROR
ocaml-duppy
*
-
-
0.8.0-1
0.9.2-2
-
0.9.2-2
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
0.9.2
ocaml-duration
*
-
-
-
0.2.1-1
-
0.2.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
ocaml-eqaf
*
-
-
-
0.9-1
-
0.9-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
2
ERROR
ocaml-estring
*
-
-
20130822-5
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
7
-
ocaml-expat
*
1
-
0.9.1+debian1-7
1.1.0-1
-
1.1.0-1
-
Git !2
1.1.0-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
16
ERROR
ocaml-expect
[
RFA
]
-
-
0.0.5-2
0.0.6-1
0.0.6-2
-
0.0.6-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
8
ERROR
ocaml-extunix
*
-
-
0.1.6-1
0.2.0-1
0.4.1-1
-
0.4.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
ERROR
ocaml-faad
*
-
-
0.4.0-1
0.5.1-2
-
0.5.1-2
-
Git
failed
0.5.1-2+2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
15
0.5.1
ocaml-ffmpeg
*
-
-
-
0.4.3-1
1.1.6-2
-
1.1.6-2
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
36
1.1.7
ocaml-fileutils
[
RFA
]
-
-
0.5.3-1
0.6.3-1
0.6.4-1
-
0.6.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
21
0.6.4
ocaml-flac
*
-
-
0.1.3-2
0.2.0.1~really0.1.7-1
0.3.1-1
-
0.3.1-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
12
0.4.0
ocaml-fmt
*
-
-
-
0.8.9-1
0.9.0-2
-
0.9.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
15
0.9.0
ocaml-fpath
*
-
-
-
0.7.3-2
-
0.7.3-2
-
Git !3
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
6
0.7.3
ocaml-frei0r
-
-
0.1.0-3
0.1.1-1
0.1.2-1
-
0.1.2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
7
ERROR
ocaml-gavl
-
-
0.1.5-2
0.1.6-1
-
0.1.6-1
-
Git
0.1.6-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
6
ERROR
ocaml-gen
*
-
-
0.5-1
0.5.3-1
1.0-1
-
1.0-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
5
ERROR
ocaml-getopt
*
1
-
0.0.20040811-10
0.0.20040811-11
-
0.0.20040811-11
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
7
0.0.20040811
ocaml-gettext
*
-
-
0.3.7-1
0.4.2-1
-
0.4.2-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
143
0.4.2
ocaml-gmap
*
-
-
-
0.3.0-1
-
0.3.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
ocaml-gnuplot
*
-
-
0.8.3-3
0.8.3-4
-
0.8.3-4
-
Git
0.8.3-5
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
0.8.3
ocaml-graphics
*
2
-
-
5.1.0-3
5.1.2-1
-
5.1.2-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
92
ERROR
ocaml-gstreamer
*
-
-
0.2.0-2
0.3.0-2
0.3.1-2
-
0.3.1-2
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
37
0.3.1
ocaml-hex
*
-
-
-
1.4.0-1
1.5.0-1
-
1.5.0-1
-
Git
1.5.0-1+1
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
2
ERROR
ocaml-hmap
*
-
-
-
0.8.1-1
-
0.8.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
0.8.1
ocaml-http
[
RFA
]
1
-
0.1.5-1
0.1.6-1
-
0.1.6-1
-
Git
0.1.6-2
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
ERROR
ocaml-inifiles
[
RFA
]
-
-
1.2-3
1.2-4
1.2-5
-
1.2-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
-
ocaml-inotify
[
RFA
]
-
-
1.0-2
2.3-2
2.4.1-3
-
2.4.1-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
⎇
✔
✔
⎇
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
2.4.1
ocaml-integers
*
-
-
-
0.4.0-1
0.7.0-1
-
0.7.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
109
0.7.0
ocaml-ipaddr
*
-
-
-
5.0.1-1
5.3.1-1
-
5.3.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
18
ERROR
ocaml-ladspa
-
-
0.1.4-1.1
0.1.5-1
0.2.2-1
-
0.2.2-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
17
ERROR
ocaml-lame
*
-
-
0.3.2-1
0.3.4-1
0.3.6-2
-
0.3.6-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
22
0.3.7
ocaml-lastfm
*
-
-
0.3.0-4
0.3.2-1
0.3.3-1
-
0.3.3-1
-
Git !1
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
0.3.3
ocaml-lo
*
-
-
0.1.0-1
0.1.2-1
0.2.0-2
-
0.2.0-2
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
0.2.0
ocaml-logs
*
-
-
-
0.7.0-2
-
0.7.0-2
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
0.7.0
ocaml-luv
*
-
-
-
0.5.10-2
-
0.5.10-2
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
1
ERROR
ocaml-mad
*
-
-
0.4.4-2
0.4.6-1
0.5.2-1
-
0.5.2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
22
ERROR
ocaml-magic
-
-
0.7.3-5
0.7.3-6
-
0.7.3-6
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
0.7.3
ocaml-magic-mime
*
-
-
-
1.3.0-1
-
1.3.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
ERROR
ocaml-mccs
*
-
-
-
1.1+11-1
1.1+13-1
-
1.1+13-1
-
Git !1
✔
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
1.1+15
ocaml-melt
*
1
1
1.4.0-2
-
Excuse
1.4.0-3
-
-
Git
✔
⎇