General information
About
News
FAQ
Contact us
Documentation
How to file bugs
using templates
Debian policy
piuparts.d.o configuration:
piuparts.conf,
distros.conf,
scripts and logs
README
README_server
piuparts manpage
Summaries
Bugs filed
Suites overview
Suite: sid2experimental
by maintainer / uploader
by source package
states graph
all tested suites
experimental
sid2experimental
sid
sid-strict
sid-nodoc
sid-merged-usr
sid-broken-symlinks
testing2sid
forky
forky-rcmd
trixie
trixie-rcmd
trixie-security
trixie-pu
trixie2next
bookworm
bookworm-rcmd
bookworm-security
bookworm-pu
bookworm2next
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
stable2sid
stable22sid
oldstable222sid
oldstable22testing
src: piuparts
Source
piuparts.d.o bugs
piuparts bugs / ToDo
Other Debian QA efforts
Debian QA Group
Dose tools (former: EDOS)
Lintian
Debian Package Tracker
Ultimate Debian Database
jenkins.debian.net
ci.debian.net
Last update
2026-07-13 18:00 UTC
debian-ocaml-maint@lists.debian.org in sid2experimental
other distributions: experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid forky forky-rcmd trixie trixie-rcmd trixie-security trixie-pu trixie2next bookworm bookworm-rcmd bookworm-security bookworm-pu bookworm2next bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid oldstable222sid oldstable22testing
fail:13aac-tactics coq coq-corn coq-deriving coq-interval coq-quickchick coq-reglang coqeal elpi hlins mathcomp-analysis mathcomp-multinomials ssreflect
unknown:4coq-elpi coq-extructures coq-hierarchy-builder coq-relation-algebra
pass:28coq-bignums coq-dpdgraph coq-equations coq-ext-lib coq-gappa coq-hammer coq-hott coq-iris coq-libhyps coq-math-classes coq-menhirlib coq-mtac2 coq-record-update coq-reduction-effects coq-simple-io coq-stdpp coq-unicoq coq-unimath coqprime coquelicot dh-coq flocq mathcomp-bigenough mathcomp-finmap mathcomp-zify ocaml ott rocq-stdlib
aac-tactics in sid2experimental
Source:aac-tacticspiuparts summary:failedVersion:9.0.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Binary:libcoq-aac-tacticspiuparts-result:dependency-does-not-exist N/AVersion:9.0.0-2+b1
coq in sid2experimental
Source:coqpiuparts summary:failedVersion:9.2.0+dfsg-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:coqpiuparts-result:successfully-tested 9.2.0+dfsg-1Version:9.2.0+dfsg-1
Binary:libcoq-corepiuparts-result:successfully-tested 9.2.0+dfsg-1Version:9.2.0+dfsg-1
Binary:libcoq-core-ocamlpiuparts-result:successfully-tested 9.2.0+dfsg-1Version:9.2.0+dfsg-1
Binary:libcoq-core-ocaml-devpiuparts-result:successfully-tested 9.2.0+dfsg-1Version:9.2.0+dfsg-1
Binary:rocqidepiuparts-result:failed-testing 9.2.0+dfsg-1Version:9.2.0+dfsg-1
coq-corn in sid2experimental
Source:coq-cornpiuparts summary:failedVersion:9.0.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-cornpiuparts-result:dependency-does-not-exist N/AVersion:9.0.0-2+b1
coq-deriving in sid2experimental
Source:coq-derivingpiuparts summary:failedVersion:0.2.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-derivingpiuparts-result:dependency-does-not-exist N/AVersion:0.2.2-2+b1
coq-interval in sid2experimental
Source:coq-intervalpiuparts summary:failedVersion:4.11.3-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-intervalpiuparts-result:dependency-does-not-exist N/AVersion:4.11.3-2+b1
coq-quickchick in sid2experimental
Source:coq-quickchickpiuparts summary:failedVersion:2.1.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-quickchickpiuparts-result:dependency-does-not-exist N/AVersion:2.1.1-2+b1
Binary:quickchickpiuparts-result:successfully-tested 2.1.1-2+b1Version:2.1.1-2+b1
coq-reglang in sid2experimental
Source:coq-reglangpiuparts summary:failedVersion:1.2.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-reglangpiuparts-result:dependency-does-not-exist N/AVersion:1.2.2-2+b1
coqeal in sid2experimental
Source:coqealpiuparts summary:failedVersion:2.1.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-coqealpiuparts-result:dependency-does-not-exist N/AVersion:2.1.1-2
elpi in sid2experimental
Source:elpipiuparts summary:failedVersion:3.7.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:elpipiuparts-result:dependency-failed-testing N/AVersion:3.7.2-1
Binary:libelpi-ocamlpiuparts-result:failed-testing 3.7.2-1Version:3.7.2-1
Binary:libelpi-ocaml-devpiuparts-result:dependency-failed-testing N/AVersion:3.7.2-1
hlins in sid2experimental
Source:hlinspiuparts summary:failedVersion:0.40-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:hlinspiuparts-result:dependency-does-not-exist N/AVersion:0.40-2+b1
mathcomp-analysis in sid2experimental
Source:mathcomp-analysispiuparts summary:failedVersion:1.14.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mathcomp-analysispiuparts-result:dependency-does-not-exist N/AVersion:1.14.0-1+b1
Binary:libcoq-mathcomp-classicalpiuparts-result:dependency-does-not-exist N/AVersion:1.14.0-1+b1
mathcomp-multinomials in sid2experimental
Source:mathcomp-multinomialspiuparts summary:failedVersion:2.4.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mathcomp-multinomialspiuparts-result:dependency-does-not-exist N/AVersion:2.4.0-2+b1
ssreflect in sid2experimental
Source:ssreflectpiuparts summary:failedVersion:2.5.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:libcoq-mathcomppiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-algebrapiuparts-result:dependency-does-not-exist N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-bootpiuparts-result:dependency-does-not-exist N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-characterpiuparts-result:dependency-does-not-exist N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-fieldpiuparts-result:dependency-does-not-exist N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-fingrouppiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-orderpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-solvablepiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2+b2
Binary:libcoq-mathcomp-ssreflectpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2+b2
Binary:mathcomp-doc:allpiuparts-result:successfully-tested 2.5.0-2Version:2.5.0-2
coq-elpi in sid2experimental
Source:coq-elpipiuparts summary:unknownVersion:3.4.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-elpipiuparts-result:dependency-failed-testing N/AVersion:3.4.0-1
coq-extructures in sid2experimental
Source:coq-extructurespiuparts summary:unknownVersion:0.5.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-extructurespiuparts-result:dependency-cannot-be-tested N/AVersion:0.5.0-3+b1
coq-hierarchy-builder in sid2experimental
Source:coq-hierarchy-builderpiuparts summary:unknownVersion:1.10.3-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hierarchy-builderpiuparts-result:dependency-failed-testing N/AVersion:1.10.3-1
coq-relation-algebra in sid2experimental
Source:coq-relation-algebrapiuparts summary:unknownVersion:1.8.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-relation-algebrapiuparts-result:dependency-cannot-be-tested N/AVersion:1.8.0-2+b1
coq-bignums in sid2experimental
Source:coq-bignumspiuparts summary:successVersion:9.0.0+rocq9.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-bignumspiuparts-result:successfully-tested 9.0.0+rocq9.2-1Version:9.0.0+rocq9.2-1
coq-dpdgraph in sid2experimental
Source:coq-dpdgraphpiuparts summary:successVersion:1.0+9.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:coq-dpdgraph-toolspiuparts-result:successfully-tested 1.0+9.1-1Version:1.0+9.1-1
Binary:libcoq-dpdgraphpiuparts-result:successfully-tested 1.0+9.1-1Version:1.0+9.1-1
coq-equations in sid2experimental
Source:coq-equationspiuparts summary:successVersion:1.3.2-9.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-equationspiuparts-result:successfully-tested 1.3.2-9.2-1Version:1.3.2-9.2-1
coq-ext-lib in sid2experimental
Source:coq-ext-libpiuparts summary:successVersion:0.13.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-ext-libpiuparts-result:successfully-tested 0.13.1-1Version:0.13.1-1
coq-gappa in sid2experimental
Source:coq-gappapiuparts summary:successVersion:1.10.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-gappapiuparts-result:successfully-tested 1.10.0-1Version:1.10.0-1
coq-hammer in sid2experimental
Source:coq-hammerpiuparts summary:successVersion:1.3.3+9.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hammerpiuparts-result:successfully-tested 1.3.3+9.2-1Version:1.3.3+9.2-1
coq-hott in sid2experimental
Source:coq-hottpiuparts summary:successVersion:9.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hottpiuparts-result:successfully-tested 9.1-1+b1Version:9.1-1+b1
coq-iris in sid2experimental
Source:coq-irispiuparts summary:successVersion:4.5.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-irispiuparts-result:successfully-tested 4.5.0-1Version:4.5.0-1
coq-libhyps in sid2experimental
Source:coq-libhypspiuparts summary:successVersion:5.0.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-libhypspiuparts-result:successfully-tested 5.0.0-1Version:5.0.0-1
coq-math-classes in sid2experimental
Source:coq-math-classespiuparts summary:successVersion:9.0.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-math-classespiuparts-result:successfully-tested 9.0.0-3Version:9.0.0-3
coq-menhirlib in sid2experimental
Source:coq-menhirlibpiuparts summary:successVersion:20260209+ds-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-menhirlibpiuparts-result:successfully-tested 20260209+ds-1Version:20260209+ds-1
coq-mtac2 in sid2experimental
Source:coq-mtac2piuparts summary:successVersion:1.4-rocq9.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mtac2piuparts-result:successfully-tested 1.4-rocq9.1-1Version:1.4-rocq9.1-1
coq-record-update in sid2experimental
Source:coq-record-updatepiuparts summary:successVersion:0.3.7-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-record-updatepiuparts-result:successfully-tested 0.3.7-1Version:0.3.7-1
coq-reduction-effects in sid2experimental
Source:coq-reduction-effectspiuparts summary:successVersion:0.1.6-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-reduction-effectspiuparts-result:successfully-tested 0.1.6-3Version:0.1.6-3
coq-simple-io in sid2experimental
Source:coq-simple-iopiuparts summary:successVersion:1.11.0-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-simple-iopiuparts-result:successfully-tested 1.11.0-4Version:1.11.0-4
coq-stdpp in sid2experimental
Source:coq-stdpppiuparts summary:successVersion:1.13.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-stdpppiuparts-result:successfully-tested 1.13.0-1Version:1.13.0-1
coq-unicoq in sid2experimental
Source:coq-unicoqpiuparts summary:successVersion:1.6-9.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-unicoqpiuparts-result:successfully-tested 1.6-9.1-1Version:1.6-9.1-1
coq-unimath in sid2experimental
Source:coq-unimathpiuparts summary:successVersion:20260603-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-unimathpiuparts-result:successfully-tested 20260603-1Version:20260603-1
coqprime in sid2experimental
Source:coqprimepiuparts summary:successVersion:8.20.1-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:coqprime-toolspiuparts-result:successfully-tested 8.20.1-4Version:8.20.1-4
Binary:libcoq-coqprimepiuparts-result:successfully-tested 8.20.1-4Version:8.20.1-4
coquelicot in sid2experimental
Source:coquelicotpiuparts summary:successVersion:3.4.4-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-coquelicotpiuparts-result:successfully-tested 3.4.4-2+b1Version:3.4.4-2+b1
dh-coq in sid2experimental
Source:dh-coqpiuparts summary:successVersion:0.15
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:debian-coq-tools:allpiuparts-result:successfully-tested 0.15Version:0.15
Binary:dh-coq:allpiuparts-result:successfully-tested 0.15Version:0.15
flocq in sid2experimental
Source:flocqpiuparts summary:successVersion:4.2.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-flocqpiuparts-result:successfully-tested 4.2.2-1Version:4.2.2-1
mathcomp-bigenough in sid2experimental
Source:mathcomp-bigenoughpiuparts summary:successVersion:1.0.3-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mathcomp-bigenoughpiuparts-result:successfully-tested 1.0.3-2+b1Version:1.0.3-2+b1
mathcomp-finmap in sid2experimental
Source:mathcomp-finmappiuparts summary:successVersion:2.2.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mathcomp-finmappiuparts-result:successfully-tested 2.2.2-2+b1Version:2.2.2-2+b1
mathcomp-zify in sid2experimental
Source:mathcomp-zifypiuparts summary:successVersion:1.6.0+2.3+8.18-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mathcomp-zifypiuparts-result:successfully-tested 1.6.0+2.3+8.18-2+b1Version:1.6.0+2.3+8.18-2+b1
ocaml in sid2experimental
Source:ocamlpiuparts summary:successVersion:5.5.0-1~exp2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ximin Luo <infinity0@debian.org>
Binary:libcompiler-libs-ocaml-devpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:libstdlib-ocamlpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:libstdlib-ocaml-devpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:ocamlpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:ocaml-basepiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:ocaml-interppiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:ocaml-man:allpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
Binary:ocaml-source:allpiuparts-result:successfully-tested 5.5.0-1~exp2Version:5.5.0-1~exp2
ott in sid2experimental
Source:ottpiuparts summary:successVersion:0.34+ds-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-ottpiuparts-result:successfully-tested 0.34+ds-4Version:0.34+ds-4
Binary:ott-toolspiuparts-result:successfully-tested 0.34+ds-4Version:0.34+ds-4
rocq-stdlib in sid2experimental
Source:rocq-stdlibpiuparts summary:successVersion:9.1.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-stdlibpiuparts-result:successfully-tested 9.1.0-1Version:9.1.0-1