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: experimental
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
2025-11-13 06:00 UTC
debian-ocaml-maint@lists.debian.org in experimental
other distributions: 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
fail:23aac-tactics coq coq-bignums coq-deriving coq-elpi coq-ext-lib coq-gappa coq-hammer coq-hott coq-iris coq-libhyps coq-menhirlib coq-mtac2 coq-record-update coq-reduction-effects coq-reglang coq-unicoq coq-unimath elpi flocq hlins ott yojson
unknown:17coq-corn coq-extructures coq-hierarchy-builder coq-interval coq-math-classes coq-quickchick coq-relation-algebra coq-simple-io coqeal coqprime coquelicot mathcomp-analysis mathcomp-bigenough mathcomp-finmap mathcomp-multinomials mathcomp-zify ssreflect
pass:3coq-stdpp dh-coq ocaml
aac-tactics in experimental
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
coq in experimental
Source:coqpiuparts summary:failedVersion:9.1.0+dfsg-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:coqpiuparts-result:dependency-failed-testing N/AVersion:9.1.0+dfsg-3
Binary:libcoq-corepiuparts-result:successfully-tested 9.1.0+dfsg-3Version:9.1.0+dfsg-3
Binary:libcoq-core-ocamlpiuparts-result:failed-testing 9.1.0+dfsg-3Version:9.1.0+dfsg-3
Binary:libcoq-core-ocaml-devpiuparts-result:dependency-failed-testing N/AVersion:9.1.0+dfsg-3
Binary:rocqidepiuparts-result:dependency-failed-testing N/AVersion:9.1.0+dfsg-3
coq-bignums in experimental
Source:coq-bignumspiuparts summary:failedVersion:9.0.0+rocq9.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-bignumspiuparts-result:dependency-does-not-exist N/AVersion:9.0.0+rocq9.1-2
coq-deriving in experimental
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
coq-elpi in experimental
Source:coq-elpipiuparts summary:failedVersion:3.2.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-elpipiuparts-result:dependency-does-not-exist N/AVersion:3.2.0-3
coq-ext-lib in experimental
Source:coq-ext-libpiuparts summary:failedVersion:0.13.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-ext-libpiuparts-result:dependency-does-not-exist N/AVersion:0.13.0-3
coq-gappa in experimental
Source:coq-gappapiuparts summary:failedVersion:1.7.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-gappapiuparts-result:dependency-does-not-exist N/AVersion:1.7.1-2
coq-hammer in experimental
Source:coq-hammerpiuparts summary:failedVersion:1.3.2+9.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hammerpiuparts-result:dependency-does-not-exist N/AVersion:1.3.2+9.0-2
coq-hott in experimental
Source:coq-hottpiuparts summary:failedVersion:9.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hottpiuparts-result:dependency-does-not-exist N/AVersion:9.0-3
coq-iris in experimental
Source:coq-irispiuparts summary:failedVersion:4.4.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-irispiuparts-result:dependency-does-not-exist N/AVersion:4.4.0-2
coq-libhyps in experimental
Source:coq-libhypspiuparts summary:failedVersion:2.0.8-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-libhypspiuparts-result:dependency-does-not-exist N/AVersion:2.0.8-6
coq-menhirlib in experimental
Source:coq-menhirlibpiuparts summary:failedVersion:20250912+ds-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-menhirlibpiuparts-result:dependency-does-not-exist N/AVersion:20250912+ds-2
coq-mtac2 in experimental
Source:coq-mtac2piuparts summary:failedVersion:1.4+9.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-mtac2piuparts-result:dependency-does-not-exist N/AVersion:1.4+9.0-2
coq-record-update in experimental
Source:coq-record-updatepiuparts summary:failedVersion:0.3.6-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-record-updatepiuparts-result:dependency-does-not-exist N/AVersion:0.3.6-2
coq-reduction-effects in experimental
Source:coq-reduction-effectspiuparts summary:failedVersion:0.1.6-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-reduction-effectspiuparts-result:dependency-does-not-exist N/AVersion:0.1.6-2
coq-reglang in experimental
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
coq-unicoq in experimental
Source:coq-unicoqpiuparts summary:failedVersion:1.6-8.20-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-unicoqpiuparts-result:dependency-does-not-exist N/AVersion:1.6-8.20-3
coq-unimath in experimental
Source:coq-unimathpiuparts summary:failedVersion:20250923-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-unimathpiuparts-result:dependency-does-not-exist N/AVersion:20250923-2
elpi in experimental
Source:elpipiuparts summary:failedVersion:3.4.3-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.4.3-1
Binary:libelpi-ocamlpiuparts-result:failed-testing 3.4.3-1Version:3.4.3-1
Binary:libelpi-ocaml-devpiuparts-result:dependency-failed-testing N/AVersion:3.4.3-1
flocq in experimental
Source:flocqpiuparts summary:failedVersion:4.2.1-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-flocqpiuparts-result:dependency-does-not-exist N/AVersion:4.2.1-3
hlins in experimental
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
ott in experimental
Source:ottpiuparts summary:failedVersion:0.34+ds-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-ottpiuparts-result:dependency-does-not-exist N/AVersion:0.34+ds-3
Binary:ott-toolspiuparts-result:successfully-tested 0.34+ds-3Version:0.34+ds-3
yojson in experimental
Source:yojsonpiuparts summary:failedVersion:3.0.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libyojson-ocamlpiuparts-result:failed-testing 3.0.0-1Version:3.0.0-1
Binary:libyojson-ocaml-devpiuparts-result:dependency-failed-testing N/AVersion:3.0.0-1
Binary:yojson-toolspiuparts-result:successfully-tested 3.0.0-1Version:3.0.0-1
coq-corn in experimental
Source:coq-cornpiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:9.0.0-2
coq-extructures in experimental
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
coq-hierarchy-builder in experimental
Source:coq-hierarchy-builderpiuparts summary:unknownVersion:1.10.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-hierarchy-builderpiuparts-result:dependency-cannot-be-tested N/AVersion:1.10.1-2
coq-interval in experimental
Source:coq-intervalpiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:4.11.3-2
coq-math-classes in experimental
Source:coq-math-classespiuparts summary:unknownVersion:9.0.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-math-classespiuparts-result:dependency-cannot-be-tested N/AVersion:9.0.0-2
coq-quickchick in experimental
Source:coq-quickchickpiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:2.1.1-2
Binary:quickchickpiuparts-result:successfully-tested 2.1.1-2Version:2.1.1-2
coq-relation-algebra in experimental
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
coq-simple-io in experimental
Source:coq-simple-iopiuparts summary:unknownVersion:1.11.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-simple-iopiuparts-result:dependency-cannot-be-tested N/AVersion:1.11.0-3
coqeal in experimental
Source:coqealpiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:2.1.1-2
coqprime in experimental
Source:coqprimepiuparts summary:unknownVersion:8.20.1-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:coqprime-toolspiuparts-result:dependency-cannot-be-tested N/AVersion:8.20.1-3
Binary:libcoq-coqprimepiuparts-result:dependency-cannot-be-tested N/AVersion:8.20.1-3
coquelicot in experimental
Source:coquelicotpiuparts summary:unknownVersion:3.4.4-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Binary:libcoq-coquelicotpiuparts-result:dependency-failed-testing N/AVersion:3.4.4-2
mathcomp-analysis in experimental
Source:mathcomp-analysispiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:1.14.0-1
Binary:libcoq-mathcomp-classicalpiuparts-result:dependency-cannot-be-tested N/AVersion:1.14.0-1
mathcomp-bigenough in experimental
Source:mathcomp-bigenoughpiuparts summary:unknownVersion: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:dependency-failed-testing N/AVersion:1.0.3-2
mathcomp-finmap in experimental
Source:mathcomp-finmappiuparts summary:unknownVersion: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:dependency-failed-testing N/AVersion:2.2.2-2
mathcomp-multinomials in experimental
Source:mathcomp-multinomialspiuparts summary:unknownVersion: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-cannot-be-tested N/AVersion:2.4.0-2
mathcomp-zify in experimental
Source:mathcomp-zifypiuparts summary:unknownVersion: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:dependency-cannot-be-tested N/AVersion:1.6.0+2.3+8.18-2
ssreflect in experimental
Source:ssreflectpiuparts summary:unknownVersion: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
Binary:libcoq-mathcomp-algebrapiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-bootpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-characterpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-fieldpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-fingrouppiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-orderpiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-solvablepiuparts-result:dependency-cannot-be-tested N/AVersion:2.5.0-2
Binary:libcoq-mathcomp-ssreflectpiuparts-result:dependency-failed-testing N/AVersion:2.5.0-2
Binary:mathcomp-doc:allpiuparts-result:successfully-tested 2.5.0-2Version:2.5.0-2
coq-stdpp in experimental
Source:coq-stdpppiuparts summary:successVersion:1.12.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.12.0-1+b1Version:1.12.0-1+b1
dh-coq in experimental
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
ocaml in experimental
Source:ocamlpiuparts summary:successVersion:5.4.0-1~exp1
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.4.0-1~exp1Version:5.4.0-1~exp1
Binary:libstdlib-ocamlpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:libstdlib-ocaml-devpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocamlpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-basepiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-base-nox:allpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-compiler-libs:allpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-interppiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-man:allpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-nox:allpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1
Binary:ocaml-source:allpiuparts-result:successfully-tested 5.4.0-1~exp1Version:5.4.0-1~exp1