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: stretch2next
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
bookworm
bookworm-rcmd
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
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
2023-04-19 07:33 UTC
treinen@debian.org in stretch2next
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid bookworm bookworm-rcmd 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 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: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 stretch2next
Source:advipiuparts summary:successVersion:1.10.2-3
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-3Version:1.10.2-3
Binary:advi-examples:allpiuparts-result:successfully-tested 1.10.2-3Version:1.10.2-3
alt-ergo in stretch2next
Source:alt-ergopiuparts summary:successVersion:1.30-1
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 1.30-1Version:1.30-1
approx in stretch2next
Source:approxpiuparts summary:successVersion:5.7-3
Maintainer:Eric Cooper <ecc@cmu.edu>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:approxpiuparts-result:successfully-tested 5.7-3Version:5.7-3
aribas in stretch2next
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 stretch2next
Source:aspcudpiuparts summary:successVersion:1:1.9.1-2
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:aspcudpiuparts-result:successfully-tested 1:1.9.1-2+b1Version:1:1.9.1-2+b1
bibtex2html in stretch2next
Source:bibtex2htmlpiuparts summary:successVersion:1.98-5
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.98-5Version:1.98-5
camlbz2 in stretch2next
Source:camlbz2piuparts summary:successVersion:0.6.0-7
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-7Version:0.6.0-7
Binary:libbz2-ocaml-devpiuparts-result:successfully-tested 0.6.0-7Version:0.6.0-7
camlidl in stretch2next
Source:camlidlpiuparts summary:successVersion:1.05-14
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-14+b2Version:1.05-14+b2
camlimages in stretch2next
Source:camlimagespiuparts summary:successVersion:1:4.2.0-1.1
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.0-1.1+b1Version:1:4.2.0-1.1+b1
Binary:libcamlimages-ocaml-devpiuparts-result:successfully-tested 1:4.2.0-1.1+b1Version:1:4.2.0-1.1+b1
Binary:libcamlimages-ocaml-doc:allpiuparts-result:successfully-tested 1:4.2.0-1.1Version:1:4.2.0-1.1
camlzip in stretch2next
Source:camlzippiuparts summary:successVersion:1.06-2
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.06-2Version:1.06-2
Binary:libzip-ocaml-devpiuparts-result:successfully-tested 1.06-2Version:1.06-2
checkbot in stretch2next
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 stretch2next
Source:cmigreppiuparts summary:successVersion:1.5-14
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 1.5-14Version:1.5-14
coinst in stretch2next
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 stretch2next
Source:coqpiuparts summary:successVersion:8.6-4
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.6-4Version:8.6-4
Binary:coq-theoriespiuparts-result:successfully-tested 8.6-4Version:8.6-4
Binary:coqidepiuparts-result:successfully-tested 8.6-4Version:8.6-4
Binary:libcoq-ocamlpiuparts-result:successfully-tested 8.6-4Version:8.6-4
Binary:libcoq-ocaml-devpiuparts-result:successfully-tested 8.6-4Version:8.6-4
cryptokit in stretch2next
Source:cryptokitpiuparts summary:successVersion:1.10-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>, Mehdi Dogguy <mehdi@debian.org>
Binary:libcryptokit-ocamlpiuparts-result:successfully-tested 1.10-1+b1Version:1.10-1+b1
Binary:libcryptokit-ocaml-devpiuparts-result:successfully-tested 1.10-1+b1Version:1.10-1+b1
cudf in stretch2next
Source:cudfpiuparts summary:successVersion:0.7-2
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-2+b3Version:0.7-2+b3
Binary:libcudf-devpiuparts-result:successfully-tested 0.7-2+b3Version:0.7-2+b3
Binary:libcudf-ocaml-devpiuparts-result:successfully-tested 0.7-2+b3Version:0.7-2+b3
dh-ocaml in stretch2next
Source:dh-ocamlpiuparts summary:successVersion:1.0.10
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.0.10Version:1.0.10
dose3 in stretch2next
Source:dose3piuparts summary:successVersion:5.0.1-8+deb9u1
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-8+deb9u1Version:5.0.1-8+deb9u1
Binary:dose-builddebcheckpiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
Binary:dose-distcheckpiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
Binary:dose-doc:allpiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
Binary:dose-extrapiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
Binary:libdose3-ocamlpiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
Binary:libdose3-ocaml-devpiuparts-result:successfully-tested 5.0.1-8+deb9u1Version:5.0.1-8+deb9u1
garmin-forerunner-tools in stretch2next
Source:garmin-forerunner-toolspiuparts summary:successVersion:0.10repacked-10
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-10+b1Version:0.10repacked-10+b1
garmin-plugin in stretch2next
Source:garmin-pluginpiuparts summary:successVersion:0.3.23-4
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-4Version:0.3.23-4
gmanedit in stretch2next
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 stretch2next
Source:headachepiuparts summary:successVersion:1.03-26
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-26Version:1.03-26
hevea in stretch2next
Source:heveapiuparts summary:successVersion:2.29-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>
Binary:hevea:allpiuparts-result:successfully-tested 2.29-1Version:2.29-1
hlins in stretch2next
Source:hlinspiuparts summary:successVersion:0.39-22
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:hlins:allpiuparts-result:successfully-tested 0.39-22Version:0.39-22
lablgl in stretch2next
Source:lablglpiuparts summary:successVersion:1:1.05-2
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.05-2Version:1:1.05-2
Binary:liblablgl-ocaml-devpiuparts-result:successfully-tested 1:1.05-2Version:1:1.05-2
lablgtk2 in stretch2next
Source:lablgtk2piuparts summary:successVersion:2.18.3+dfsg-2
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.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-gl-ocaml-devpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-gnome-ocamlpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-gnome-ocaml-devpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-ocamlpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-ocaml-devpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtk2-ocaml-doc:allpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtksourceview2-ocamlpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
Binary:liblablgtksourceview2-ocaml-devpiuparts-result:successfully-tested 2.18.3+dfsg-2Version:2.18.3+dfsg-2
lbt in stretch2next
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 stretch2next
Source:leditpiuparts summary:successVersion:2.03-5
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.03-5Version:2.03-5
Binary:libledit-ocaml-devpiuparts-result:successfully-tested 2.03-5Version:2.03-5
maria in stretch2next
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.1Version:1.3.5-4.1
Binary:maria-doc:allpiuparts-result:successfully-tested 1.3.5-4.1Version:1.3.5-4.1
mathpartir in stretch2next
Source:mathpartirpiuparts summary:successVersion:1.2.0-6
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:mathpartir:allpiuparts-result:successfully-tested 1.2.0-6Version:1.2.0-6
mccs in stretch2next
Source:mccspiuparts summary:successVersion:1:1.1-5
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:mccspiuparts-result:successfully-tested 1:1.1-5Version:1:1.1-5
meta-ocaml in stretch2next
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 stretch2next
Source:minisat+piuparts summary:successVersion:1.0-3
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-3Version:1.0-3
mlgmp in stretch2next
Source:mlgmppiuparts summary:successVersion:20021123-18
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-18+b1Version:20021123-18+b1
Binary:libgmp-ocaml-devpiuparts-result:successfully-tested 20021123-18+b1Version:20021123-18+b1
mona in stretch2next
Source:monapiuparts summary:successVersion:1.4-17-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-17-1+b1Version:1.4-17-1+b1
ocaml in stretch2next
Source:ocamlpiuparts summary:successVersion:4.02.3-9
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.02.3-9Version:4.02.3-9
Binary:ocaml-basepiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-base-noxpiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-compiler-libspiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-interppiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-mode:allpiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-native-compilerspiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-noxpiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
Binary:ocaml-source:allpiuparts-result:successfully-tested 4.02.3-9Version:4.02.3-9
ocaml-gnuplot in stretch2next
Source:ocaml-gnuplotpiuparts summary:successVersion:0.8.3-3
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-3+b2Version:0.8.3-3+b2
ocaml-tools in stretch2next
Source:ocaml-toolspiuparts summary:successVersion:20120103-4
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-4Version:20120103-4
ocamldsort in stretch2next
Source:ocamldsortpiuparts summary:successVersion:0.16.0-5
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:ocamldsortpiuparts-result:successfully-tested 0.16.0-5Version:0.16.0-5
ocamlmakefile in stretch2next
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 stretch2next
Source:ocamlwcpiuparts summary:successVersion:0.3-13
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-13Version:0.3-13
ocamlweb in stretch2next
Source:ocamlwebpiuparts summary:successVersion:1.39-5
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.39-5Version:1.39-5
ocplib-simplex in stretch2next
Source:ocplib-simplexpiuparts summary:successVersion:0.3-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.3-1Version:0.3-1
packup in stretch2next
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 stretch2next
Source:planetspiuparts summary:successVersion:0.1.13-16
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-16Version:0.1.13-16
spass in stretch2next
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 stretch2next
Source:syslog-ocamlpiuparts summary:successVersion:1.4-6
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-6+b4Version:1.4-6+b4
Binary:libsyslog-ocaml-devpiuparts-result:successfully-tested 1.4-6+b4Version:1.4-6+b4
tuareg-mode in stretch2next
Source:tuareg-modepiuparts summary:successVersion:1:2.0.10-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>
Binary:tuareg-mode:allpiuparts-result:successfully-tested 1:2.0.10-1Version:1:2.0.10-1
why3 in stretch2next
Source:why3piuparts summary:successVersion:0.87.3-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:libwhy3-ocaml-devpiuparts-result:successfully-tested 0.87.3-2+b1Version:0.87.3-2+b1
Binary:why3piuparts-result:successfully-tested 0.87.3-2+b1Version:0.87.3-2+b1
Binary:why3-coqpiuparts-result:successfully-tested 0.87.3-2+b1Version:0.87.3-2+b1
Binary:why3-doc-html:allpiuparts-result:successfully-tested 0.87.3-2Version:0.87.3-2
Binary:why3-doc-pdf:allpiuparts-result:successfully-tested 0.87.3-2Version:0.87.3-2
Binary:why3-examples:allpiuparts-result:successfully-tested 0.87.3-2Version:0.87.3-2
xdemineur in stretch2next
Source:xdemineurpiuparts summary:successVersion:2.1.1-19
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:xdemineurpiuparts-result:successfully-tested 2.1.1-19Version:2.1.1-19
yap in stretch2next
Source:yappiuparts summary:successVersion:6.2.2-6
Maintainer:Ralf Treinen <treinen@debian.org>
Binary:yappiuparts-result:successfully-tested 6.2.2-6+b2Version:6.2.2-6+b2