|
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 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 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: | 54 | advi 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: | advi | piuparts summary: |  | Version: | 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: | advi | piuparts-result: | successfully-tested 1.10.2-4 | Version: | 1.10.2-4 |
| Binary: | advi-examples:all | piuparts-result: | successfully-tested 1.10.2-4 | Version: | 1.10.2-4 |
| alt-ergo in buster |
| Source: | alt-ergo | piuparts summary: | | Version: | 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-ergo | piuparts-result: | successfully-tested 2.0.0-3 | Version: | 2.0.0-3 |
| approx in buster |
| Source: | approx | piuparts summary: | | Version: | 5.10-1 |
| Maintainer: | Eric Cooper <ecc@cmu.edu> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | approx | piuparts-result: | successfully-tested 5.10-1 | Version: | 5.10-1 |
| aribas in buster |
| Source: | aribas | piuparts summary: | | Version: | 1.64-6 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aribas | piuparts-result: | successfully-tested 1.64-6 | Version: | 1.64-6 |
| aspcud in buster |
| Source: | aspcud | piuparts summary: | | Version: | 1:1.9.4-2 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aspcud | piuparts-result: | successfully-tested 1:1.9.4-2 | Version: | 1:1.9.4-2 |
| bibtex2html in buster |
| Source: | bibtex2html | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.99-2 | Version: | 1.99-2 |
| camlbz2 in buster |
| Source: | camlbz2 | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 0.6.0-7+b1 | Version: | 0.6.0-7+b1 |
| Binary: | libbz2-ocaml-dev | piuparts-result: | successfully-tested 0.6.0-7+b1 | Version: | 0.6.0-7+b1 |
| camlidl in buster |
| Source: | camlidl | piuparts summary: | | Version: | 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: | camlidl | piuparts-result: | successfully-tested 1.05-15.1 | Version: | 1.05-15.1 |
| camlimages in buster |
| Source: | camlimages | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1:4.2.6-4 | Version: | 1:4.2.6-4 |
| Binary: | libcamlimages-ocaml-dev | piuparts-result: | successfully-tested 1:4.2.6-4 | Version: | 1:4.2.6-4 |
| Binary: | libcamlimages-ocaml-doc:all | piuparts-result: | successfully-tested 1:4.2.6-4 | Version: | 1:4.2.6-4 |
| camlzip in buster |
| Source: | camlzip | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1.07-2 | Version: | 1.07-2 |
| Binary: | libzip-ocaml-dev | piuparts-result: | successfully-tested 1.07-2 | Version: | 1.07-2 |
| checkbot in buster |
| Source: | checkbot | piuparts summary: | | Version: | 1.80-3 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | checkbot:all | piuparts-result: | successfully-tested 1.80-3 | Version: | 1.80-3 |
| coq in buster |
| Source: | coq | piuparts summary: | | Version: | 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: | coq | piuparts-result: | successfully-tested 8.9.0-1 | Version: | 8.9.0-1 |
| Binary: | coq-theories | piuparts-result: | successfully-tested 8.9.0-1 | Version: | 8.9.0-1 |
| Binary: | libcoq-ocaml | piuparts-result: | successfully-tested 8.9.0-1 | Version: | 8.9.0-1 |
| Binary: | libcoq-ocaml-dev | piuparts-result: | successfully-tested 8.9.0-1 | Version: | 8.9.0-1 |
| cryptokit in buster |
| Source: | cryptokit | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1.11-1+b2 | Version: | 1.11-1+b2 |
| Binary: | libcryptokit-ocaml-dev | piuparts-result: | successfully-tested 1.11-1+b2 | Version: | 1.11-1+b2 |
| cudf in buster |
| Source: | cudf | piuparts summary: | | Version: | 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-tools | piuparts-result: | successfully-tested 0.7-3+b2 | Version: | 0.7-3+b2 |
| Binary: | libcudf-dev | piuparts-result: | successfully-tested 0.7-3+b2 | Version: | 0.7-3+b2 |
| Binary: | libcudf-ocaml-dev | piuparts-result: | successfully-tested 0.7-3+b2 | Version: | 0.7-3+b2 |
| dh-ocaml in buster |
| Source: | dh-ocaml | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.1.0 | Version: | 1.1.0 |
| dose3 in buster |
| Source: | dose3 | piuparts summary: | | Version: | 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-cudf | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | dose-builddebcheck | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | dose-distcheck | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | dose-doc:all | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | dose-extra | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | libdose3-ocaml | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| Binary: | libdose3-ocaml-dev | piuparts-result: | successfully-tested 5.0.1-12 | Version: | 5.0.1-12 |
| gmanedit in buster |
| Source: | gmanedit | piuparts summary: | | Version: | 0.4.2-7 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | gmanedit | piuparts-result: | successfully-tested 0.4.2-7 | Version: | 0.4.2-7 |
| headache in buster |
| Source: | headache | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.03-27 | Version: | 1.03-27 |
| hevea in buster |
| Source: | hevea | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 2.32-2 | Version: | 2.32-2 |
| hlins in buster |
| Source: | hlins | piuparts summary: | | Version: | 0.39-24 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | hlins:all | piuparts-result: | successfully-tested 0.39-24 | Version: | 0.39-24 |
| lablgl in buster |
| Source: | lablgl | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1:1.05-3 | Version: | 1:1.05-3 |
| Binary: | liblablgl-ocaml-dev | piuparts-result: | successfully-tested 1:1.05-3 | Version: | 1:1.05-3 |
| lablgtk2 in buster |
| Source: | lablgtk2 | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-gl-ocaml-dev | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-gnome-ocaml | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-gnome-ocaml-dev | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-ocaml | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-ocaml-dev | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtk2-ocaml-doc:all | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtksourceview2-ocaml | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| Binary: | liblablgtksourceview2-ocaml-dev | piuparts-result: | successfully-tested 2.18.5+dfsg-3 | Version: | 2.18.5+dfsg-3 |
| lablgtk3 in buster |
| Source: | lablgtk3 | piuparts summary: | | Version: | 3.0~beta3-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | liblablgtk3-ocaml | piuparts-result: | successfully-tested 3.0~beta3-1 | Version: | 3.0~beta3-1 |
| Binary: | liblablgtk3-ocaml-dev | piuparts-result: | successfully-tested 3.0~beta3-1 | Version: | 3.0~beta3-1 |
| Binary: | liblablgtk3-ocaml-doc:all | piuparts-result: | successfully-tested 3.0~beta3-1 | Version: | 3.0~beta3-1 |
| Binary: | liblablgtksourceview3-ocaml | piuparts-result: | successfully-tested 3.0~beta3-1 | Version: | 3.0~beta3-1 |
| Binary: | liblablgtksourceview3-ocaml-dev | piuparts-result: | successfully-tested 3.0~beta3-1 | Version: | 3.0~beta3-1 |
| lbt in buster |
| Source: | lbt | piuparts summary: | | Version: | 1.2.2-6 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | lbt | piuparts-result: | successfully-tested 1.2.2-6 | Version: | 1.2.2-6 |
| ledit in buster |
| Source: | ledit | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 2.04-1 | Version: | 2.04-1 |
| Binary: | libledit-ocaml-dev | piuparts-result: | successfully-tested 2.04-1 | Version: | 2.04-1 |
| maria in buster |
| Source: | maria | piuparts summary: | | Version: | 1.3.5-4.1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | maria | piuparts-result: | successfully-tested 1.3.5-4.1+b1 | Version: | 1.3.5-4.1+b1 |
| Binary: | maria-doc:all | piuparts-result: | successfully-tested 1.3.5-4.1 | Version: | 1.3.5-4.1 |
| mathpartir in buster |
| Source: | mathpartir | piuparts summary: | | Version: | 1.2.0-7 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mathpartir:all | piuparts-result: | successfully-tested 1.2.0-7 | Version: | 1.2.0-7 |
| mccs in buster |
| Source: | mccs | piuparts summary: | | Version: | 1:1.1-8 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mccs | piuparts-result: | successfully-tested 1:1.1-8 | Version: | 1:1.1-8 |
| menhir in buster |
| Source: | menhir | piuparts summary: | | Version: | 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-dev | piuparts-result: | successfully-tested 20181113-1 | Version: | 20181113-1 |
| Binary: | menhir | piuparts-result: | successfully-tested 20181113-1 | Version: | 20181113-1 |
| Binary: | menhir-doc:all | piuparts-result: | successfully-tested 20181113-1 | Version: | 20181113-1 |
| meta-ocaml in buster |
| Source: | meta-ocaml | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 3.12.0.1 | Version: | 3.12.0.1 |
| Binary: | ocaml-libs:all | piuparts-result: | successfully-tested 3.12.0.1 | Version: | 3.12.0.1 |
| minisat+ in buster |
| Source: | minisat+ | piuparts summary: | | Version: | 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-4 | Version: | 1.0-4 |
| mlgmp in buster |
| Source: | mlgmp | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 20021123-19+b1 | Version: | 20021123-19+b1 |
| Binary: | libgmp-ocaml-dev | piuparts-result: | successfully-tested 20021123-19+b1 | Version: | 20021123-19+b1 |
| mona in buster |
| Source: | mona | piuparts summary: | | Version: | 1.4-17-1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | mona | piuparts-result: | successfully-tested 1.4-17-1+b1 | Version: | 1.4-17-1+b1 |
| morbig in buster |
| Source: | morbig | piuparts summary: | | Version: | 0.9.1-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libmorbig-ocaml-dev | piuparts-result: | successfully-tested 0.9.1-2 | Version: | 0.9.1-2 |
| Binary: | morbig | piuparts-result: | successfully-tested 0.9.1-2 | Version: | 0.9.1-2 |
| morsmall in buster |
| Source: | morsmall | piuparts summary: | | Version: | 0.1-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libmorsmall-ocaml-dev | piuparts-result: | successfully-tested 0.1-1 | Version: | 0.1-1 |
| ocaml in buster |
| Source: | ocaml | piuparts summary: | | Version: | 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: | ocaml | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-base | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-base-nox | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-compiler-libs | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-interp | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-mode:all | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-nox | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| Binary: | ocaml-source:all | piuparts-result: | successfully-tested 4.05.0-11 | Version: | 4.05.0-11 |
| ocaml-gnuplot in buster |
| Source: | ocaml-gnuplot | piuparts summary: | | Version: | 0.8.3-3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libgnuplot-ocaml-dev | piuparts-result: | successfully-tested 0.8.3-3+b3 | Version: | 0.8.3-3+b3 |
| ocaml-tools in buster |
| Source: | ocaml-tools | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 20120103-5 | Version: | 20120103-5 |
| ocaml-visitors in buster |
| Source: | ocaml-visitors | piuparts summary: | | Version: | 20180513-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libppx-visitors-ocaml-dev | piuparts-result: | successfully-tested 20180513-1 | Version: | 20180513-1 |
| Binary: | libppx-visitors-ocaml-doc:all | piuparts-result: | successfully-tested 20180513-1 | Version: | 20180513-1 |
| ocamldsort in buster |
| Source: | ocamldsort | piuparts summary: | | Version: | 0.16.0-5 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | ocamldsort | piuparts-result: | successfully-tested 0.16.0-5+b1 | Version: | 0.16.0-5+b1 |
| ocamlify in buster |
| Source: | ocamlify | piuparts summary: | | Version: | 0.0.2-5 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | ocamlify:all | piuparts-result: | successfully-tested 0.0.2-5 | Version: | 0.0.2-5 |
| ocamlmakefile in buster |
| Source: | ocamlmakefile | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 6.37.0-3 | Version: | 6.37.0-3 |
| ocamlwc in buster |
| Source: | ocamlwc | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 0.3-15 | Version: | 0.3-15 |
| ocamlweb in buster |
| Source: | ocamlweb | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.41-1 | Version: | 1.41-1 |
| ocplib-simplex in buster |
| Source: | ocplib-simplex | piuparts summary: | | Version: | 0.4-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | ocplib-simplex-ocaml-dev | piuparts-result: | successfully-tested 0.4-1 | Version: | 0.4-1 |
| packup in buster |
| Source: | packup | piuparts summary: | | Version: | 0.6-3 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | packup | piuparts-result: | successfully-tested 0.6-3 | Version: | 0.6-3 |
| planets in buster |
| Source: | planets | piuparts summary: | | Version: | 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: | planets | piuparts-result: | successfully-tested 0.1.13-19 | Version: | 0.1.13-19 |
| ppx-derivers in buster |
| Source: | ppx-derivers | piuparts summary: | | Version: | 1.2-4 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libppx-derivers-ocaml-dev | piuparts-result: | successfully-tested 1.2-4 | Version: | 1.2-4 |
| ppx-deriving in buster |
| Source: | ppx-deriving | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 4.2.1-3 | Version: | 4.2.1-3 |
| Binary: | libppx-deriving-ocaml-dev | piuparts-result: | successfully-tested 4.2.1-3 | Version: | 4.2.1-3 |
| ppx-deriving-yojson in buster |
| Source: | ppx-deriving-yojson | piuparts summary: | | Version: | 3.1-4 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libppx-deriving-yojson-ocaml-dev | piuparts-result: | successfully-tested 3.1-4 | Version: | 3.1-4 |
| syslog-ocaml in buster |
| Source: | syslog-ocaml | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1.4-6+b5 | Version: | 1.4-6+b5 |
| Binary: | libsyslog-ocaml-dev | piuparts-result: | successfully-tested 1.4-6+b5 | Version: | 1.4-6+b5 |
| tuareg-mode in buster |
| Source: | tuareg-mode | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1:2.1.0-2 | Version: | 1:2.1.0-2 |
| why3 in buster |
| Source: | why3 | piuparts summary: | | Version: | 1.2.0-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libwhy3-ocaml-dev | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| Binary: | why3 | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| Binary: | why3-coq | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| Binary: | why3-doc-html:all | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| Binary: | why3-doc-pdf:all | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| Binary: | why3-examples:all | piuparts-result: | successfully-tested 1.2.0-1 | Version: | 1.2.0-1 |
| xdemineur in buster |
| Source: | xdemineur | piuparts summary: | | Version: | 2.1.1-20 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | xdemineur | piuparts-result: | successfully-tested 2.1.1-20 | Version: | 2.1.1-20 |
Quality Assurance
