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: oldstable222sid
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 23:54 UTC
treinen@debian.org in oldstable222sid
other distributions: 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 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:51advi alt-ergo approx aribas aspcud bibtex2html camlbz2 camlidl camlimages camlzip checkbot cmigrep coinst coq cryptokit cudf dh-ocaml dose3 garmin-forerunner-tools garmin-plugin gmanedit headache hevea hlins lablgl lablgtk2 lbt ledit maria mathpartir mccs meta-ocaml minisat+ mlgmp mona ocaml ocaml-gnuplot ocaml-tools ocamldsort ocamlmakefile ocamlwc ocamlweb ocplib-simplex packup planets spass syslog-ocaml tuareg-mode why3 xdemineur yap
advi in oldstable222sid
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 oldstable222sid
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 oldstable222sid
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 oldstable222sid
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 oldstable222sid
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 [cruft]
bibtex2html in oldstable222sid
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 [cruft]
camlbz2 in oldstable222sid
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 oldstable222sid
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>, Sylvain Le Gall <gildor@debian.org>
Binary:camlidlpiuparts-result:successfully-tested 1.05-16Version:1.05-16 [cruft]
camlimages in oldstable222sid
Source:camlimagespiuparts summary:successVersion:1:4.2.6-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: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 oldstable222sid
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 oldstable222sid
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
cmigrep in oldstable222sid
Source:cmigreppiuparts summary:successVersion:None
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Binary:cmigrep:allpiuparts-result:successfully-tested NoneVersion:None [cruft]
coinst in oldstable222sid
Source:coinstpiuparts summary:successVersion:1.9.3-1
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-1+b1Version:1.9.3-1+b1
Binary:coinst-viewerpiuparts-result:successfully-tested 1.9.3-1+b1Version:1.9.3-1+b1
coq in oldstable222sid
Source:coqpiuparts summary:successVersion:8.9.1-1
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>, 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:coqidepiuparts-result:successfully-tested NoneVersion:None [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 oldstable222sid
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 oldstable222sid
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 oldstable222sid
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 [cruft]
dose3 in oldstable222sid
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]
garmin-forerunner-tools in oldstable222sid
Source:garmin-forerunner-toolspiuparts summary:successVersion:0.10repacked-11
Maintainer:Debian running develpment group <pkg-running-devel@lists.alioth.debian.org>
Uploaders:Noèl Köthe <noel@debian.org>, Ralf Treinen <treinen@debian.org>, Christian Perrier <bubulle@debian.org>
Binary:garmin-forerunner-toolspiuparts-result:successfully-tested 0.10repacked-11Version:0.10repacked-11 [cruft]
garmin-plugin in oldstable222sid
Source:garmin-pluginpiuparts summary:successVersion:0.3.23-5
Maintainer:Debian running development group <pkg-running-devel@lists.alioth.debian.org>
Uploaders:Noèl Köthe <noel@debian.org>, Ralf Treinen <treinen@debian.org>, Christian Perrier <bubulle@debian.org>
Binary:garmin-pluginpiuparts-result:successfully-tested 0.3.23-5Version:0.3.23-5 [cruft]
gmanedit in oldstable222sid
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 oldstable222sid
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 oldstable222sid
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 [cruft]
hlins in oldstable222sid
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 oldstable222sid
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 oldstable222sid
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]
lbt in oldstable222sid
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 oldstable222sid
Source:leditpiuparts summary:successVersion:2.04-3
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>
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 oldstable222sid
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 oldstable222sid
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 [cruft]
mccs in oldstable222sid
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 [cruft]
meta-ocaml in oldstable222sid
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 oldstable222sid
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 [cruft]
mlgmp in oldstable222sid
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 oldstable222sid
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]
ocaml in oldstable222sid
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>
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-native-compilerspiuparts-result:successfully-tested NoneVersion:None [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 oldstable222sid
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 oldstable222sid
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 [cruft]
ocamldsort in oldstable222sid
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]
ocamlmakefile in oldstable222sid
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 oldstable222sid
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 [cruft]
ocamlweb in oldstable222sid
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 oldstable222sid
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 [cruft]
packup in oldstable222sid
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 oldstable222sid
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:planets:allpiuparts-result:successfully-tested 0.1.13-20Version:0.1.13-20 [cruft]
spass in oldstable222sid
Source:spasspiuparts summary:successVersion:3.7-4
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:spasspiuparts-result:successfully-tested 3.7-4Version:3.7-4
syslog-ocaml in oldstable222sid
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 oldstable222sid
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 [cruft]
why3 in oldstable222sid
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 oldstable222sid
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 [cruft]
yap in oldstable222sid
Source:yappiuparts summary:successVersion:6.2.2-6
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:yappiuparts-result:successfully-tested 6.2.2-6+b4Version:6.2.2-6+b4