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
-
usertags
-
WNPP
-
— Reports:
Dashboard
-
Buildd
-
Lintian
-
Debtags
-
Piuparts
-
Janitor
-
Contributions
-
Repology
-
Portfolio
main
(369)
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-3
AUTORM
-
8.17.0-3
-
Git
8.18.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
-
-
✔
3
8.18.0
advi
*
9
(
11
)
-
1.10.2-9
1.10.2-10
-
1.10.2-10
1 bug
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
FTBR
77
2.0.0
alt-ergo
*
-
-
2.0.0-7
-
-
-
Buildd
Logs
✔
✔
X
✔
(
fail
)
-
32
-
approx
*
[
RFA
]
31
-
5.10-2
5.12-1
5.12-2
-
5.12-2
2 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
102
-
apron
-
-
0.9.10-9.1
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
9
-
belenios
*
1
-
1.14+dfsg-1
2.0+dfsg-1
2.2+git10-gbb6b7ea8+dfsg-1
-
2.2+git10-gbb6b7ea8+dfsg-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
17
2.3
ben
*
7
-
0.9.2
0.10.1
0.10.3
-
0.10.3u2
-
Git
✔
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
∿
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
(
-
)
30
-
bibtex2html
*
2
-
1.99-3
1.99-4
-
1.99-4
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
683
1.99
bin-prot
*
-
-
1:0.14.0-1
1:0.15.0-1
1:0.15.0-3
-
1:0.15.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
3
0.16.0
biniou
[
RFA
]
-
-
1.2.1-1
1.2.2-1
1.2.2-3
-
1.2.2-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
30
1.2.2
cairo-ocaml
[
RFA
]
1
-
1:1.2.0-8
1:1.2.0-9
-
1:1.2.0-9
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
100
1.2.0
calendar
*
1
-
2.04-3
3.0.0-1
3.0.0-4
-
3.0.0-4
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
FTBFS
88
ERROR
caml-mode
*
1
-
4.06-2
4.9-3
-
4.9-3
-
Git
✔
1×
✓
✔
✔
✔
-
-
✔
215
4.9
caml2html
[
RFA
]
-
-
1.4.4-2
1.4.4-3
-
1.4.4-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
6
1.4.4
camlbz2
*
2
-
0.6.0-10
0.7.0-1
0.7.0-2
-
0.7.0-2
-
Git
✔
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
39
0.7.0
camlidl
*
1
-
1.09-1
1.11-1
1.11-2
-
1.11-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
471
ERROR
camlidl-doc
-
-
1.04-5
-
1.04-5
-
Git
1.04-6
1×
✓
✔
✔
✔
MA
-
-
✔
7
-
camlimages
*
-
-
1:5.0.4-1
1:5.0.4-2
1:5.0.4-4
-
1:5.0.4-4
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
82
5.0.4
camljava
2
-
-
0.3-4
0.3-5
-
0.3-5
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.4
camlmix
2
-
1.3.1-4
1.3.1-5
-
1.3.1-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
ERROR
camlp-streams
*
-
-
-
5.0.1-1
5.0.1-3
-
5.0.1-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
509
5.0.1
camlp4
*
3
-
4.11+1-1
4.13+1-1
4.14+1-1
-
4.14+1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
1054
5.0+1
camlp5
*
1
-
7.13-1
8.00.04-1
8.02.01-2
-
8.02.01-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
211
8.02.01
camlp5-buildscripts
*
-
-
-
0.03-1
-
0.03-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.03
camlpdf
*
-
-
2.3.1-2
2.5.3-1
2.6-1
-
2.6-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
14
2.6.2
camltemplate
-
-
1.0.2-3
1.0.2-4
-
1.0.2-4
-
Git
1.0.2-4+2
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2
ERROR
camlzip
*
-
-
1.10-1
1.11-1
1.11-2
-
1.11-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
181
ERROR
camomile
*
1
-
1.0.2-3
1.0.2+2-1
2.0.0-2
-
2.0.0-2
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
216
2.0.0
cmdliner
*
-
-
1.0.4-2
1.1.1-1
1.2.0-2
-
1.2.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
39
1.2.0
coccinelle
*
1
-
1.1.0.deb-1.1
1.1.1.deb-2
1.1.1.deb-5
-
1.1.1.deb-5
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
119
1.1.1.deb
coinst
*
-
-
1.9.3-3
1.9.3-5
-
1.9.3-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
5
1.9.3
coq
*
2
1
8.12.0-3
8.16.1+dfsg-1
8.17.0+dfsg-1
AUTORM
-
8.17.0+dfsg-1u1
3 bugs
Git
failed
8.18.0+dfsg-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
F
✔
✔
FTBFS
713
8.18.0
coq-bignums
*
1
-
-
8.17.0-2
8.17.0-3
AUTORM
-
8.17.0-3
-
Git
9.0.0+coq8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
8.17.0
coq-corn
*
1
-
-
8.16.0-2
8.16.0-3
AUTORM
-
8.16.0-3
-
Git
8.18.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
1
8.18.0
coq-deriving
*
1
-
-
0.1.0-2
0.1.1-1
AUTORM
-
0.1.1-1
-
Git
0.2.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.2.0
coq-dpdgraph
*
1
-
-
1.0+8.16-2
1.0+8.17-1
AUTORM
-
1.0+8.17-1
-
Git
1.0+8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
1.0+8.18
coq-elpi
*
1
-
-
1.16.0-2
1.17.1-1
AUTORM
-
1.17.1-1
-
Git
1.19.3-1
⎇
∉
✔
∉
✔
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
∿
∉
∉
∉
∉
✔
S
T
U
✔
-
-
✔
3
1.19.3
coq-equations
*
-
-
-
1.3-8.16-2
1.3-8.17-2
AUTORM
-
1.3-8.17-2
-
Git
1.3-8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.3-8.18
coq-ext-lib
*
1
-
-
0.11.7-2
0.11.8-1
AUTORM
-
0.11.8-1
-
Git
0.12.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
0.12.0
coq-extructures
*
1
-
-
0.3.1-3
0.3.1-4
AUTORM
-
0.3.1-4
-
Git
0.4.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.4.0
coq-gappa
*
1
-
-
1.5.2-5
1.5.3-1
AUTORM
-
1.5.3-1
-
Git
1.5.4-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
1.5.4
coq-hammer
*
1
-
-
1.3.2+8.16-2
1.3.2+8.17-1
AUTORM
-
1.3.2+8.17-1
-
Git
1.3.2+8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.3.2+8.18
coq-hierarchy-builder
*
1
-
-
1.4.0-2
1.4.0-6
AUTORM
-
1.4.0-6
-
Git
1.6.0-1
⎇
∉
✔
∉
✔
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
✔
S
T
U
✔
-
-
✔
3
1.6.0
coq-hott
*
-
-
-
8.16-2
8.18-1
AUTORM
-
8.18-1
-
Git
8.18-2
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
8.18
coq-interval
*
1
-
-
4.6.1-2
4.8.0-1
AUTORM
-
4.8.0-1
-
Git
4.9.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
4.9.0
coq-iris
*
1
-
-
4.0.0-3
4.0.0-4
AUTORM
-
4.0.0-4
-
Git
4.1.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
FTBR
1
4.1.0
coq-libhyps
*
1
-
-
2.0.6-2
2.0.6-3
AUTORM
-
2.0.6-3
-
Git
2.0.6-4
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
2.0.6
coq-math-classes
*
1
-
-
8.15.0-4
8.17.0-1
AUTORM
-
8.17.0-1
-
Git
8.18.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
FTBFS
2
8.18.0
coq-menhirlib
*
1
-
-
20220210+ds-4
20230608+ds-1
AUTORM
-
20230608+ds-1
-
Git
failed
20230608+ds-2
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
20230608
coq-mtac2
*
1
-
-
1.4+8.16-2
1.4+8.17-1
AUTORM
-
1.4+8.17-1
-
Git
1.4+8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.4+8.18
coq-quickchick
*
1
-
-
1.6.4-3
2.0-2
AUTORM
-
2.0-2
-
Git
2.0.1-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
2.0.1
coq-record-update
*
1
-
-
0.3.1-2
0.3.2-1
AUTORM
-
0.3.2-1
-
Git
0.3.3-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.3.3
coq-reduction-effects
*
1
-
-
0.1.4-3
0.1.4-4
AUTORM
-
0.1.4-4
-
Git
0.1.5-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.1.5
coq-reglang
*
1
-
-
1.1.3-2
1.1.3-4
AUTORM
-
1.1.3-4
-
Git
1.2.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.2.0
coq-relation-algebra
*
1
-
-
1.7.8-2
1.7.9-1
AUTORM
-
1.7.9-1
-
Git
1.7.9-2
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.7.9
coq-simple-io
*
1
-
-
1.8.0-2
1.8.0-3
AUTORM
-
1.8.0-3u5
-
Git
1.8.0-4
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
1.8.0
coq-stdpp
*
1
-
-
1.8.0-3
1.8.0-4
AUTORM
-
1.8.0-4
-
Git
1.9.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.9.0
coq-unicoq
*
[
ITP
]
1
-
-
1.6-8.16-2
1.6-8.17-1
AUTORM
-
1.6-8.17-1
-
Git
1.6-8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✘
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.6-8.18
coq-unimath
*
1
-
-
20220816-2
20230420-4
AUTORM
-
20230420-4
-
Git
20231010-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
FTBFS
2
20231010
coqeal
*
1
-
-
1.1.1-3
1.1.3-1
AUTORM
-
1.1.3-1
-
Git
ERROR
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
2.0.0
coqprime
*
1
-
-
8.15-2
8.17-1
AUTORM
-
8.17-1
-
Git
8.18-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
8.18
coquelicot
*
1
-
-
3.2.0-8
3.3.1-1
AUTORM
-
3.3.1-1
-
Git
3.4.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
3.4.0
cothreads
*
-
-
0.10-5
0.10-6
-
0.10-6
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2
0.10
cppo
[
RFA
]
-
-
1.6.6-2
1.6.9-1
1.6.9-3
-
1.6.9-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
14
1.6.9
crowbar
*
-
-
-
0.2.1-2
0.2.1-5
-
0.2.1-5
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
S
✔
-
-
✔
1
0.2.1
cryptgps
*
-
-
0.2.1-11
0.2.1-12
-
0.2.1-12
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
82
0.2.1
cryptokit
*
1
-
1.16.1-1
1.18-1
1.18-3
-
1.18-3
-
Git
1.18-3+1
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
X
-
-
FTBFS
163
ERROR
cudf
*
1
-
0.9-1
0.9-2
0.10-3
-
0.10-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
X
✔
✔
✔
11
0.10
dh-coq
*
-
-
-
0.5
0.6
-
0.6
-
Git
0.7
1×
✓
✔
✔
✔
MA
-
-
✔
4
-
dh-ocaml
*
7
-
1.1.3
2.0
-
2.0
-
Git
✔
1×
✓
✔
✔
✔
-
-
✔
192
-
dose3
*
28
-
6.0.1-2
7.0.0-1
7.0.0-4
-
7.0.0-4
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
∉
∉
∉
✔
✔
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
X
✔
✔
✔
163
7.0.0
easy-format
*
1
-
1.3.2-1
1.3.4-1
1.3.4-3
-
1.3.4-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
31
ERROR
eliom
*
-
-
6.12.4-1
9.4.0-2
10.1.0-2
-
10.1.0-2
-
Git
✔
✔
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
X
-
-
✔
5
10.1.2
elpi
*
1
-
-
1.16.8-1
1.17.0-1
-
1.17.0-1
-
Git
1.18.0-1
⎇
⎇
✔
⎇
✔
⎇
⎇
⎇
⎇
⎇
✔
⎇
⎇
⎇
⎇
⎇
∉
✔
✔
⎇
✔
⎇
⎇
✔
✔
✔
-
-
FTBFS
4
1.18.1
extlib
*
1
-
1.7.7-2
1.7.8-2
-
1.7.8-2
-
Git
1.7.8-3
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
148
ERROR
facile
[
RFA
]
-
-
1.1.3-1
1.1.4-1
1.1.4-3
-
1.1.4-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
1
ERROR
fieldslib
*
-
-
1:0.14.0-1
1:0.15.0-1
1:0.16.0-2
-
1:0.16.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2
0.16.0
findlib
*
1
-
1.8.1-2
1.9.6-1
-
1.9.6-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
1916
1.9.6
flocq
*
1
-
-
4.1.0-3
4.1.1-1
AUTORM
-
4.1.1-1
-
Git
4.1.3-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
4.1.3
frama-c
*
[
RFH
]
2
-
20201209+titanium-4.1
20220511-manganese-3
20220511-manganese-5
-
20220511-manganese-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∿
✔
✔
✔
S
T
U
X
✔
✔
✔
27
ERROR
freetennis
*
-
-
0.4.8-13
0.4.8-14
-
-
-
Buildd
Logs
✔
S
✔
-
-
-
71
-
gd4o
*
-
-
1.0~alpha5-9
1.0~alpha5.git20220521.bb52fb2-1
-
1.0~alpha5.git20220521.bb52fb2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
10
1.0~alpha5.git20220521.bb52fb2
gmetadom
-
-
0.2.6-7
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
184
-
headache
*
2
-
1.04-1
1.06-1
1.07-1
-
1.07-1
3 bugs
(1 patch)
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
FTBFS
15
1.07
hevea
*
6
-
2.34-2
2.36-1
2.36-2
-
2.36-2
2 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
F
✔
✔
FTBR
586
2.36
hlins
*
-
-
0.39-27
0.39-29
0.39-30
-
0.39-30
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
17
-
hol-light
*
1
-
20190729-4
20230128-1
20231021-1
-
20231021-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
∉
✔
S
T
U
X
-
-
✔
102
ERROR
jane-street-headers
*
-
-
-
0.16.0-3
-
0.16.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
-
0.16.0
janest-base
*
-
-
0.14.0-1
0.15.1-1
0.16.3-1
-
0.16.3-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
31
0.17-preview-with-extensions
janest-ocaml-compiler-libs
*
1
-
0.12.3-1
0.12.4-1
0.12.4-4
-
0.12.4-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
121
ERROR
js-of-ocaml
*
1
-
3.8.0-2
4.0.0-2
5.4.0-2
-
5.4.0-2
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
40
5.5.1
js-of-ocaml-ocamlbuild
*
-
-
-
0.0.0+git20220118+852302c8-2
5.0-2
-
5.0-2
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
3
5.0
jsonm
*
-
-
1.0.1-2.1
1.0.2-2
-
1.0.2-2
1 bug
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
1.0.2
jst-config
*
-
-
-
0.16.0-3
-
0.16.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
-
0.16.0
lablgl
*
-
-
1:1.06-1
1:1.07-1
-
1:1.07-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
58
1.07
lablgtk-extras
*
-
-
1.6-2
1.6-3
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
5
-
lablgtk2
*
-
-
2.18.11-1
2.18.13-1
-
-
-
Buildd
Logs
✔
S
X
-
-
-
671
-
lablgtk3
*
-
-
3.1.1+official-1
3.1.3-1
3.1.3-2
-
3.1.3-2
3 bugs
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
200
ERROR
lablgtkmathview
*
-
-
0.7.8-7
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
1
-
labltk
*
-
-
8.06.9-1
8.06.13-1
8.06.13-2
-
8.06.13-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
67
ERROR
laby
*
-
-
0.7.0-1
0.7.0-2
-
0.7.0-2
2 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
-
-
✔
374
0.7.0
lambda-term
*
-
-
3.1.0-1
3.2.0-1
3.3.2-1
-
3.3.2-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
-
-
✔
57
3.3.2
ledit
*
-
-
2.04-5
2.04-6
2.04-7
-
2.04-7
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2720
2.04
liquidsoap
*
[
RM
]
9
1
1.4.3-3
2.1.3-2
-
Excuse
2.2.2-1
-
2.2.2-1
-
Git
failed
✔
✔
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
U
X
✔
(
fail
)
-
120
2.2.2
lwt
*
1
-
5.3.0-1
5.6.1-1
5.7.0-1
-
5.7.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
X
-
-
✔
164
5.7.0
lwt-log
*
-
-
1.1.1-3
1.1.2-1
1.1.2-4
-
1.1.2-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
75
1.1.2
lwt-ssl
*
-
-
1:1.1.3-2
1:1.2.0-2
-
1:1.2.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
20
1.2.0
mathcomp-abel
*
1
-
-
1.2.1-1
1.2.1-2
AUTORM
-
1.2.1-2
-
Git
1.2.1-3
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.2.1
mathcomp-algebra-tactics
*
1
-
-
1.0.0-8
1.1.1-2
AUTORM
-
1.1.1-2
-
Git
1.2.2-1
⎇
∉
✔
∉
✔
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.2.2
mathcomp-analysis
*
-
-
-
0.6.0-2
0.6.4-3
AUTORM
-
0.6.4-3
-
Git
0.6.5-1
⎇
∉
✔
∉
✔
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
∉
✔
∉
∉
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.6.6
mathcomp-bigenough
*
-
-
-
1.0.1-8
1.0.1-10
AUTORM
-
1.0.1-10
-
Git
1.0.1-11
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
1.0.1
mathcomp-finmap
*
1
-
-
1.5.2-1
1.5.2-3
AUTORM
-
1.5.2-3
-
Git
2.0.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
5
2.0.0
mathcomp-multinomials
*
1
-
-
1.5.5-8
1.6.0-3
AUTORM
-
1.6.0-3
-
Git
2.1.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
2.1.0
mathcomp-real-closed
*
1
-
-
1.1.3-1
1.1.4-2
AUTORM
-
1.1.4-2
-
Git
2.0.0-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
2.0.0
mathcomp-zify
*
-
-
-
1.2.0+1.12+8.13-6
1.3.0+1.12+8.13-1
AUTORM
-
1.3.0+1.12+8.13-1
-
Git
1.5.0+2.0+8.16-1
⎇
∉
✔
∉
✔
∉
✔
∉
∉
✔
✔
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
1.5.0+2.0+8.16
menhir
*
-
-
20201216-1
20220210+ds-2
20230608+ds-1
-
20230608+ds-1
-
Git
failed
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
70
20230608
meta-ocaml
*
-
-
4.08.1.2
4.13.1.1
-
4.13.1.1
-
Git
✔
1×
✓
✔
✔
X
-
-
✔
107
-
meta-unison
*
72
(
76
)
-
2.51.3+1
2.52+1
2.53+1
-
2.53+1
3 bugs
Git
✔
1×
✓
✔
✔
F
-
-
✔
3592
-
mikmatch
-
-
1.0.9-1
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
1
-
mlgmp
*
-
-
20021123-21
20021123-22
-
20021123-22
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
12
20120224
mlpcap
*
-
-
0.9-19
0.9-20
0.9-21
-
0.9-21
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
X
-
-
✔
5
-
mlpost
*
1
1
0.8.2-4
0.9-2
0.9-5
-
0.9-5
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
∉
✔
✔
∉
∉
✔
∉
✔
✔
✔
✔
∉
✔
∉
✔
✔
X
-
-
✔
104
0.9
morbig
*
1
-
0.10.4-4
0.10.4-6
0.10.4-7
-
0.10.4-7
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
10
0.11.0
morsmall
*
-
-
0.3.0-3
0.3.0-4
0.3.0-6
-
0.3.0-6
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
-
0.3.0
mysql-ocaml
*
1
-
1.2.4-1
1.2.4-2
-
1.2.4-2u2
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
79
ERROR
not-ocamlfind
*
-
-
-
0.12-1
-
0.12-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBFS
1
0.12
nproc
*
-
-
0.5.1-3
0.5.1-4
-
0.5.1-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
1
0.5.1
nss-passwords
*
3
-
0.3-1
0.3-2
0.4-1
-
0.4-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
115
0.4
nurpawiki
*
-
-
1.2.4-1
1.2.4-2
1.2.4-4
-
1.2.4-4
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
X
-
-
FTBFS
5
1.2.4
oasis
[
RFA
]
2
-
0.4.11-1
0.4.11-2
0.4.11-3
-
0.4.11-3
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
14
0.4.11
obus
*
-
-
1.2.3-1
1.2.4-1
1.2.4-3
-
1.2.4-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
-
1.2.4
ocaml
*
11
-
4.11.1-4
4.13.1-4
4.14.1-1
-
4.14.1-1u1
7 bugs
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
F
MA
-
-
FTBFS
3055
5.1.1~rc1
ocaml-afl-persistent
*
-
-
-
1.3-1
1.4-4
-
1.4-4
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
1
1.4
ocaml-alcotest
*
1
-
-
1.6.0-1
1.7.0-3
-
1.7.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
1.7.0
ocaml-alsa
-
-
0.3.0-1
0.3.0-4
-
0.3.0-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
⎇
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
46
ERROR
ocaml-angstrom
*
-
-
-
0.15.0-1
0.15.0-4
-
0.15.0-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
ERROR
ocaml-ansi-terminal
*
-
-
-
0.8.5-1
0.8.5-3
-
0.8.5-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.8.5
ocaml-ao
-
-
0.2.1-1
0.2.4-1
0.2.4-3
-
0.2.4-3
-
Git
0.2.4-3+1
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
21
0.2.4
ocaml-asn1-combinators
*
-
-
-
0.2.6-2
0.2.6-4
-
0.2.6-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
2
0.2.6
ocaml-astring
*
-
-
0.8.5-1
0.8.5-2
-
0.8.5-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
30
0.8.5
ocaml-atd
*
1
-
2.2.1-1
2.10.0-2
2.14.1-1
-
2.14.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
FTBR
4
2.15.0
ocaml-base64
*
-
-
3.4.0-1
3.5.0-1
3.5.1-2
-
3.5.1-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
12
3.5.1
ocaml-batteries
*
-
-
3.1.0-2
3.6.0-1
3.7.1-3
-
3.7.1-3
-
Git
✔
✔
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
X
-
-
✔
419
3.7.1
ocaml-benchmark
-
-
1.6-1
1.6-2
1.6-4
-
1.6-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
2
ERROR
ocaml-bigarray-compat
*
-
-
1.0.0-1
1.1.0-1
1.1.0-3
-
1.1.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
72
ERROR
ocaml-bigstringaf
*
-
-
-
0.9.0-1
0.9.1-1
-
0.9.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
0.9.1
ocaml-bitstring
*
1
-
3.1.1-2
4.1.0-1
4.1.1-2
-
4.1.1-2
-
Git
4.1.1-2+1
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
110
4.1.1
ocaml-bjack
*
-
-
0.1.5-1
0.1.6-1
0.1.6-3
-
0.1.6-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
10
ERROR
ocaml-bos
*
-
-
-
0.2.1-1
0.2.1-2
-
0.2.1-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
18
0.2.1
ocaml-ca-certs
*
1
-
-
0.2.3-1
0.2.3-3
-
0.2.3-3
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
2
0.2.3
ocaml-cairo2
*
-
-
0.6.2+dfsg-1
0.6.4+dfsg-1
0.6.4+dfsg-2
-
0.6.4+dfsg-2
-
Git
0.6.4+dfsg-3
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
229
0.6.4
ocaml-charinfo-width
*
-
-
1.1.0-2
2.0.0-1
-
2.0.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
40
2.0.0
ocaml-cohttp
*
-
-
-
4.0.0-3
5.3.0-1
-
5.3.0-1
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
6
6.0.0.beta1
ocaml-conduit
*
-
-
-
4.0.2-3
6.2.0-3
-
6.2.0-3
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
4
6.2.1
ocaml-config-file
*
-
-
1.2-1
1.2.1-1
1.2.1-3
-
1.2.1-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
63
1.2.1
ocaml-cpu
*
1
-
-
2.0.0-1
2.0.0-5
-
2.0.0-5
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
2.0.0
ocaml-cry
*
-
-
0.6.5-1
0.6.7-1
1.0.1-1
-
1.0.1-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
6
1.0.1
ocaml-csexp
*
1
-
1.3.2-1
1.5.1-1
1.5.2-4
-
1.5.2-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
8
ERROR
ocaml-cstruct
*
-
-
6.0.0-1
6.1.1-1
6.2.0-2
-
6.2.0-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
X
-
-
✔
9
6.2.0
ocaml-csv
*
6
-
2.4-1
2.4-3
-
2.4-3
3 bugs
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
399
2.4
ocaml-ctypes
*
1
-
0.17.1-2
0.20.1-1
0.21.1-1
-
0.21.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
103
0.21.1
ocaml-curses
-
-
1.0.6-2
1.0.11-1
1.0.11-4
-
1.0.11-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
93
ERROR
ocaml-dbus
[
RFA
]
-
-
0.29-6
0.29-7
-
0.29-7
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
8
0.29
ocaml-domain-name
*
-
-
0.3.0-2
0.4.0-1
0.4.0-3
-
0.4.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
11
ERROR
ocaml-dssi
-
-
0.1.2-1
0.1.5-1
0.1.5-3
-
0.1.5-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
3
ERROR
ocaml-dtools
*
-
-
0.4.2-1
0.4.4-1
0.4.5-1
-
0.4.5-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
0.4.5
ocaml-dune
*
2
-
2.7.1-2
2.9.3-1
3.11.1-1
-
3.11.1-1
1 bug
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
(
-
)
150
3.12.1
ocaml-duppy
*
1
1
0.8.0-1
0.9.2-2
-
Excuse
0.9.3-1
-
0.9.3-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
-
7
0.9.3
ocaml-duration
*
-
-
-
0.2.1-1
0.2.1-4
-
0.2.1-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
ERROR
ocaml-eqaf
*
-
-
-
0.9-1
0.9-4
-
0.9-4
-
Git
✔
⎇
∉
✔
∉
✔
✔
✔
∉
∉
∉
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
4
0.9
ocaml-expat
-
-
1.1.0-1
1.3.0-1
-
1.3.0-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
19
1.3.0
ocaml-expect
[
RFA
]
-
-
0.0.6-1
0.0.6-2
0.0.6-3
-
0.0.6-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
X
-
-
✔
9
0.0.6
ocaml-extunix
*
2
-
0.2.0-1
0.4.1-1
0.4.1-3
-
0.4.1-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
5
0.4.1
ocaml-faad
*
-
-
0.4.0-1
0.5.1-2
0.5.1-5
-
0.5.1-5
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
14
0.5.1
ocaml-ffmpeg
*
-
-
0.4.3-1
1.1.6-2
1.1.9-1
-
1.1.9-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
36
1.1.9
ocaml-fileutils
[
RFA
]
-
-
0.6.3-1
0.6.4-1
0.6.4-4
-
0.6.4-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
23
0.6.4
ocaml-flac
*
-
-
0.2.0.1~really0.1.7-1
0.3.1-1
0.5.0-1
-
0.5.0-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
17
0.5.0
ocaml-fmt
*
-
-
0.8.9-1
0.9.0-2
0.9.0-3
-
0.9.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
41
0.9.0
ocaml-fpath
*
-
-
0.7.3-2
0.7.3-3
-
0.7.3-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
21
0.7.3
ocaml-frei0r
-
-
0.1.1-1
0.1.2-1
0.1.2-3
-
0.1.2-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
11
ERROR
ocaml-gavl
1
-
0.1.6-1
0.1.6-2
-
0.1.6-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
6
ERROR
ocaml-gen
*
-
-
0.5.3-1
1.0-1
1.1-1
-
1.1-1
-
Git
1.1-2
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
31
1.1
ocaml-getopt
*
1
-
0.0.20040811-10
0.0.20040811-11
0.0.20230213-1
-
0.0.20230213-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
9
0.0.20230213
ocaml-gettext
*
1
-
0.4.2-1
0.4.2-3
-
0.4.2-3
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
76
0.4.2
ocaml-gmap
*
-
-
-
0.3.0-1
0.3.0-4
-
0.3.0-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
3
ERROR
ocaml-gnuplot
*
-
-
0.8.3-4
0.8.3-5
-
0.8.3-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
5
0.8.3
ocaml-graphics
*
3
-
5.1.0-3
5.1.2-1
5.1.2-3
-
5.1.2-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
113
ERROR
ocaml-gstreamer
*
-
-
0.3.0-2
0.3.1-2
0.3.1-4
-
0.3.1-4
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
40
0.3.1
ocaml-hex
*
-
-
1.4.0-1
1.5.0-1
1.5.0-3
-
1.5.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
X
-
-
✔
2
1.5.0
ocaml-hmap
*
-
-
-
0.8.1-1
0.8.1-2
-
0.8.1-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
0.8.1
ocaml-http
[
RFA
]
1
-
0.1.6-1
-
Excuse
0.1.6-2
-
0.1.6-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
-
6
ERROR
ocaml-inifiles
[
RFA
]
-
-
1.2-4
1.2-5
1.2-6
-
1.2-6
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
-
ocaml-inotify
[
RFA
]
-
-
2.3-2
2.4.1-3
2.4.1-5
-
2.4.1-5
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
⎇
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
6
2.5
ocaml-integers
*
-
-
0.4.0-1
0.7.0-1
0.7.0-3
-
0.7.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
87
0.7.0
ocaml-ipaddr
*
-
-
5.0.1-1
5.3.1-1
5.5.0-3
-
5.5.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
X
-
-
✔
15
5.5.0
ocaml-ladspa
-
-
0.1.5-1
0.2.2-1
0.2.2-3
-
0.2.2-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
19
0.2.2
ocaml-lame
*
-
-
0.3.4-1
0.3.6-2
0.3.7-3
-
0.3.7-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
26
0.3.7
ocaml-lastfm
*
-
-
0.3.2-1
0.3.3-1
-
Excuse
0.3.3-4
-
0.3.3-4
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
-
10
0.3.3
ocaml-lo
*
-
-
0.1.2-1
0.2.0-2
0.2.0-4
-
0.2.0-4
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
0.2.0
ocaml-logs
*
-
-
-
0.7.0-2
0.7.0-3
-
0.7.0-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
34
0.7.0
ocaml-luv
*
-
-
-
0.5.10-2
0.5.12-2
-
0.5.12-2
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
1
0.5.12
ocaml-mad
*
-
-
0.4.6-1
0.5.2-1
0.5.2-3
-
0.5.2-3
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
23
ERROR
ocaml-magic
-
-
0.7.3-5
0.7.3-6
-
0.7.3-6
-
Git
0.7.3-7
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
9
0.7.3
ocaml-magic-mime
*
-
-
-
1.3.0-1
1.3.1-1
-
1.3.1-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
1.3.1
ocaml-mccs
*
2
-
1.1+11-1
1.1+13-1
1.1+16-1
-
1.1+16-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
3
1.1+16
ocaml-merlin
*
-
-
-
4.12-414+ds-1
Excuse
4.13-414+ds-1
-
4.13-414+ds-1
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
⌂
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
4.13.1-501
ocaml-metadata
*
-
-
-
0.2.0-1
-
0.2.0-1
-
Git
failed
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.2.0
ocaml-mew
*
-
-
0.1.0-1
0.1.0-4
-
0.1.0-4
-
Git
✔
⎇
✔
✔
∉
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
50
ERROR
ocaml-mew-vi
*
-
-
0.5.0-1
0.5.0-3
-
0.5.0-3