|
treinen@debian.org in stretch
|
| 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-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: | 51 | advi 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 stretch |
| Source: | advi | piuparts summary: |  | Version: | 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: | advi | piuparts-result: | successfully-tested 1.10.2-3 | Version: | 1.10.2-3 |
| Binary: | advi-examples:all | piuparts-result: | successfully-tested 1.10.2-3 | Version: | 1.10.2-3 |
| alt-ergo in stretch |
| Source: | alt-ergo | piuparts summary: | | Version: | 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-ergo | piuparts-result: | successfully-tested 1.30-1 | Version: | 1.30-1 |
| approx in stretch |
| Source: | approx | piuparts summary: | | Version: | 5.7-3 |
| Maintainer: | Eric Cooper <ecc@cmu.edu> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | approx | piuparts-result: | successfully-tested 5.7-3 | Version: | 5.7-3 |
| aribas in stretch |
| 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 stretch |
| Source: | aspcud | piuparts summary: | | Version: | 1:1.9.1-2 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aspcud | piuparts-result: | successfully-tested 1:1.9.1-2+b1 | Version: | 1:1.9.1-2+b1 |
| bibtex2html in stretch |
| Source: | bibtex2html | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.98-5 | Version: | 1.98-5 |
| camlbz2 in stretch |
| 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 | Version: | 0.6.0-7 |
| Binary: | libbz2-ocaml-dev | piuparts-result: | successfully-tested 0.6.0-7 | Version: | 0.6.0-7 |
| camlidl in stretch |
| Source: | camlidl | piuparts summary: | | Version: | 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: | camlidl | piuparts-result: | successfully-tested 1.05-14+b2 | Version: | 1.05-14+b2 |
| camlimages in stretch |
| Source: | camlimages | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1:4.2.0-1.1+b1 | Version: | 1:4.2.0-1.1+b1 |
| Binary: | libcamlimages-ocaml-dev | piuparts-result: | successfully-tested 1:4.2.0-1.1+b1 | Version: | 1:4.2.0-1.1+b1 |
| Binary: | libcamlimages-ocaml-doc:all | piuparts-result: | successfully-tested 1:4.2.0-1.1 | Version: | 1:4.2.0-1.1 |
| camlzip in stretch |
| Source: | camlzip | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1.06-2 | Version: | 1.06-2 |
| Binary: | libzip-ocaml-dev | piuparts-result: | successfully-tested 1.06-2 | Version: | 1.06-2 |
| checkbot in stretch |
| 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 |
| cmigrep in stretch |
| Source: | cmigrep | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.5-14 | Version: | 1.5-14 |
| coinst in stretch |
| Source: | coinst | piuparts summary: | | Version: | 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: | coinst | piuparts-result: | successfully-tested 1.9.3-1+b1 | Version: | 1.9.3-1+b1 |
| Binary: | coinst-viewer | piuparts-result: | successfully-tested 1.9.3-1+b1 | Version: | 1.9.3-1+b1 |
| coq in stretch |
| Source: | coq | piuparts summary: | | Version: | 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: | coq | piuparts-result: | successfully-tested 8.6-4 | Version: | 8.6-4 |
| Binary: | coq-theories | piuparts-result: | successfully-tested 8.6-4 | Version: | 8.6-4 |
| Binary: | coqide | piuparts-result: | successfully-tested 8.6-4 | Version: | 8.6-4 |
| Binary: | libcoq-ocaml | piuparts-result: | successfully-tested 8.6-4 | Version: | 8.6-4 |
| Binary: | libcoq-ocaml-dev | piuparts-result: | successfully-tested 8.6-4 | Version: | 8.6-4 |
| cryptokit in stretch |
| Source: | cryptokit | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1.10-1+b1 | Version: | 1.10-1+b1 |
| Binary: | libcryptokit-ocaml-dev | piuparts-result: | successfully-tested 1.10-1+b1 | Version: | 1.10-1+b1 |
| cudf in stretch |
| Source: | cudf | piuparts summary: | | Version: | 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-tools | piuparts-result: | successfully-tested 0.7-2+b3 | Version: | 0.7-2+b3 |
| Binary: | libcudf-dev | piuparts-result: | successfully-tested 0.7-2+b3 | Version: | 0.7-2+b3 |
| Binary: | libcudf-ocaml-dev | piuparts-result: | successfully-tested 0.7-2+b3 | Version: | 0.7-2+b3 |
| dh-ocaml in stretch |
| Source: | dh-ocaml | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.0.10 | Version: | 1.0.10 |
| dose3 in stretch |
| Source: | dose3 | piuparts summary: | | Version: | 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-cudf | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | dose-builddebcheck | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | dose-distcheck | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | dose-doc:all | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | dose-extra | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | libdose3-ocaml | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| Binary: | libdose3-ocaml-dev | piuparts-result: | successfully-tested 5.0.1-8+deb9u1 | Version: | 5.0.1-8+deb9u1 |
| garmin-forerunner-tools in stretch |
| Source: | garmin-forerunner-tools | piuparts summary: | | Version: | 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-tools | piuparts-result: | successfully-tested 0.10repacked-10+b1 | Version: | 0.10repacked-10+b1 |
| garmin-plugin in stretch |
| Source: | garmin-plugin | piuparts summary: | | Version: | 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-plugin | piuparts-result: | successfully-tested 0.3.23-4 | Version: | 0.3.23-4 |
| gmanedit in stretch |
| 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 stretch |
| Source: | headache | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.03-26 | Version: | 1.03-26 |
| hevea in stretch |
| Source: | hevea | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 2.29-1 | Version: | 2.29-1 |
| hlins in stretch |
| Source: | hlins | piuparts summary: | | Version: | 0.39-22 |
| 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-22 | Version: | 0.39-22 |
| lablgl in stretch |
| Source: | lablgl | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 1:1.05-2 | Version: | 1:1.05-2 |
| Binary: | liblablgl-ocaml-dev | piuparts-result: | successfully-tested 1:1.05-2 | Version: | 1:1.05-2 |
| lablgtk2 in stretch |
| Source: | lablgtk2 | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-gl-ocaml-dev | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-gnome-ocaml | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-gnome-ocaml-dev | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-ocaml | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-ocaml-dev | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtk2-ocaml-doc:all | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtksourceview2-ocaml | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| Binary: | liblablgtksourceview2-ocaml-dev | piuparts-result: | successfully-tested 2.18.3+dfsg-2 | Version: | 2.18.3+dfsg-2 |
| lbt in stretch |
| 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 stretch |
| Source: | ledit | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 2.03-5 | Version: | 2.03-5 |
| Binary: | libledit-ocaml-dev | piuparts-result: | successfully-tested 2.03-5 | Version: | 2.03-5 |
| maria in stretch |
| 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 | Version: | 1.3.5-4.1 |
| Binary: | maria-doc:all | piuparts-result: | successfully-tested 1.3.5-4.1 | Version: | 1.3.5-4.1 |
| mathpartir in stretch |
| Source: | mathpartir | piuparts summary: | | Version: | 1.2.0-6 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mathpartir:all | piuparts-result: | successfully-tested 1.2.0-6 | Version: | 1.2.0-6 |
| mccs in stretch |
| Source: | mccs | piuparts summary: | | Version: | 1:1.1-5 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mccs | piuparts-result: | successfully-tested 1:1.1-5 | Version: | 1:1.1-5 |
| meta-ocaml in stretch |
| 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 stretch |
| Source: | minisat+ | piuparts summary: | | Version: | 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-3 | Version: | 1.0-3 |
| mlgmp in stretch |
| Source: | mlgmp | piuparts summary: | | Version: | 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-ocaml | piuparts-result: | successfully-tested 20021123-18+b1 | Version: | 20021123-18+b1 |
| Binary: | libgmp-ocaml-dev | piuparts-result: | successfully-tested 20021123-18+b1 | Version: | 20021123-18+b1 |
| mona in stretch |
| 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 |
| ocaml in stretch |
| Source: | ocaml | piuparts summary: | | Version: | 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: | ocaml | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-base | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-base-nox | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-compiler-libs | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-interp | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-mode:all | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-native-compilers | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-nox | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| Binary: | ocaml-source:all | piuparts-result: | successfully-tested 4.02.3-9 | Version: | 4.02.3-9 |
| ocaml-gnuplot in stretch |
| 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+b2 | Version: | 0.8.3-3+b2 |
| ocaml-tools in stretch |
| Source: | ocaml-tools | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 20120103-4 | Version: | 20120103-4 |
| ocamldsort in stretch |
| 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 | Version: | 0.16.0-5 |
| ocamlmakefile in stretch |
| 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 stretch |
| Source: | ocamlwc | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 0.3-13 | Version: | 0.3-13 |
| ocamlweb in stretch |
| Source: | ocamlweb | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1.39-5 | Version: | 1.39-5 |
| ocplib-simplex in stretch |
| Source: | ocplib-simplex | piuparts summary: | | Version: | 0.3-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.3-1 | Version: | 0.3-1 |
| packup in stretch |
| 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 stretch |
| Source: | planets | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 0.1.13-16 | Version: | 0.1.13-16 |
| spass in stretch |
| Source: | spass | piuparts summary: | | Version: | 3.7-4 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | spass | piuparts-result: | successfully-tested 3.7-4 | Version: | 3.7-4 |
| syslog-ocaml in stretch |
| 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+b4 | Version: | 1.4-6+b4 |
| Binary: | libsyslog-ocaml-dev | piuparts-result: | successfully-tested 1.4-6+b4 | Version: | 1.4-6+b4 |
| tuareg-mode in stretch |
| Source: | tuareg-mode | piuparts summary: | | Version: | 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:all | piuparts-result: | successfully-tested 1:2.0.10-1 | Version: | 1:2.0.10-1 |
| why3 in stretch |
| Source: | why3 | piuparts summary: | | Version: | 0.87.3-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libwhy3-ocaml-dev | piuparts-result: | successfully-tested 0.87.3-2+b1 | Version: | 0.87.3-2+b1 |
| Binary: | why3 | piuparts-result: | successfully-tested 0.87.3-2+b1 | Version: | 0.87.3-2+b1 |
| Binary: | why3-coq | piuparts-result: | successfully-tested 0.87.3-2+b1 | Version: | 0.87.3-2+b1 |
| Binary: | why3-doc-html:all | piuparts-result: | successfully-tested 0.87.3-2 | Version: | 0.87.3-2 |
| Binary: | why3-doc-pdf:all | piuparts-result: | successfully-tested 0.87.3-2 | Version: | 0.87.3-2 |
| Binary: | why3-examples:all | piuparts-result: | successfully-tested 0.87.3-2 | Version: | 0.87.3-2 |
| xdemineur in stretch |
| Source: | xdemineur | piuparts summary: | | Version: | 2.1.1-19 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | xdemineur | piuparts-result: | successfully-tested 2.1.1-19 | Version: | 2.1.1-19 |
| yap in stretch |
| Source: | yap | piuparts summary: | | Version: | 6.2.2-6 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | yap | piuparts-result: | successfully-tested 6.2.2-6+b2 | Version: | 6.2.2-6+b2 |
Quality Assurance
