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
(394)
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
0install-solver
*
-
-
-
2.18-1
-
2.18-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
2.18-debian
aac-tactics
*
-
-
-
8.17.0-1
8.19.1-2
-
8.19.1-2
-
Git
8.20.0-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
-
-
✔
5
8.20.0
advi
*
9
(
11
)
-
1.10.2-9
2.0.0-4
-
2.0.0-4
1 bug
Git
✔
✔
✔
✔
✔
✔
✔
✔
⚒
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
FTBR
79
2.0.0
alt-ergo
*
-
-
2.0.0-7
-
-
-
Buildd
Logs
✔
✔
✔
✔
(
fail
)
-
22
-
approx
*
[
RFA
]
21
-
5.10-2
5.12-1
5.13-1~bpo12+1
5.13-1
-
5.13-1
2 bugs
Git
5.13-1+2
⎇
✔
✔
✔
✔
✔
✔
✘
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
94
-
apron
-
-
0.9.10-9.1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
6
-
belenios
*
-
-
1.14+dfsg-1
2.0+dfsg-1
2.5.1+dfsg-1
-
2.5.1+dfsg-1
-
Git
failed
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
∉
✔
✔
✔
-
-
✔
15
3.0
ben
*
7
-
0.9.2
0.10.1
1.7
-
1.7u5
-
Git
✔
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
X
-
-
✔
27
-
bibtex2html
*
2
-
1.99-3
1.99-4
-
1.99-4
1 bug
Git
✔
20×
✓
✔
✔
X
✔
✔
✔
641
1.99
bin-prot
*
-
-
1:0.14.0-1
1:0.15.0-1
1:0.17.0-2
-
1:0.17.0-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
3
0.17.0
biniou
[
RFA
]
-
-
1.2.1-1
1.2.2-1
1.2.2-4
-
1.2.2-4
-
Git
UNREL
20×
✓
✔
✔
✔
-
-
✔
19
1.2.2
bisect-ppx
*
-
-
-
2.8.3+dfsg-2
-
2.8.3+dfsg-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
2.8.3
cairo-ocaml
[
RFA
]
1
-
1:1.2.0-8
1:1.2.0-10
-
1:1.2.0-10
-
Git
✔
20×
✓
✔
✔
X
-
-
✔
63
1.2.0
calendar
*
1
-
2.04-3
3.0.0-1
3.0.0-4
-
3.0.0-4
-
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
F
-
-
✔
74
ERROR
caml-mode
*
1
-
4.06-2
4.9-4
-
4.9-4
-
Git
✔
1×
✓
✔
✔
✔
-
-
✔
218
4.9
caml2html
[
RFA
]
-
-
1.4.4-2
1.4.4-3
-
1.4.4-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
3
1.4.4
camlbz2
*
1
-
0.6.0-10
0.7.0-1
0.8.0-2
-
0.8.0-2
-
Git
✔
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✘
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
30
0.8.0
camlidl
*
1
-
1.09-1
1.11-1
1.12-1
-
1.12-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
444
1.12
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.5-2
-
1:5.0.5-2
-
Git
failed
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
69
ERROR
camljava
2
-
-
0.3-4
0.4-2
-
0.4-2
1 bug
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
1
0.5
camlmix
2
-
1.3.1-4
1.3.1-6
-
1.3.1-6
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
3
ERROR
camlp-streams
*
-
-
-
5.0.1-1
5.0.1-3
-
5.0.1-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
FTBR
831
5.0.1
camlp4
*
3
-
4.11+1-1
4.13+1-1
5.2+1-1
-
5.2+1-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
899
5.2+1
camlp5
*
1
-
7.13-1
8.00.04-1
8.03.00-1
-
8.03.00-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
169
8.03.01
camlp5-buildscripts
*
-
-
-
0.03-1
-
0.03-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.03
camlpdf
*
-
-
2.3.1-2
2.5.3-1
2.7.1-1
-
2.7.1-1
-
Git
✔
20×
✓
✔
✔
✔
✔
✔
✔
12
2.7.1
camltemplate
-
-
1.0.2-3
1.0.2-5
-
1.0.2-5
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
2
ERROR
camlzip
*
-
-
1.10-1
1.11-1
1.12-2
-
1.12-2
-
Git
✔
20×
✓
✔
✔
✔
✔
✔
✔
152
1.12
camomile
*
1
-
1.0.2-3
1.0.2+2-1
2.0.0-2
-
2.0.0-2
-
Git
failed
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
196
2.0.0
cmdliner
*
-
-
1.0.4-2
1.1.1-1
1.3.0-2
-
1.3.0-2
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
42
1.3.0
coccinelle
*
1
-
1.1.0.deb-1.1
1.1.1.deb-2
1.2.deb-1
-
1.2.deb-1
-
Git
failed
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
132
1.2.deb
coinst
*
-
-
1.9.3-3
1.9.3-6
-
1.9.3-6
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
3
1.9.3
coq
*
2
-
8.12.0-3
8.16.1+dfsg-1
8.19.1+dfsg-3
-
8.19.1+dfsg-3
3 bugs
Git
failed
8.20.0+dfsg-1
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
FTBR
660
8.20.0
coq-bignums
*
-
-
-
8.17.0-2
9.0.0+coq8.20-1
-
9.0.0+coq8.20-1
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
5
9.0.0+coq8.20
coq-corn
*
-
-
-
8.16.0-2
8.19.0+ds1-1
-
8.19.0+ds1-1
-
Git
8.19.0+ds1-2
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
1
ERROR
coq-deriving
*
-
-
-
0.1.0-2
0.2.0-3
-
0.2.0-3
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
1
0.2.0
coq-dpdgraph
*
-
-
-
1.0+8.16-2
1.0+8.19-2
-
1.0+8.19-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
5
1.0+8.19
coq-elpi
*
-
-
-
1.16.0-2
2.1.0-1
-
2.1.0-1
-
Git
2.2.3-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
-
-
✔
3
2.2.3
coq-equations
*
-
-
-
1.3-8.16-2
1.3-8.19-2
-
1.3-8.19-2
-
Git
ERROR
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.3.1-8.20
coq-ext-lib
*
-
-
-
0.11.7-2
0.12.1-2
-
0.12.1-2
-
Git
0.12.2-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
0.12.2
coq-extructures
*
-
-
-
0.3.1-3
0.4.0-4
-
0.4.0-4
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
1
0.4.0
coq-gappa
*
-
-
-
1.5.2-5
1.5.5-2
-
1.5.5-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
3
1.5.5
coq-hammer
*
-
-
-
1.3.2+8.16-2
1.3.2+8.19-2
-
1.3.2+8.19-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.3.2+8.19
coq-hierarchy-builder
*
-
-
-
1.4.0-2
1.7.0-2
-
1.7.0-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
-
-
✔
3
1.7.0
coq-hott
*
-
-
-
8.16-2
8.19-2
-
8.19-2
-
Git
8.20-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
8.20
coq-interval
*
-
-
-
4.6.1-2
4.11.0-2
-
4.11.0-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
4.11.0
coq-iris
*
-
-
-
4.0.0-3
4.2.0-3
-
4.2.0-3
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
depwait
1
4.2.0
coq-libhyps
*
-
-
-
2.0.6-2
2.0.8-4
-
2.0.8-4
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
2.0.8
coq-math-classes
*
-
-
-
8.15.0-4
8.19.0-1
-
8.19.0-1
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
8.19.0
coq-menhirlib
*
-
-
-
20220210+ds-4
20231231+ds-4
-
20231231+ds-4
-
Git
failed
20240715+ds-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
20240715
coq-mtac2
*
-
-
-
1.4+8.16-2
1.4+8.19-2
-
1.4+8.19-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
1
1.4+8.19
coq-quickchick
*
-
-
-
1.6.4-3
2.0.3-3
-
2.0.3-3
-
Git
2.0.4-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
4
2.0.4
coq-record-update
*
-
-
-
0.3.1-2
0.3.4-3
-
0.3.4-3
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
1
0.3.4
coq-reduction-effects
*
-
-
-
0.1.4-3
0.1.5-5
-
0.1.5-5
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
0.1.5
coq-reglang
*
-
-
-
1.1.3-2
1.2.1-4
-
1.2.1-4
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
1.2.1
coq-relation-algebra
*
-
-
-
1.7.8-2
1.7.10-4
-
1.7.10-4
-
Git
1.7.11-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
1.7.11
coq-serapi
*
[
ITP
]
-
-
-
8.19.0+0.19.3-4
-
8.19.0+0.19.3-4
-
Git
8.20.0+0.20.0-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
∿
∉
∉
∉
✔
T
U
X
-
-
✔
2
8.20.0+0.20.0
coq-simple-io
*
-
-
-
1.8.0-2
1.9.0-2
-
1.9.0-2
-
Git
1.10.0-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
1.10.0
coq-stdpp
*
-
-
-
1.8.0-3
1.10.0-2
-
1.10.0-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.10.0
coq-unicoq
*
-
-
-
1.6-8.16-2
1.6-8.19-2
-
1.6-8.19-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
✘
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
2
1.6-8.19
coq-unimath
*
-
-
-
20220816-2
20240331-2
-
20240331-2
-
Git
20240923-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
1
20240923
coqeal
*
-
-
-
1.1.1-3
2.0.2-2
-
2.0.2-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
2.0.2
coqprime
*
-
-
-
8.15-2
8.19-2
-
8.19-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
8.19
coquelicot
*
-
-
-
3.2.0-8
3.4.1-3
-
3.4.1-3
-
Git
3.4.2-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
ERROR
cothreads
*
-
-
0.10-5
0.10-6
0.10-7
-
0.10-7
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
0.10
cppo
[
RFA
]
-
-
1.6.6-2
1.6.9-1
1.7.0-1
-
1.6.9-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
12
1.7.0
crowbar
*
-
-
-
0.2.1-2
0.2.1-6
-
0.2.1-6
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
✔
-
-
✔
1
0.2.1
cryptgps
*
-
-
0.2.1-11
0.2.1-13
-
0.2.1-13
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
66
0.2.1
cryptokit
*
1
-
1.16.1-1
1.18-1
1.20.1-1
-
1.20.1-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
-
-
✔
127
1.20
cudf
*
1
-
0.9-1
0.9-2
0.10-5
-
0.10-5
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✘
✘
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
X
✔
✔
✔
10
ERROR
dh-coq
*
-
-
-
0.5
0.11
-
0.11
-
Git
0.13
1×
✓
✔
✔
X
-
-
✔
3
-
dh-ocaml
*
7
-
1.1.3
2.4
-
2.4
-
Git
✔
1×
✓
✔
✔
X
-
-
✔
185
-
dose3
*
29
-
6.0.1-2
7.0.0-1
7.0.0-5
-
7.0.0-5
-
Git
failed
✔
✔
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
∉
✔
✔
✔
✔
∉
✔
∉
✔
✔
X
✔
✔
✔
169
7.0.0
easy-format
*
1
-
1.3.2-1
1.3.4-1
1.3.4-3
-
1.3.4-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
22
ERROR
eliom
*
-
-
6.12.4-1
9.4.0-2
11.0.1-1
-
11.0.1-1
-
Git !1
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
T
U
X
-
-
✔
3
11.0.1
elpi
*
1
-
-
1.16.8-1
1.18.2-5
-
1.18.2-5
-
Git
1.19.6-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
T
U
✔
✔
✔
✔
3
1.20.0
extlib
*
1
-
1.7.7-2
1.7.8-2
1.8.0-2
-
1.8.0-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✘
✘
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
FTBR
120
1.8.0
facile
[
RFA
]
-
-
1.1.3-1
1.1.4-1
1.1.4-4
-
1.1.4-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
ERROR
fieldslib
*
-
-
1:0.14.0-1
1:0.15.0-1
1:0.17.0-1
-
1:0.17.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
0.17.0
findlib
*
1
-
1.8.1-2
1.9.6-1
1.9.6-3
-
1.9.6-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1874
1.9.6
flocq
*
-
-
-
4.1.0-3
4.1.4-2
-
4.1.4-2
-
Git
4.2.0-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
✔
✔
✔
✔
4
4.2.0
frama-c
*
[
RFH
]
3
-
20201209+titanium-4.1
20220511-manganese-3
20220511-manganese-5
-
20220511-manganese-5
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
S
T
U
X
✔
✔
✔
25
ERROR
freetennis
*
-
-
0.4.8-13
0.4.8-14
-
-
-
Buildd
Logs
✔
S
✔
-
-
-
58
-
gd4o
*
-
-
1.0~alpha5-9
1.0~alpha5.git20220521.bb52fb2-2
-
1.0~alpha5.git20220521.bb52fb2-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
8
1.0~alpha5.git20240227.248e0e8
gmetadom
-
-
0.2.6-7
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
142
-
headache
*
2
-
1.04-1
1.06-1
1.08-2
-
1.08-2
3 bugs
(1 patch)
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
12
1.08
hevea
*
6
-
2.34-2
2.36-1
2.36-2
-
2.36-2
2 bugs
Git
✔
20×
✓
✔
✔
F
✔
✔
FTBR
544
2.36
hlins
*
-
-
0.39-27
0.39-29
0.40-1
-
0.40-1
-
Git
✔
20×
✓
✔
✔
✔
✔
✔
✔
16
0.40
hol-light
*
2
1
20190729-4
20230128-1
-
Excuse
20231021-2
-
-
Git
✔
⎇
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✘
✔
S
U
F
-
-
-
78
ERROR
jane-street-headers
*
-
-
-
0.17.0-1
-
0.17.0-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
-
0.17.0
janest-base
*
-
-
0.14.0-1
0.15.1-1
0.17.1-1
-
0.17.1-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
29
0.17.1
janest-ocaml-compiler-libs
*
1
-
0.12.3-1
0.12.4-1
0.17.0-1
-
0.17.0-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
148
0.17.0
js-of-ocaml
*
2
-
3.8.0-2
4.0.0-2
5.8.2-2
-
5.8.2-2
-
Git
✔
✔
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
37
5.8.2
js-of-ocaml-ocamlbuild
*
-
-
-
0.0.0+git20220118+852302c8-2
5.0-2
-
5.0-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
2
5.0
jsonm
*
-
-
1.0.1-2.1
1.0.2-2
-
1.0.2-2
1 bug
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
4
1.0.2
jst-config
*
-
-
-
0.17.0-1
-
0.17.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
-
0.17.0
lablgl
*
-
-
1:1.06-1
1:1.07-2
-
1:1.07-2
-
Git
✔
20×
✓
✔
✔
X
-
-
✔
52
1.07
lablgtk-extras
*
-
-
1.6-2
1.6-3
-
-
-
Buildd
Logs
✔
✔
X
-
-
-
3
-
lablgtk2
*
-
-
2.18.11-1
2.18.13-1
-
-
-
Buildd
Logs
✔
S
X
-
-
-
594
-
lablgtk3
*
1
-
3.1.1+official-1
3.1.3-1
3.1.5-1
-
3.1.5-1
3 bugs
Git
✔
3.1.5-1+1
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
X
✔
✔
✔
167
3.1.5
lablgtkmathview
*
-
-
0.7.8-7
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
labltk
*
-
-
8.06.9-1
8.06.13-1
8.06.14-1
-
8.06.14-1
-
Git
✔
20×
✓
✔
✔
X
-
-
✔
61
8.06.14
laby
*
1
-
0.7.0-1
0.7.0-2
-
0.7.0-2
2 bugs
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
S
T
U
X
-
-
✔
353
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
✔
-
-
✔
67
3.3.2
ledit
*
-
-
2.04-5
2.04-6
2.04-8
-
2.04-8
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2636
2.04
lem
*
-
-
-
2022-12-10+dfsg2-3
Excuse
2022-12-10+dfsg2-4
-
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
FTBFS
5
2022-12-10
liquidsoap
*
11
3
1.4.3-3
2.1.3-2
-
Excuse
2.2.4-1
-
-
Git
failed
2.2.5-1
✔
∿
∿
∿
∿
∿
∉
∉
∉
∿
∿
∉
∿
∉
∿
∿
∿
∿
∉
∉
∉
✔
U
X
✔
fail
-
108
2.2.5
lwt
*
1
-
5.3.0-1
5.6.1-1
5.7.0-1
-
5.7.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∿
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
S
T
U
✔
-
-
✔
164
5.8.0
lwt-log
*
-
-
1.1.1-3
1.1.2-1
1.1.2-4
-
1.1.2-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
76
1.1.2
lwt-ssl
*
-
-
1:1.1.3-2
1:1.2.0-2
-
1:1.2.0-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
1.2.0
mathcomp-abel
*
-
-
-
1.2.1-1
-
-
-
Buildd
Logs
✔
S
✔
✔
(
✔
)
-
-
-
mathcomp-algebra-tactics
*
-
-
-
1.0.0-8
1.2.3-4
-
1.2.3-4
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
1.2.3
mathcomp-analysis
*
-
-
-
0.6.0-2
1.2.0-2
-
1.2.0-2
-
Git
1.5.0-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
1.5.0
mathcomp-bigenough
*
-
-
-
1.0.1-8
1.0.1-14
-
1.0.1-14
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
3
1.0.1
mathcomp-finmap
*
-
-
-
1.5.2-1
2.1.0-2
-
2.1.0-2
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
4
2.1.0
mathcomp-multinomials
*
-
-
-
1.5.5-8
2.2.0-3
-
2.2.0-3
-
Git
2.2.0-4
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
3
2.2.0
mathcomp-real-closed
*
-
-
-
1.1.3-1
2.0.0-3
-
2.0.0-3
-
Git
2.0.1-1
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
2.0.1
mathcomp-zify
*
-
-
-
1.2.0+1.12+8.13-6
1.5.0+2.0+8.16-3
-
1.5.0+2.0+8.16-3
-
Git
✔
⎇
∉
✔
✔
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
∉
✔
✔
✔
∉
∉
∉
✔
S
T
U
X
✔
✔
✔
2
1.5.0+2.0+8.16
menhir
*
-
-
20201216-1
20220210+ds-2
20240715+ds-1
-
20240715+ds-1
-
Git
failed
✔
✔
✔
✔
✔
✔
✔
✔
⚒
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
69
20240715
meta-ocaml
*
-
-
4.08.1.2
5
-
5
-
Git
✔
1×
✓
✔
T
U
X
-
-
✔
95
-
meta-unison
*
72
(
76
)
-
2.51.3+1
2.52+1
2.53+1
-
2.53+1
3 bugs
Git
✔
1×
✓
✔
✔
X
-
-
✔
3818
-
mikmatch
-
-
1.0.9-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
-
-
mlgmp
*
-
-
20021123-21
20021123-23
-
20021123-23
1 bug
Git
✔
20×
✓
✔
✔
✔
-
-
✔
7
20120224
mlpcap
*
-
-
0.9-19
0.9-20
0.9-22
-
0.9-22
2 bugs
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
X
-
-
✔
3
-
mlpost
*
-
-
0.8.2-4+deb11u1
0.9-2
0.9-5
-
0.9-5
-
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
✘
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
91
0.9
morbig
*
-
-
0.10.4-4
0.10.4-6
0.11.0-3
-
0.11.0-3
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
11
0.11.0
morsmall
*
-
-
0.3.0-3
0.3.0-4
0.3.0-8
-
0.3.0-8
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
0.3.0
mysql-ocaml
*
1
-
1.2.4-1
1.2.4-2
-
1.2.4-2u4
1 bug
Git
✔
20×
✓
✔
✔
✔
-
-
✔
71
ERROR
not-ocamlfind
*
-
-
-
0.13-1
-
0.13-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.13
nproc
*
-
-
0.5.1-3
0.5.1-5
-
0.5.1-5
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
0.5.1
nss-passwords
*
3
-
0.3-1
0.3-2
0.4-1
-
0.4-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
119
0.4
nurpawiki
*
-
-
1.2.4-1
1.2.4-2
1.2.4-4
-
1.2.4-4
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
X
-
-
✔
3
1.2.4
oasis
[
RFA
]
2
-
0.4.11-1
0.4.11-2
0.4.11-5
-
0.4.11-5
-
Git
✔
21×
✓
✔
✔
✔
-
-
✔
10
0.4.11
obus
*
-
-
1.2.3-1
1.2.4-1
1.2.5-1
-
1.2.5-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
-
1.2.5
ocaml
*
10
-
4.11.1-4
4.13.1-4
5.2.0-3
-
5.2.0-3
7 bugs
Git
✔
21×
✓
✔
✔
✔
MA
-
-
✔
2981
5.3.0~alpha1
ocaml-afl-persistent
*
-
-
-
1.3-1
1.4-5
-
1.4-5
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
✔
✔
✔
1
1.4
ocaml-alcotest
*
1
-
-
1.6.0-1
1.8.0-1
-
1.8.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✘
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
1.8.0
ocaml-alsa
-
-
0.3.0-1
0.3.0-4
-
0.3.0-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
⎇
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
42
ERROR
ocaml-angstrom
*
-
-
-
0.15.0-1
0.16.1-1
-
0.16.1-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
13
0.16.1
ocaml-ansi-terminal
*
-
-
-
0.8.5-1
0.8.5-5
-
0.8.5-5
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
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
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
12
0.2.4
ocaml-asn1-combinators
*
-
-
-
0.2.6-2
0.3.2-1
-
0.3.2-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.3.2
ocaml-astring
*
-
-
0.8.5-1
0.8.5-2
-
0.8.5-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
22
0.8.5
ocaml-atd
*
1
-
2.2.1-1
2.10.0-2
2.15.0-2
-
2.15.0-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
∉
✔
✔
✔
✔
✔
FTBR
4
2.15.0
ocaml-base64
*
-
-
3.4.0-1
3.5.0-1
3.5.1-2
-
3.5.1-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
8
3.5.1
ocaml-batteries
*
-
-
3.1.0-2
3.6.0-1
3.8.0-2
-
3.8.0-2
-
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
411
3.8.0
ocaml-benchmark
-
-
1.6-1
1.6-2
1.6-4
-
1.6-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
2
ERROR
ocaml-bigarray-compat
*
-
-
1.0.0-1
1.1.0-1
1.1.0-3
-
1.1.0-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
72
ERROR
ocaml-bigstringaf
*
-
-
-
0.9.0-1
0.10.0-1
-
0.10.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
14
0.10.0
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
20×
✓
✔
✔
✔
-
-
✔
98
4.1.1
ocaml-bjack
*
-
-
0.1.5-1
0.1.6-1
0.1.6-3
-
0.1.6-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
7
ERROR
ocaml-bos
*
-
-
-
0.2.1-1
0.2.1-2
-
0.2.1-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
14
0.2.1
ocaml-ca-certs
*
1
-
-
0.2.3-1
1.0.0-1
-
1.0.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
1.0.0
ocaml-cairo2
*
-
-
0.6.2+dfsg-1
0.6.4+dfsg-1
0.6.4+dfsg-4
-
0.6.4+dfsg-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
✔
✔
✔
218
0.6.4
ocaml-charinfo-width
*
-
-
1.1.0-2
2.0.0-1
-
2.0.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
44
2.0.0
ocaml-cinaps
*
-
-
-
0.15.1-1
-
0.15.1-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
0.15.1
ocaml-cohttp
*
-
-
-
4.0.0-3
5.3.0-1
-
5.3.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
X
-
-
✔
3
6.0.0.beta1
ocaml-conduit
*
-
-
-
4.0.2-3
7.1.0-1
-
7.1.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
4
7.1.0
ocaml-config-file
*
-
-
1.2-1
1.2.1-1
1.2.1-4
-
1.2.1-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
54
1.2.1
ocaml-cpu
*
1
-
-
2.0.0-1
2.0.0-5
-
2.0.0-5
-
Git
failed
✔
20×
✓
✔
✔
✔
-
-
✔
1
2.0.0
ocaml-crunch
*
-
-
-
3.3.1-1
Excuse
3.3.1-2
-
3.3.1-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
3.3.1
ocaml-cry
*
-
-
0.6.5-1
0.6.7-1
1.0.3-3
-
1.0.3-3
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
1.0.3
ocaml-csexp
*
1
-
1.3.2-1
1.5.1-1
1.5.2-4
-
1.5.2-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
13
ERROR
ocaml-cstruct
*
-
-
6.0.0-1
6.1.1-1
6.2.0-3
-
6.2.0-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
8
6.2.0
ocaml-csv
*
6
-
2.4-1
2.4-3
-
2.4-3
3 bugs
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
419
2.4
ocaml-ctypes
*
1
-
0.17.1-2
0.20.1-1
0.23.0-1
-
0.23.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
98
0.23.0
ocaml-curses
-
-
1.0.6-2
1.0.11-1
1.0.11-4
-
1.0.11-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
85
ERROR
ocaml-dbus
[
RFA
]
-
-
0.29-6
0.29-7
-
0.29-7
-
Git
✔
20×
✓
✔
✔
X
-
-
✔
8
0.29
ocaml-digestif
*
-
-
-
1.2.0-1
-
1.2.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
1.2.0
ocaml-domain-name
*
-
-
0.3.0-2
0.4.0-1
0.4.0-3
-
0.4.0-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
6
ERROR
ocaml-dssi
-
-
0.1.2-1
0.1.5-1
0.1.5-3
-
0.1.5-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
ocaml-dtools
*
-
-
0.4.2-1
0.4.4-1
0.4.5-1
-
0.4.5-1
-
Git
failed
✔
20×
✓
✔
✔
✔
-
-
✔
5
0.4.5
ocaml-dune
*
2
-
2.7.1-2
2.9.3-1
3.16.0-2
-
3.16.0-2
1 bug
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
(
-
)
177
3.16.0
ocaml-duppy
*
-
-
0.8.0-1
0.9.2-2
0.9.4-1
-
0.9.4-1
-
Git
failed
✔
20×
✓
✔
✔
✔
-
-
✔
5
0.9.4
ocaml-duration
*
-
-
-
0.2.1-1
0.2.1-4
-
0.2.1-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
ERROR
ocaml-eqaf
*
-
-
-
0.9-1
0.10-1
-
0.10-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
0.10
ocaml-expat
-
-
1.1.0-1
1.3.0-1
-
1.3.0-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
18
1.3.0
ocaml-expect
[
RFA
]
-
-
0.0.6-1
0.0.6-2
0.0.6-4
-
0.0.6-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
8
0.0.6
ocaml-extunix
*
2
-
0.2.0-1
0.4.1-1
0.4.2-1
-
0.4.2-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
3
0.4.2
ocaml-faad
*
-
-
0.4.0-1
0.5.1-2
0.5.1-5
-
0.5.1-5
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
10
0.5.1
ocaml-ffmpeg
*
-
-
0.4.3-1
1.1.6-2
1.2.0-1
-
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
39
1.2.0
ocaml-fileutils
[
RFA
]
-
-
0.6.3-1
0.6.4-1
0.6.4-4
-
0.6.4-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
21
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
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
10
0.5.0
ocaml-fmt
*
-
-
0.8.9-1
0.9.0-2
0.9.0-3
-
0.9.0-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
41
0.9.0
ocaml-fpath
*
-
-
0.7.3-2
0.7.3-3
-
0.7.3-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
17
0.7.3
ocaml-frei0r
-
-
0.1.1-1
0.1.2-1
0.1.2-3
-
0.1.2-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
10
ERROR
ocaml-gavl
1
-
0.1.6-1
0.1.6-2
-
0.1.6-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
4
ERROR
ocaml-gen
*
-
-
0.5.3-1
1.0-1
1.1-1
-
1.1-1
-
Git
1.1-2
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
33
1.1
ocaml-getopt
*
1
-
0.0.20040811-10
0.0.20040811-11
0.0.20230213-1
-
0.0.20230213-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
8
0.0.20230213
ocaml-gettext
*
1
-
0.4.2-1
0.4.2-4
-
0.4.2-4
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
-
-
✔
62
0.4.2
ocaml-gmap
*
-
-
-
0.3.0-1
0.3.0-4
-
0.3.0-4
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
ERROR
ocaml-gnuplot
*
-
-
0.8.3-4
0.8.3-6
-
0.8.3-6
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
4
0.8.3
ocaml-graphics
*
3
-
5.1.0-3
5.1.2-1
5.1.2-3
-
5.1.2-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
105
ERROR
ocaml-gstreamer
*
-
-
0.3.0-2
0.3.1-2
0.3.1-4
-
0.3.1-4
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
29
0.3.1
ocaml-hex
*
-
-
1.4.0-1
1.5.0-1
1.5.0-3
-
1.5.0-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
1
1.5.0
ocaml-hmap
*
-
-
-
0.8.1-1
0.8.1-2
-
0.8.1-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
3
0.8.1
ocaml-http
-
-
0.1.6-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
4
-
ocaml-inifiles
[
RFA
]
-
-
1.2-4
1.2-5
1.2-7
-
1.2-7
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
7
-
ocaml-inotify
[
RFA
]
-
-
2.3-2
2.4.1-3
2.6-1
-
2.6-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
⎇
⎇
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
2.6
ocaml-integers
*
-
-
0.4.0-1
0.7.0-1
0.7.0-3
-
0.7.0-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
86
0.7.0
ocaml-intrinsics-kernel
*
-
-
-
0.17.1-1
-
0.17.1-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
7
0.17.1
ocaml-ipaddr
*
-
-
5.0.1-1
5.3.1-1
5.6.0-1
-
5.6.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
7
5.6.0
ocaml-kdf
*
-
-
-
1.0.0-1
-
1.0.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
1.0.0
ocaml-ladspa
-
-
0.1.5-1
0.2.2-1
0.2.2-3
-
0.2.2-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
16
0.2.2
ocaml-lame
*
-
-
0.3.4-1
0.3.6-2
0.3.7-3
-
0.3.7-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
20
0.3.7
ocaml-lastfm
*
-
-
0.3.2-1
0.3.3-1
0.3.4-1
-
0.3.4-1
-
Git
failed
✔
20×
✓
✔
✔
✔
-
-
✔
8
0.3.4
ocaml-linenoise
*
-
-
-
1.5.1-2
-
1.5.1-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
1.5.1
ocaml-lo
*
-
-
0.1.2-1
0.2.0-2
0.2.0.git20240724.0b43bdf-1
-
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
5
0.2.0.git20240724.0b43bdf
ocaml-logs
*
-
-
-
0.7.0-2
0.7.0-3
-
0.7.0-3
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
33
0.7.0
ocaml-luv
*
2
2
-
0.5.10-2
-
Excuse
0.5.12-2
-
-
Git
0.5.13-1
⎇
✘
✘
✘
✘
✘
✔
✘
✘
✘
✘
✘
✘
✔
✘
✘
✘
✘
✘
✘
✘
✔
U
X
✔
fail
-
1
0.5.14
ocaml-mad
*
-
-
0.4.6-1
0.5.2-1
0.5.3-1
-
0.5.3-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
16
0.5.3
ocaml-magic
-
-
0.7.3-5
0.7.3-6
0.7.3-7
-
0.7.3-7
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
7
0.7.3
ocaml-magic-mime
*
-
-
-
1.3.0-1
1.3.1-1
-
1.3.1-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
4
1.3.1
ocaml-mccs
*
2
-
1.1+11-1
1.1+13-1
1.1+18-2
-
1.1+18-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
2
1.1+18
ocaml-mem-usage
*
-
-
-
0.1.1-2
-
-
Git
failed
✔
⎇
∉
✔
✔
✔
✔
✔
✘
✘
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
0.1.1
ocaml-merlin
*
-
-
-
5.2.1-502+ds-1
-
5.1-502+ds-2
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
7
5.2.1-502
ocaml-metadata
*
-
-
-
0.3.0-1
-
0.3.0-1
-
Git
failed
✔
20×
✓
✔
✔
✔
-
-
✔
1
0.3.0
ocaml-mew
*
-
-
0.1.0-1
0.1.0-4
-
0.1.0-4
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
60
ERROR
ocaml-mew-vi
*
-
-
0.5.0-1
0.5.0-3
-
0.5.0-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
60
ERROR
ocaml-migrate-parsetree
*
-
-
1.8.0-2
2.4.0-1
-
-
-
Buildd
Logs
✔
✔
✔
✔
(
✔
)
-
46
-
ocaml-mirage-clock
*
-
-
-
4.2.0-1
-
4.2.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
ERROR
ocaml-mirage-crypto
*
-
-
-
0.10.7-1
1.1.0-2
-
1.1.0-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
1.1.0
ocaml-mirage-kv
*
-
-
-
6.1.1-2
-
-
Git
ERROR
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
6.1.1
ocaml-mirage-kv-mem
*
-
-
-
Excuse
3.2.1-1
-
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
-
1
3.2.1
ocaml-mm
*
-
-
0.6.0.1~really0.5.0-1
0.8.1-1
0.8.5-4
-
0.8.5-4
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
X
-
-
✔
5
0.8.5
ocaml-mmap
*
-
-
1.1.0-1
1.2.0-1
1.2.0-3
-
1.2.0-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
34
ERROR
ocaml-mtime
*
-
-
-
1.4.0-2
2.1.0-2
-
2.1.0-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
2.1.0
ocaml-num
*
-
-
1.4-1
1.4-2
1.5-1
-
1.5-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
✔
✔
538
1.5
ocaml-obuild
*
1
-
0.1.10-3
0.1.11-2
-
0.1.11-2
-
Git
✔
20×
✓
✔
✔
✔
✔
✔
✔
6
0.1.11
ocaml-odoc
*
-
-
1.5.2+dfsg2-1
2.1.1+dfsg-2
2.4.3-1
-
2.4.3-1
-
Git
failed
✔
⎇
∉
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
13
2.4.3
ocaml-odoc-parser
*
1
-
-
2.0.0-1
-
-
-
Buildd
Logs
✔
✔
✔
-
-
-
3
-
ocaml-ogg
*
-
-
0.5.2-1
0.7.3-2
0.7.4-3
-
0.7.4-3
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
44
0.7.4
ocaml-ohex
*
-
-
-
0.2.0-1
-
0.2.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
-
ocaml-optint
*
-
-
-
0.3.0-1
-
0.3.0-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
0.3.0
ocaml-opus
*
-
-
0.1.3-1
0.2.2-2
0.2.2-6
-
0.2.2-6
-
Git
failed
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
∿
✔
✔
✔
✔
-
-
✔
19
0.2.2
ocaml-parany
*
-
-
-
12.2.2-1
14.0.1-1
-
14.0.1-1
-
Git
failed
✔
20×
✓
✔
S
✔
-
-
✔
1
14.0.1
ocaml-parsexp
*
-
-
0.14.0-1
0.15.0-1
0.17.0-1
-
0.17.0-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
12
0.17.0
ocaml-pbkdf
*
-
-
-
1.2.0-1
2.0.0-1
-
2.0.0-1
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
∉
∉
✔
✔
✔
∉
∉
∉
✔
✔
✔
-
-
✔
1
2.0.0
ocaml-portaudio
-
-
0.2.1-1
0.2.3-1
0.2.3-3
-
0.2.3-3
-
Git
0.2.3-3+1
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
25
ERROR
ocaml-pp
*
-
-
-
2.0.0-1
-
2.0.0-1
-
Git
1.2.0-1+6
⎇
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
✔
1
2.0.0
ocaml-pprint
*
-
-
-
20220103-1
20230830-1
-
20230830-1
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
1
20230830
ocaml-ptime
*
-
-
-
1.0.0-1
1.2.0-2
-
1.2.0-2
-
Git
✔
⎇
∉
✔
✔
✔
✔
∉
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
-
-
FTBR
1
1.2.0
ocaml-ptmap
*
-
-
2.0.5-1
2.0.5-4
-
2.0.5-4
-
Git
✔
21×
✓
✔
✔
✔
✔
✔
✔
1
ERROR
ocaml-pulseaudio
-
-
0.1.3-1
0.1.5-1
0.1.5-3
-
0.1.5-3
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
X
-
-
✔
15
0.1.5
ocaml-qcheck
*
-
-
0.15-1
0.20-1
0.22-1
-
0.22-1
-
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
1
0.22
ocaml-qtest
*
-
-
2.11.1-1
2.11.2-1
2.11.2-4
-
2.11.2-4
-
Git
✔
✔
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
8
2.11.2
ocaml-randomconv
*
-
-
-
0.2.0-1
-
0.2.0-1
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
∉
∉
✔
✔
∉
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
1
0.2.0
ocaml-re
*
-
-
1.9.0-1
1.10.4-1
1.12.0+really1.11.0-1
-
1.12.0+really1.11.0-1
-
Git
✔
20×
✓
✔
✔
✔
✔
✔
✔
102
1.12.0
ocaml-reins
1
-
-
0.1a-10.1
0.1a-12
-
0.1a-12
-
Git
✔
⎇
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
✔
∉
✔
✔
✔
-
-
✔
1
0.1a
ocaml-res
[
RFA
]
-
-
5.0.1-1
5.0.1-3
-
5.0.1-3
-
Git
✔
20×
✓
✔
✔
✔
-
-
✔
3
ERROR
ocaml-result
*
-
-
1.5-1
1.5-4
-
1.5-4
-
Git
✔
20×
✓
✔