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: stable22sid
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
bullseye
bullseye-rcmd
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
wheezy2jessie-lts
wheezy2jessie
wheezy2jessie-rcmd
wheezy2bpo2jessie
wheezy2lts
wheezy
wheezy-security
squeeze2wheezy-lts
squeeze2wheezy
squeeze2bpo-sloppy
squeeze2bpo2wheezy
squeeze2squeeze-lts
squeeze
lenny2squeeze
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
2019-09-18 10:40 UTC
treinen@debian.org in stable22sid
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid bullseye bullseye-rcmd stable2sid 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 wheezy2jessie-lts wheezy2jessie wheezy2jessie-rcmd wheezy2bpo2jessie wheezy2lts wheezy wheezy-security squeeze2wheezy-lts squeeze2wheezy squeeze2bpo-sloppy squeeze2bpo2wheezy squeeze2squeeze-lts squeeze lenny2squeeze
fail:0 
unknown:0 
pass:54advi alt-ergo approx aribas aspcud bibtex2html camlbz2 camlidl camlimages camlzip checkbot coq cryptokit cudf dh-ocaml dose3 gmanedit headache hevea hlins lablgl lablgtk2 lablgtk3 lbt ledit maria mathpartir mccs menhir meta-ocaml minisat+ mlgmp mona morbig morsmall ocaml ocaml-gnuplot ocaml-tools ocaml-visitors ocamldsort ocamlify ocamlmakefile ocamlwc ocamlweb ocplib-simplex packup planets ppx-derivers ppx-deriving ppx-deriving-yojson syslog-ocaml tuareg-mode why3 xdemineur
advi in stable22sid
Source:advipiuparts summary:successVersion:1.10.2-5
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:advipiuparts-result:successfully-tested 1.10.2-5Version:1.10.2-5 [cruft]
Binary:advi-examples:allpiuparts-result:successfully-tested 1.10.2-5Version:1.10.2-5 [cruft]
alt-ergo in stable22sid
Source:alt-ergopiuparts summary:successVersion:2.0.0-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:alt-ergopiuparts-result:successfully-tested 2.0.0-5Version:2.0.0-5 [cruft]
approx in stable22sid
Source:approxpiuparts summary:successVersion:5.10-2
Maintainer:Eric Cooper <ecc@cmu.edu>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:approxpiuparts-result:successfully-tested 5.10-2Version:5.10-2 [cruft]
aribas in stable22sid
Source:aribaspiuparts summary:successVersion:1.64-6
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:aribaspiuparts-result:successfully-tested 1.64-6Version:1.64-6
aspcud in stable22sid
Source:aspcudpiuparts summary:successVersion:1:1.9.4-2
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:aspcudpiuparts-result:successfully-tested 1:1.9.4-2Version:1:1.9.4-2
bibtex2html in stable22sid
Source:bibtex2htmlpiuparts summary:successVersion:1.99-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>
Binary:bibtex2html:allpiuparts-result:successfully-tested 1.99-2Version:1.99-2
camlbz2 in stable22sid
Source:camlbz2piuparts summary:successVersion:0.6.0-10
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:libbz2-ocamlpiuparts-result:successfully-tested 0.6.0-10Version:0.6.0-10 [cruft]
Binary:libbz2-ocaml-devpiuparts-result:successfully-tested 0.6.0-10Version:0.6.0-10 [cruft]
camlidl in stable22sid
Source:camlidlpiuparts summary:successVersion:1.05-16
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>
Binary:camlidlpiuparts-result:successfully-tested 1.05-16Version:1.05-16 [cruft]
camlimages in stable22sid
Source:camlimagespiuparts summary:successVersion:1:4.2.6-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Kyle Robbertze <krobbertze@gmail.com>, Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:libcamlimages-ocamlpiuparts-result:successfully-tested 1:4.2.6-5Version:1:4.2.6-5 [cruft]
Binary:libcamlimages-ocaml-devpiuparts-result:successfully-tested 1:4.2.6-5Version:1:4.2.6-5 [cruft]
Binary:libcamlimages-ocaml-doc:allpiuparts-result:successfully-tested 1:4.2.6-5Version:1:4.2.6-5 [cruft]
camlzip in stable22sid
Source:camlzippiuparts summary:successVersion:1.08-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:libzip-ocamlpiuparts-result:successfully-tested 1.08-1Version:1.08-1 [cruft]
Binary:libzip-ocaml-devpiuparts-result:successfully-tested 1.08-1Version:1.08-1 [cruft]
checkbot in stable22sid
Source:checkbotpiuparts summary:successVersion:1.80-3
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:checkbot:allpiuparts-result:successfully-tested 1.80-3Version:1.80-3
coq in stable22sid
Source:coqpiuparts summary:successVersion:8.9.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Binary:coqpiuparts-result:successfully-tested 8.9.1-1Version:8.9.1-1 [cruft]
Binary:coq-theoriespiuparts-result:successfully-tested 8.9.1-1Version:8.9.1-1 [cruft]
Binary:libcoq-ocamlpiuparts-result:successfully-tested 8.9.1-1Version:8.9.1-1 [cruft]
Binary:libcoq-ocaml-devpiuparts-result:successfully-tested 8.9.1-1Version:8.9.1-1 [cruft]
cryptokit in stable22sid
Source:cryptokitpiuparts summary:successVersion:1.13-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>, Mehdi Dogguy <mehdi@debian.org>
Binary:libcryptokit-ocamlpiuparts-result:successfully-tested 1.13-2Version:1.13-2 [cruft]
Binary:libcryptokit-ocaml-devpiuparts-result:successfully-tested 1.13-2Version:1.13-2 [cruft]
cudf in stable22sid
Source:cudfpiuparts summary:successVersion:0.7-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stefano Zacchiroli <zack@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:cudf-toolspiuparts-result:successfully-tested 0.7-5+b1Version:0.7-5+b1 [cruft]
Binary:libcudf-devpiuparts-result:successfully-tested 0.7-5+b1Version:0.7-5+b1 [cruft]
Binary:libcudf-ocaml-devpiuparts-result:successfully-tested 0.7-5+b1Version:0.7-5+b1 [cruft]
dh-ocaml in stable22sid
Source:dh-ocamlpiuparts summary:successVersion:1.1.0
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org>, Romain Beauxis <toots@rastageeks.org>
Binary:dh-ocaml:allpiuparts-result:successfully-tested 1.1.0Version:1.1.0
dose3 in stable22sid
Source:dose3piuparts summary:successVersion:5.0.1-14
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Stefano Zacchiroli <zack@debian.org>, Ralf Treinen <treinen@debian.org>, Johannes Schauer <josch@debian.org>
Binary:apt-cudfpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:dose-builddebcheckpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:dose-distcheckpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:dose-doc:allpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:dose-extrapiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:libdose3-ocamlpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
Binary:libdose3-ocaml-devpiuparts-result:successfully-tested 5.0.1-14Version:5.0.1-14 [cruft]
gmanedit in stable22sid
Source:gmaneditpiuparts summary:successVersion:0.4.2-7
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:gmaneditpiuparts-result:successfully-tested 0.4.2-7Version:0.4.2-7
headache in stable22sid
Source:headachepiuparts summary:successVersion:1.03-30
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:headache:allpiuparts-result:successfully-tested 1.03-30Version:1.03-30 [cruft]
hevea in stable22sid
Source:heveapiuparts summary:successVersion:2.32-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:hevea:allpiuparts-result:successfully-tested 2.32-2Version:2.32-2
hlins in stable22sid
Source:hlinspiuparts summary:successVersion:0.39-25
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:hlins:allpiuparts-result:successfully-tested 0.39-25Version:0.39-25 [cruft]
lablgl in stable22sid
Source:lablglpiuparts summary:successVersion:1:1.06-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>, Lifeng Sun <lifongsun@gmail.com>
Binary:liblablgl-ocamlpiuparts-result:successfully-tested 1:1.06-1Version:1:1.06-1 [cruft]
Binary:liblablgl-ocaml-devpiuparts-result:successfully-tested 1:1.06-1Version:1:1.06-1 [cruft]
lablgtk2 in stable22sid
Source:lablgtk2piuparts summary:successVersion:2.18.8+dfsg-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:liblablgtk2-gl-ocamlpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-gl-ocaml-devpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-gnome-ocamlpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-gnome-ocaml-devpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-ocamlpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-ocaml-devpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtk2-ocaml-doc:allpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtksourceview2-ocamlpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
Binary:liblablgtksourceview2-ocaml-devpiuparts-result:successfully-tested 2.18.8+dfsg-1Version:2.18.8+dfsg-1 [cruft]
lablgtk3 in stable22sid
Source:lablgtk3piuparts summary:successVersion:3.0~beta6-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:liblablgtk3-ocamlpiuparts-result:successfully-tested 3.0~beta6-2Version:3.0~beta6-2 [cruft]
Binary:liblablgtk3-ocaml-devpiuparts-result:successfully-tested 3.0~beta6-2Version:3.0~beta6-2 [cruft]
Binary:liblablgtk3-ocaml-doc:allpiuparts-result:successfully-tested 3.0~beta6-2Version:3.0~beta6-2 [cruft]
Binary:liblablgtksourceview3-ocamlpiuparts-result:successfully-tested 3.0~beta6-2Version:3.0~beta6-2 [cruft]
Binary:liblablgtksourceview3-ocaml-devpiuparts-result:successfully-tested 3.0~beta6-2Version:3.0~beta6-2 [cruft]
lbt in stable22sid
Source:lbtpiuparts summary:successVersion:1.2.2-6
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-6Version:1.2.2-6
ledit in stable22sid
Source:leditpiuparts summary:successVersion:2.04-3
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:ledit:allpiuparts-result:successfully-tested 2.04-3Version:2.04-3 [cruft]
Binary:libledit-ocaml-devpiuparts-result:successfully-tested 2.04-3+b1Version:2.04-3+b1 [cruft]
maria in stable22sid
Source:mariapiuparts summary:successVersion:1.3.5-4.1
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-4.1+b2Version:1.3.5-4.1+b2
Binary:maria-doc:allpiuparts-result:successfully-tested 1.3.5-4.1Version:1.3.5-4.1
mathpartir in stable22sid
Source:mathpartirpiuparts summary:successVersion:1.2.0-7
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:mathpartir:allpiuparts-result:successfully-tested 1.2.0-7Version:1.2.0-7
mccs in stable22sid
Source:mccspiuparts summary:successVersion:1:1.1-8
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:mccspiuparts-result:successfully-tested 1:1.1-8Version:1:1.1-8
menhir in stable22sid
Source:menhirpiuparts summary:successVersion:20190626-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:libmenhir-ocaml-devpiuparts-result:successfully-tested 20190626-6Version:20190626-6 [cruft]
Binary:menhirpiuparts-result:successfully-tested 20190626-6Version:20190626-6 [cruft]
Binary:menhir-doc:allpiuparts-result:successfully-tested 20190626-6Version:20190626-6 [cruft]
meta-ocaml in stable22sid
Source:meta-ocamlpiuparts summary:successVersion:3.12.0.1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>
Binary:ocaml-core:allpiuparts-result:successfully-tested 3.12.0.1Version:3.12.0.1
Binary:ocaml-libs:allpiuparts-result:successfully-tested 3.12.0.1Version:3.12.0.1
minisat+ in stable22sid
Source:minisat+piuparts summary:successVersion:1.0-4
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-4Version:1.0-4
mlgmp in stable22sid
Source:mlgmppiuparts summary:successVersion:20021123-20
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Mike Furr <mfurr@debian.org>
Binary:libgmp-ocamlpiuparts-result:successfully-tested 20021123-20Version:20021123-20 [cruft]
Binary:libgmp-ocaml-devpiuparts-result:successfully-tested 20021123-20Version:20021123-20 [cruft]
mona in stable22sid
Source:monapiuparts summary:successVersion:1.4-17-2
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:monapiuparts-result:successfully-tested 1.4-17-2Version:1.4-17-2 [cruft]
morbig in stable22sid
Source:morbigpiuparts summary:successVersion:0.9.1-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.9.1-3+b1Version:0.9.1-3+b1 [cruft]
Binary:morbigpiuparts-result:successfully-tested 0.9.1-3+b1Version:0.9.1-3+b1 [cruft]
morsmall in stable22sid
Source:morsmallpiuparts summary:successVersion:0.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libmorsmall-ocaml-devpiuparts-result:successfully-tested 0.1-1+b6Version:0.1-1+b6
ocaml in stable22sid
Source:ocamlpiuparts summary:successVersion:4.05.0-12
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ximin Luo <infinity0@debian.org>
Binary:ocamlpiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-basepiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-base-noxpiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-compiler-libspiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-interppiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-mode:allpiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-noxpiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
Binary:ocaml-source:allpiuparts-result:successfully-tested 4.05.0-12Version:4.05.0-12 [cruft]
ocaml-gnuplot in stable22sid
Source:ocaml-gnuplotpiuparts summary:successVersion:0.8.3-4
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-4Version:0.8.3-4 [cruft]
ocaml-tools in stable22sid
Source:ocaml-toolspiuparts summary:successVersion:20120103-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Samuel Mimram <smimram@debian.org>
Binary:ocaml-tools:allpiuparts-result:successfully-tested 20120103-5Version:20120103-5
ocaml-visitors in stable22sid
Source:ocaml-visitorspiuparts summary:successVersion:20190711-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libppx-visitors-ocaml-devpiuparts-result:successfully-tested 20190711-2Version:20190711-2 [cruft]
Binary:libppx-visitors-ocaml-doc:allpiuparts-result:successfully-tested 20190711-2Version:20190711-2 [cruft]
ocamldsort in stable22sid
Source:ocamldsortpiuparts summary:successVersion:0.16.0-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamldsortpiuparts-result:successfully-tested 0.16.0-6Version:0.16.0-6 [cruft]
ocamlify in stable22sid
Source:ocamlifypiuparts summary:successVersion:0.0.2-6
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamlify:allpiuparts-result:successfully-tested 0.0.2-6Version:0.0.2-6 [cruft]
ocamlmakefile in stable22sid
Source:ocamlmakefilepiuparts summary:successVersion:6.37.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>
Binary:ocamlmakefile:allpiuparts-result:successfully-tested 6.37.0-3Version:6.37.0-3
ocamlwc in stable22sid
Source:ocamlwcpiuparts summary:successVersion:0.3-15
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:ocamlwc:allpiuparts-result:successfully-tested 0.3-15Version:0.3-15
ocamlweb in stable22sid
Source:ocamlwebpiuparts summary:successVersion:1.41-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>
Binary:ocamlweb:allpiuparts-result:successfully-tested 1.41-2Version:1.41-2 [cruft]
ocplib-simplex in stable22sid
Source:ocplib-simplexpiuparts summary:successVersion:0.4-1
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.4-1Version:0.4-1
packup in stable22sid
Source:packuppiuparts summary:successVersion:0.6-3
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:packuppiuparts-result:successfully-tested 0.6-3Version:0.6-3
planets in stable22sid
Source:planetspiuparts summary:successVersion:0.1.13-20
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Martin Pitt <mpitt@debian.org>, Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>
Binary:planetspiuparts-result:successfully-tested 0.1.13-20Version:0.1.13-20 [cruft]
ppx-derivers in stable22sid
Source:ppx-deriverspiuparts summary:successVersion:1.2.1-1
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-1Version:1.2.1-1 [cruft]
ppx-deriving in stable22sid
Source:ppx-derivingpiuparts summary:successVersion:4.4-2
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 4.4-2Version:4.4-2 [cruft]
Binary:libppx-deriving-ocaml-devpiuparts-result:successfully-tested 4.4-2Version:4.4-2 [cruft]
ppx-deriving-yojson in stable22sid
Source:ppx-deriving-yojsonpiuparts summary:successVersion:3.5.1-2
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.5.1-2Version:3.5.1-2 [cruft]
syslog-ocaml in stable22sid
Source:syslog-ocamlpiuparts summary:successVersion:1.4-7
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 1.4-7Version:1.4-7 [cruft]
Binary:libsyslog-ocaml-devpiuparts-result:successfully-tested 1.4-7Version:1.4-7 [cruft]
tuareg-mode in stable22sid
Source:tuareg-modepiuparts summary:successVersion:1:2.1.0-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:tuareg-mode:allpiuparts-result:successfully-tested 1:2.1.0-2Version:1:2.1.0-2
why3 in stable22sid
Source:why3piuparts summary:successVersion:1.2.0-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.2.0-2Version:1.2.0-2 [cruft]
Binary:why3piuparts-result:successfully-tested 1.2.0-2Version:1.2.0-2 [cruft]
Binary:why3-coqpiuparts-result:successfully-tested 1.2.0-2Version:1.2.0-2 [cruft]
Binary:why3-doc-html:allpiuparts-result:successfully-tested 1.2.0-2Version:1.2.0-2 [cruft]
Binary:why3-doc-pdf:allpiuparts-result:successfully-tested 1.2.0-2Version:1.2.0-2 [cruft]
Binary:why3-examples:allpiuparts-result:successfully-tested 1.2.0-2Version:1.2.0-2 [cruft]
xdemineur in stable22sid
Source:xdemineurpiuparts summary:successVersion:2.1.1-20
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:xdemineurpiuparts-result:successfully-tested 2.1.1-20Version:2.1.1-20