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: buster
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-10-29 00:10 UTC
treinen@debian.org in buster
other distributions: 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-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: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 buster
Source:advipiuparts summary:successVersion:1.10.2-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>
Binary:advipiuparts-result:successfully-tested 1.10.2-4Version:1.10.2-4
Binary:advi-examples:allpiuparts-result:successfully-tested 1.10.2-4Version:1.10.2-4
alt-ergo in buster
Source:alt-ergopiuparts summary:successVersion:2.0.0-3
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-3Version:2.0.0-3
approx in buster
Source:approxpiuparts summary:successVersion:5.10-1
Maintainer:Eric Cooper <ecc@cmu.edu>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:approxpiuparts-result:successfully-tested 5.10-1Version:5.10-1
aribas in buster
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 buster
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 buster
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 buster
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-7+b1Version:0.6.0-7+b1
Binary:libbz2-ocaml-devpiuparts-result:successfully-tested 0.6.0-7+b1Version:0.6.0-7+b1
camlidl in buster
Source:camlidlpiuparts summary:successVersion:1.05-15.1
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-15.1Version:1.05-15.1
camlimages in buster
Source:camlimagespiuparts summary:successVersion:1:4.2.6-4
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-4Version:1:4.2.6-4
Binary:libcamlimages-ocaml-devpiuparts-result:successfully-tested 1:4.2.6-4Version:1:4.2.6-4
Binary:libcamlimages-ocaml-doc:allpiuparts-result:successfully-tested 1:4.2.6-4Version:1:4.2.6-4
camlzip in buster
Source:camlzippiuparts summary:successVersion:1.07-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.07-2Version:1.07-2
Binary:libzip-ocaml-devpiuparts-result:successfully-tested 1.07-2Version:1.07-2
checkbot in buster
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 buster
Source:coqpiuparts summary:successVersion:8.9.0-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.0-1Version:8.9.0-1
Binary:coq-theoriespiuparts-result:successfully-tested 8.9.0-1Version:8.9.0-1
Binary:libcoq-ocamlpiuparts-result:successfully-tested 8.9.0-1Version:8.9.0-1
Binary:libcoq-ocaml-devpiuparts-result:successfully-tested 8.9.0-1Version:8.9.0-1
cryptokit in buster
Source:cryptokitpiuparts summary:successVersion:1.11-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.11-1+b2Version:1.11-1+b2
Binary:libcryptokit-ocaml-devpiuparts-result:successfully-tested 1.11-1+b2Version:1.11-1+b2
cudf in buster
Source:cudfpiuparts summary:successVersion:0.7-3
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-3+b2Version:0.7-3+b2
Binary:libcudf-devpiuparts-result:successfully-tested 0.7-3+b2Version:0.7-3+b2
Binary:libcudf-ocaml-devpiuparts-result:successfully-tested 0.7-3+b2Version:0.7-3+b2
dh-ocaml in buster
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 buster
Source:dose3piuparts summary:successVersion:5.0.1-12
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-12Version:5.0.1-12
Binary:dose-builddebcheckpiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
Binary:dose-distcheckpiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
Binary:dose-doc:allpiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
Binary:dose-extrapiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
Binary:libdose3-ocamlpiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
Binary:libdose3-ocaml-devpiuparts-result:successfully-tested 5.0.1-12Version:5.0.1-12
gmanedit in buster
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 buster
Source:headachepiuparts summary:successVersion:1.03-27
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-27Version:1.03-27
hevea in buster
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 buster
Source:hlinspiuparts summary:successVersion:0.39-24
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>
Binary:hlins:allpiuparts-result:successfully-tested 0.39-24Version:0.39-24
lablgl in buster
Source:lablglpiuparts summary:successVersion:1:1.05-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>, Lifeng Sun <lifongsun@gmail.com>
Binary:liblablgl-ocamlpiuparts-result:successfully-tested 1:1.05-3Version:1:1.05-3
Binary:liblablgl-ocaml-devpiuparts-result:successfully-tested 1:1.05-3Version:1:1.05-3
lablgtk2 in buster
Source:lablgtk2piuparts summary:successVersion:2.18.5+dfsg-3
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.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-gl-ocaml-devpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-gnome-ocamlpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-gnome-ocaml-devpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-ocamlpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-ocaml-devpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtk2-ocaml-doc:allpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtksourceview2-ocamlpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
Binary:liblablgtksourceview2-ocaml-devpiuparts-result:successfully-tested 2.18.5+dfsg-3Version:2.18.5+dfsg-3
lablgtk3 in buster
Source:lablgtk3piuparts summary:successVersion:3.0~beta3-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:liblablgtk3-ocamlpiuparts-result:successfully-tested 3.0~beta3-1Version:3.0~beta3-1
Binary:liblablgtk3-ocaml-devpiuparts-result:successfully-tested 3.0~beta3-1Version:3.0~beta3-1
Binary:liblablgtk3-ocaml-doc:allpiuparts-result:successfully-tested 3.0~beta3-1Version:3.0~beta3-1
Binary:liblablgtksourceview3-ocamlpiuparts-result:successfully-tested 3.0~beta3-1Version:3.0~beta3-1
Binary:liblablgtksourceview3-ocaml-devpiuparts-result:successfully-tested 3.0~beta3-1Version:3.0~beta3-1
lbt in buster
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 buster
Source:leditpiuparts summary:successVersion:2.04-1
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-1Version:2.04-1
Binary:libledit-ocaml-devpiuparts-result:successfully-tested 2.04-1Version:2.04-1
maria in buster
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+b1Version:1.3.5-4.1+b1
Binary:maria-doc:allpiuparts-result:successfully-tested 1.3.5-4.1Version:1.3.5-4.1
mathpartir in buster
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 buster
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 buster
Source:menhirpiuparts summary:successVersion:20181113-1
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 20181113-1Version:20181113-1
Binary:menhirpiuparts-result:successfully-tested 20181113-1Version:20181113-1
Binary:menhir-doc:allpiuparts-result:successfully-tested 20181113-1Version:20181113-1
meta-ocaml in buster
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 buster
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 buster
Source:mlgmppiuparts summary:successVersion:20021123-19
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-19+b1Version:20021123-19+b1
Binary:libgmp-ocaml-devpiuparts-result:successfully-tested 20021123-19+b1Version:20021123-19+b1
mona in buster
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
morbig in buster
Source:morbigpiuparts summary:successVersion:0.9.1-2
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-2Version:0.9.1-2
Binary:morbigpiuparts-result:successfully-tested 0.9.1-2Version:0.9.1-2
morsmall in buster
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-1Version:0.1-1
ocaml in buster
Source:ocamlpiuparts summary:successVersion:4.05.0-11
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-11Version:4.05.0-11
Binary:ocaml-basepiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-base-noxpiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-compiler-libspiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-interppiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-mode:allpiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-noxpiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
Binary:ocaml-source:allpiuparts-result:successfully-tested 4.05.0-11Version:4.05.0-11
ocaml-gnuplot in buster
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+b3Version:0.8.3-3+b3
ocaml-tools in buster
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 buster
Source:ocaml-visitorspiuparts summary:successVersion:20180513-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Ralf Treinen <treinen@debian.org>,
Binary:libppx-visitors-ocaml-devpiuparts-result:successfully-tested 20180513-1Version:20180513-1
Binary:libppx-visitors-ocaml-doc:allpiuparts-result:successfully-tested 20180513-1Version:20180513-1
ocamldsort in buster
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-5+b1Version:0.16.0-5+b1
ocamlify in buster
Source:ocamlifypiuparts summary:successVersion:0.0.2-5
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-5Version:0.0.2-5
ocamlmakefile in buster
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 buster
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 buster
Source:ocamlwebpiuparts summary:successVersion:1.41-1
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-1Version:1.41-1
ocplib-simplex in buster
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 buster
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 buster
Source:planetspiuparts summary:successVersion:0.1.13-19
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-19Version:0.1.13-19
ppx-derivers in buster
Source:ppx-deriverspiuparts summary:successVersion:1.2-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-4Version:1.2-4
ppx-deriving in buster
Source:ppx-derivingpiuparts summary:successVersion:4.2.1-3
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.2.1-3Version:4.2.1-3
Binary:libppx-deriving-ocaml-devpiuparts-result:successfully-tested 4.2.1-3Version:4.2.1-3
ppx-deriving-yojson in buster
Source:ppx-deriving-yojsonpiuparts summary:successVersion:3.1-4
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.1-4Version:3.1-4
syslog-ocaml in buster
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+b5Version:1.4-6+b5
Binary:libsyslog-ocaml-devpiuparts-result:successfully-tested 1.4-6+b5Version:1.4-6+b5
tuareg-mode in buster
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 buster
Source:why3piuparts summary:successVersion:1.2.0-1
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-1Version:1.2.0-1
Binary:why3piuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
Binary:why3-coqpiuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
Binary:why3-doc-html:allpiuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
Binary:why3-doc-pdf:allpiuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
Binary:why3-examples:allpiuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
xdemineur in buster
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