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: testing2sid
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
trixie
trixie-rcmd
bookworm
bookworm-rcmd
bookworm-security
bookworm-pu
bookworm2next
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
stable2sid
stable22sid
buster
buster-rcmd
buster-security
buster-pu
buster2next
stretch2buster
stretch2Xbuster
stretch2buster-rcmd
stretch2Xbuster-rcmd
stretch2bpo2buster
stretch2bpo
stretch
stretch-rcmd
stretch-security
stretch-pu
stretch2next
oldstable222sid
oldstable22testing
jessie2stretch
jessie2Xstretch
jessie2stretch-rcmd
jessie2Xstretch-rcmd
jessie-lts2stretch
jessie2bpo2stretch
jessie2bpo
jessie2lts
jessie
jessie-rcmd
jessie-security
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
2024-11-21 06:03 UTC
treinen@debian.org in testing2sid
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks trixie trixie-rcmd bookworm bookworm-rcmd bookworm-security bookworm-pu bookworm2next bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid buster buster-rcmd buster-security buster-pu buster2next stretch2buster stretch2Xbuster stretch2buster-rcmd stretch2Xbuster-rcmd stretch2bpo2buster stretch2bpo stretch stretch-rcmd stretch-security stretch-pu stretch2next oldstable222sid oldstable22testing jessie2stretch jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie-lts2stretch jessie2bpo2stretch jessie2bpo jessie2lts jessie jessie-rcmd jessie-security
fail:0 
unknown:0 
pass:57advi approx aspcud bibtex2html caml-mode camlbz2 camlidl camlimages camlzip coccinelle coinst coq cryptokit cudf dh-ocaml dose3 frama-c headache hevea hlins lablgl lablgtk3 lbt ledit maria mccs menhir meta-ocaml minisat+ mlgmp mona morbig morsmall ocaml ocaml-cairo2 ocaml-fpath ocaml-gnuplot ocaml-odoc ocaml-tools ocaml-visitors ocamldsort ocamlify ocamlmakefile ocamlwc ocamlweb ocplib-simplex packup planets ppx-derivers ppx-deriving ppx-deriving-yojson spass ssreflect syslog-ocaml tuareg-mode why3 xdemineur
advi in testing2sid
Source:advipiuparts summary:successVersion:2.0.0-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:advipiuparts-result:successfully-tested 2.0.0-4Version:2.0.0-4
Binary:advi-examples:allpiuparts-result:successfully-tested 2.0.0-4Version:2.0.0-4
approx in testing2sid
Source:approxpiuparts summary:successVersion:5.13-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:approxpiuparts-result:successfully-tested 5.13-1+b2Version:5.13-1+b2
aspcud in testing2sid
Source:aspcudpiuparts summary:successVersion:1:1.9.6-2
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:aspcudpiuparts-result:successfully-tested 1:1.9.6-2Version:1:1.9.6-2
bibtex2html in testing2sid
Source:bibtex2htmlpiuparts summary:successVersion:1.99-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:bibtex2htmlpiuparts-result:successfully-tested 1.99-4+b2Version:1.99-4+b2
caml-mode in testing2sid
Source:caml-modepiuparts summary:successVersion:4.9-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:elpa-caml:allpiuparts-result:successfully-tested 4.9-4Version:4.9-4
camlbz2 in testing2sid
Source:camlbz2piuparts summary:successVersion:0.8.0-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:libbz2-ocamlpiuparts-result:successfully-tested 0.8.0-2+b1Version:0.8.0-2+b1
Binary:libbz2-ocaml-devpiuparts-result:successfully-tested 0.8.0-2+b1Version:0.8.0-2+b1
camlidl in testing2sid
Source:camlidlpiuparts summary:successVersion:1.12-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:camlidlpiuparts-result:successfully-tested 1.12-1+b1Version:1.12-1+b1
camlimages in testing2sid
Source:camlimagespiuparts summary:successVersion:1:5.0.5-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Kyle Robbertze <paddatrapper@debian.org>, Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:libcamlimages-ocamlpiuparts-result:successfully-tested 1:5.0.5-2Version:1:5.0.5-2
Binary:libcamlimages-ocaml-devpiuparts-result:successfully-tested 1:5.0.5-2Version:1:5.0.5-2
Binary:libcamlimages-ocaml-doc:allpiuparts-result:successfully-tested 1:5.0.5-2Version:1:5.0.5-2
camlzip in testing2sid
Source:camlzippiuparts summary:successVersion:1.12-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:libzip-ocamlpiuparts-result:successfully-tested 1.12-2+b1Version:1.12-2+b1
Binary:libzip-ocaml-devpiuparts-result:successfully-tested 1.12-2+b1Version:1.12-2+b1
coccinelle in testing2sid
Source:coccinellepiuparts summary:successVersion:1.2.deb-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Emmanuel Arias <eamanu@yaerobi.com>, Ralf Treinen <treinen@debian.org>
Binary:coccinellepiuparts-result:successfully-tested 1.2.deb-1+b1Version:1.2.deb-1+b1
Binary:coccinelle-doc:allpiuparts-result:successfully-tested 1.2.deb-1Version:1.2.deb-1
coinst in testing2sid
Source:coinstpiuparts summary:successVersion:1.9.3-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:coinstpiuparts-result:successfully-tested 1.9.3-6+b2Version:1.9.3-6+b2
coq in testing2sid
Source:coqpiuparts summary:successVersion:8.20.0+dfsg-1
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:successfully-tested 8.20.0+dfsg-1Version:8.20.0+dfsg-1 [cruft]
Binary:coqidepiuparts-result:successfully-tested 8.20.0+dfsg-1Version:8.20.0+dfsg-1 [cruft]
Binary:libcoq-core-ocamlpiuparts-result:successfully-tested 8.20.0+dfsg-1Version:8.20.0+dfsg-1 [cruft]
Binary:libcoq-core-ocaml-devpiuparts-result:successfully-tested 8.20.0+dfsg-1Version:8.20.0+dfsg-1 [cruft]
Binary:libcoq-stdlibpiuparts-result:successfully-tested 8.20.0+dfsg-1Version:8.20.0+dfsg-1 [cruft]
cryptokit in testing2sid
Source:cryptokitpiuparts summary:successVersion:1.20.1-1
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>
Binary:libcryptokit-ocamlpiuparts-result:successfully-tested 1.20.1-1+b2Version:1.20.1-1+b2
Binary:libcryptokit-ocaml-devpiuparts-result:successfully-tested 1.20.1-1+b2Version:1.20.1-1+b2
cudf in testing2sid
Source:cudfpiuparts summary:successVersion:0.10-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:cudf-toolspiuparts-result:successfully-tested 0.10-5+b1Version:0.10-5+b1
Binary:libcudf-devpiuparts-result:successfully-tested 0.10-5+b1Version:0.10-5+b1
Binary:libcudf-ocaml-devpiuparts-result:successfully-tested 0.10-5+b1Version:0.10-5+b1
dh-ocaml in testing2sid
Source:dh-ocamlpiuparts summary:successVersion:2.4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:dh-ocaml:allpiuparts-result:successfully-tested 2.4Version:2.4
dose3 in testing2sid
Source:dose3piuparts summary:successVersion:7.0.0-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stefano Zacchiroli <zack@debian.org>, Ralf Treinen <treinen@debian.org>, Johannes 'josch' Schauer <josch@debian.org>
Binary:apt-cudfpiuparts-result:successfully-tested 7.0.0-5+b5Version:7.0.0-5+b5
Binary:dose-builddebcheckpiuparts-result:successfully-tested 7.0.0-5+b5Version:7.0.0-5+b5
Binary:dose-distcheckpiuparts-result:successfully-tested 7.0.0-5+b5Version:7.0.0-5+b5
Binary:dose-doc:allpiuparts-result:successfully-tested 7.0.0-5Version:7.0.0-5
Binary:dose-extrapiuparts-result:successfully-tested 7.0.0-5+b5Version:7.0.0-5+b5
Binary:libdose3-ocaml-devpiuparts-result:successfully-tested 7.0.0-5+b5Version:7.0.0-5+b5
frama-c in testing2sid
Source:frama-cpiuparts summary:successVersion:20220511-manganese-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:frama-c-basepiuparts-result:successfully-tested 20220511-manganese-5+b12Version:20220511-manganese-5+b12
headache in testing2sid
Source:headachepiuparts summary:successVersion:1.08-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:headachepiuparts-result:successfully-tested 1.08-2Version:1.08-2
hevea in testing2sid
Source:heveapiuparts summary:successVersion:2.36-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:heveapiuparts-result:successfully-tested 2.36-2+b2Version:2.36-2+b2
hlins in testing2sid
Source:hlinspiuparts summary:successVersion:0.40-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:hlinspiuparts-result:successfully-tested 0.40-1+b1Version:0.40-1+b1
lablgl in testing2sid
Source:lablglpiuparts summary:successVersion:1:1.07-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:liblablgl-ocamlpiuparts-result:successfully-tested 1:1.07-2+b1Version:1:1.07-2+b1
Binary:liblablgl-ocaml-devpiuparts-result:successfully-tested 1:1.07-2+b1Version:1:1.07-2+b1
lablgtk3 in testing2sid
Source:lablgtk3piuparts summary:successVersion:3.1.5-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:liblablgtk3-ocamlpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
Binary:liblablgtk3-ocaml-devpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
Binary:liblablgtk3-ocaml-doc:allpiuparts-result:successfully-tested 3.1.5-1Version:3.1.5-1
Binary:liblablgtksourceview3-ocamlpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
Binary:liblablgtksourceview3-ocaml-devpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
Binary:liblablgtkspell3-ocamlpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
Binary:liblablgtkspell3-ocaml-devpiuparts-result:successfully-tested 3.1.5-1+b1Version:3.1.5-1+b1
lbt in testing2sid
Source:lbtpiuparts summary:successVersion:1.2.2-7
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:lbtpiuparts-result:successfully-tested 1.2.2-7Version:1.2.2-7
ledit in testing2sid
Source:leditpiuparts summary:successVersion:2.04-8
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:leditpiuparts-result:successfully-tested 2.04-8+b5Version:2.04-8+b5
Binary:libledit-ocaml-devpiuparts-result:successfully-tested 2.04-8+b5Version:2.04-8+b5
maria in testing2sid
Source:mariapiuparts summary:successVersion:1.3.5-6
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:mariapiuparts-result:successfully-tested 1.3.5-6Version:1.3.5-6
Binary:maria-doc:allpiuparts-result:successfully-tested 1.3.5-6Version:1.3.5-6
mccs in testing2sid
Source:mccspiuparts summary:successVersion:1:1.1-10
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:mccspiuparts-result:successfully-tested 1:1.1-10+b1Version:1:1.1-10+b1
menhir in testing2sid
Source:menhirpiuparts summary:successVersion:20240715+ds-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:libmenhir-ocaml-devpiuparts-result:successfully-tested 20240715+ds-1Version:20240715+ds-1
Binary:menhirpiuparts-result:successfully-tested 20240715+ds-1Version:20240715+ds-1
Binary:menhir-doc:allpiuparts-result:successfully-tested 20240715+ds-1Version:20240715+ds-1
meta-ocaml in testing2sid
Source:meta-ocamlpiuparts summary:successVersion:5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:ocaml-core:allpiuparts-result:successfully-tested 5Version:5
Binary:ocaml-libs:allpiuparts-result:successfully-tested 5Version:5
Binary:ocaml-platform:allpiuparts-result:successfully-tested 5Version:5
minisat+ in testing2sid
Source:minisat+piuparts summary:successVersion:1.0-5
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:minisat+piuparts-result:successfully-tested 1.0-5Version:1.0-5
mlgmp in testing2sid
Source:mlgmppiuparts summary:successVersion:20021123-23
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:libgmp-ocamlpiuparts-result:successfully-tested 20021123-23+b1Version:20021123-23+b1
Binary:libgmp-ocaml-devpiuparts-result:successfully-tested 20021123-23+b1Version:20021123-23+b1
mona in testing2sid
Source:monapiuparts summary:successVersion:1.4-18-1
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:monapiuparts-result:successfully-tested 1.4-18-1+b1Version:1.4-18-1+b1
morbig in testing2sid
Source:morbigpiuparts summary:successVersion:0.11.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libmorbig-ocaml-devpiuparts-result:successfully-tested 0.11.0-3+b3Version:0.11.0-3+b3
Binary:morbigpiuparts-result:successfully-tested 0.11.0-3+b3Version:0.11.0-3+b3
morsmall in testing2sid
Source:morsmallpiuparts summary:successVersion:0.3.0-8
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libmorsmall-ocaml-devpiuparts-result:successfully-tested 0.3.0-8+b4Version:0.3.0-8+b4
ocaml in testing2sid
Source:ocamlpiuparts summary:successVersion:5.2.0-3
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.2.0-3Version:5.2.0-3
Binary:libstdlib-ocamlpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:libstdlib-ocaml-devpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocamlpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-basepiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-base-nox:allpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-compiler-libs:allpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-interppiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-man:allpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-nox:allpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
Binary:ocaml-source:allpiuparts-result:successfully-tested 5.2.0-3Version:5.2.0-3
ocaml-cairo2 in testing2sid
Source:ocaml-cairo2piuparts summary:successVersion:0.6.4+dfsg-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libcairo2-ocamlpiuparts-result:successfully-tested 0.6.4+dfsg-4+b1Version:0.6.4+dfsg-4+b1
Binary:libcairo2-ocaml-devpiuparts-result:successfully-tested 0.6.4+dfsg-4+b1Version:0.6.4+dfsg-4+b1
ocaml-fpath in testing2sid
Source:ocaml-fpathpiuparts summary:successVersion:0.7.3-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libfpath-ocamlpiuparts-result:successfully-tested 0.7.3-3+b2Version:0.7.3-3+b2
Binary:libfpath-ocaml-devpiuparts-result:successfully-tested 0.7.3-3+b2Version:0.7.3-3+b2
ocaml-gnuplot in testing2sid
Source:ocaml-gnuplotpiuparts summary:successVersion:0.8.3-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libgnuplot-ocaml-devpiuparts-result:successfully-tested 0.8.3-6Version:0.8.3-6
ocaml-odoc in testing2sid
Source:ocaml-odocpiuparts summary:successVersion:2.4.3-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:libodoc-ocamlpiuparts-result:successfully-tested 2.4.3-1Version:2.4.3-1
Binary:libodoc-ocaml-devpiuparts-result:successfully-tested 2.4.3-1Version:2.4.3-1
Binary:libodoc-parser-ocamlpiuparts-result:successfully-tested 2.4.3-1Version:2.4.3-1
Binary:libodoc-parser-ocaml-devpiuparts-result:successfully-tested 2.4.3-1Version:2.4.3-1
Binary:ocaml-odocpiuparts-result:successfully-tested 2.4.3-1Version:2.4.3-1
ocaml-tools in testing2sid
Source:ocaml-toolspiuparts summary:successVersion:20120103-12
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:ocaml-tools:allpiuparts-result:successfully-tested 20120103-12Version:20120103-12
ocaml-visitors in testing2sid
Source:ocaml-visitorspiuparts summary:successVersion:20210608-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libppx-visitors-ocaml-devpiuparts-result:successfully-tested 20210608-6+b4Version:20210608-6+b4
Binary:libppx-visitors-ocaml-doc:allpiuparts-result:successfully-tested 20210608-6Version:20210608-6
ocamldsort in testing2sid
Source:ocamldsortpiuparts summary:successVersion:0.16.0-9
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamldsortpiuparts-result:successfully-tested 0.16.0-9Version:0.16.0-9
ocamlify in testing2sid
Source:ocamlifypiuparts summary:successVersion:0.0.2-11
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamlifypiuparts-result:successfully-tested 0.0.2-11+b1Version:0.0.2-11+b1
ocamlmakefile in testing2sid
Source:ocamlmakefilepiuparts summary:successVersion:6.39.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamlmakefile:allpiuparts-result:successfully-tested 6.39.2-2Version:6.39.2-2
ocamlwc in testing2sid
Source:ocamlwcpiuparts summary:successVersion:0.3-21
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Georg Neis <gn@oglaroon.de>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:ocamlwcpiuparts-result:successfully-tested 0.3-21+b2Version:0.3-21+b2
ocamlweb in testing2sid
Source:ocamlwebpiuparts summary:successVersion:1.41-8
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamlwebpiuparts-result:successfully-tested 1.41-8+b1Version:1.41-8+b1
ocplib-simplex in testing2sid
Source:ocplib-simplexpiuparts summary:successVersion:0.5.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:ocplib-simplex-ocaml-devpiuparts-result:successfully-tested 0.5.1-2+b3Version:0.5.1-2+b3
packup in testing2sid
Source:packuppiuparts summary:successVersion:0.6-3.1
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:packuppiuparts-result:successfully-tested 0.6-3.1Version:0.6-3.1
planets in testing2sid
Source:planetspiuparts summary:successVersion:0.1.13-23
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Martin Pitt <mpitt@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:planetspiuparts-result:successfully-tested 0.1.13-23Version:0.1.13-23
ppx-derivers in testing2sid
Source:ppx-deriverspiuparts summary:successVersion:1.2.1-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:libppx-derivers-ocaml-devpiuparts-result:successfully-tested 1.2.1-4+b2Version:1.2.1-4+b2
ppx-deriving in testing2sid
Source:ppx-derivingpiuparts summary:successVersion:6.0.3-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:libppx-deriving-ocamlpiuparts-result:successfully-tested 6.0.3-1Version:6.0.3-1
Binary:libppx-deriving-ocaml-devpiuparts-result:successfully-tested 6.0.3-1Version:6.0.3-1
ppx-deriving-yojson in testing2sid
Source:ppx-deriving-yojsonpiuparts summary:successVersion:3.9.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libppx-deriving-yojson-ocaml-devpiuparts-result:successfully-tested 3.9.0-1+b2Version:3.9.0-1+b2
spass in testing2sid
Source:spasspiuparts summary:successVersion:3.9-1.1
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:spasspiuparts-result:successfully-tested 3.9-1.1Version:3.9-1.1
ssreflect in testing2sid
Source:ssreflectpiuparts summary:successVersion:2.2.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:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-algebrapiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-characterpiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-fieldpiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-fingrouppiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-solvablepiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
Binary:libcoq-mathcomp-ssreflectpiuparts-result:successfully-tested 2.2.0-2+b9Version:2.2.0-2+b9
syslog-ocaml in testing2sid
Source:syslog-ocamlpiuparts summary:successVersion:2.0.2-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Eric Cooper <ecc@cmu.edu>, Ralf Treinen <treinen@debian.org>
Binary:libsyslog-ocamlpiuparts-result:successfully-tested 2.0.2-4+b2Version:2.0.2-4+b2
Binary:libsyslog-ocaml-devpiuparts-result:successfully-tested 2.0.2-4+b2Version:2.0.2-4+b2
tuareg-mode in testing2sid
Source:tuareg-modepiuparts summary:successVersion:1:3.0.1-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:elpa-tuareg:allpiuparts-result:successfully-tested 1:3.0.1-3Version:1:3.0.1-3
why3 in testing2sid
Source:why3piuparts summary:successVersion:1.7.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:libwhy3-ocaml-devpiuparts-result:successfully-tested 1.7.2-2+b1Version:1.7.2-2+b1
Binary:why3piuparts-result:successfully-tested 1.7.2-2+b1Version:1.7.2-2+b1
Binary:why3-doc-html:allpiuparts-result:successfully-tested 1.7.2-2Version:1.7.2-2
Binary:why3-doc-pdf:allpiuparts-result:successfully-tested 1.7.2-2Version:1.7.2-2
Binary:why3-examples:allpiuparts-result:successfully-tested 1.7.2-2Version:1.7.2-2
xdemineur in testing2sid
Source:xdemineurpiuparts summary:successVersion:2.1.1-23
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:xdemineurpiuparts-result:successfully-tested 2.1.1-23Version:2.1.1-23