|
treinen@debian.org in bullseye
|
| 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-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 |
| fail: | 0 | |
| unknown: | 0 | |
| pass: | 61 | advi alt-ergo approx aribas aspcud bibtex2html caml-mode camlbz2 camlidl camlimages camlzip coccinelle coinst coq cryptokit cudf dh-ocaml dose3 frama-c gmanedit headache hevea hlins lablgl lablgtk2 lablgtk3 lbt ledit maria mccs menhir meta-ocaml minisat+ mlgmp mona morbig morsmall ocaml ocaml-cairo2 ocaml-fpath ocaml-gnuplot ocaml-odoc ocaml-tools ocaml-visitors ocamldsort ocamlify ocamlmakefile ocamlwc ocamlweb ocplib-simplex packup planets ppx-derivers ppx-deriving ppx-deriving-yojson spass ssreflect syslog-ocaml tuareg-mode why3 xdemineur |
| advi in bullseye |
| Source: | advi | piuparts summary: |  | Version: | 1.10.2-9 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | advi | piuparts-result: | successfully-tested 1.10.2-9 | Version: | 1.10.2-9 |
| Binary: | advi-examples:all | piuparts-result: | successfully-tested 1.10.2-9 | Version: | 1.10.2-9 |
| alt-ergo in bullseye |
| Source: | alt-ergo | piuparts summary: | | Version: | 2.0.0-7 |
| 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-7+b4 | Version: | 2.0.0-7+b4 |
| approx in bullseye |
| Source: | approx | piuparts summary: | | Version: | 5.10-2 |
| Maintainer: | Eric Cooper <ecc@cmu.edu> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | approx | piuparts-result: | successfully-tested 5.10-2+b4 | Version: | 5.10-2+b4 |
| aribas in bullseye |
| 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 bullseye |
| Source: | aspcud | piuparts summary: | | Version: | 1:1.9.4-3 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aspcud | piuparts-result: | successfully-tested 1:1.9.4-3 | Version: | 1:1.9.4-3 |
| bibtex2html in bullseye |
| Source: | bibtex2html | piuparts summary: | | Version: | 1.99-3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org> |
| Binary: | bibtex2html | piuparts-result: | successfully-tested 1.99-3+b2 | Version: | 1.99-3+b2 |
| caml-mode in bullseye |
| Source: | caml-mode | piuparts summary: | | Version: | 4.06-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | elpa-caml:all | piuparts-result: | successfully-tested 4.06-2 | Version: | 4.06-2 |
| Binary: | ocaml-mode:all | piuparts-result: | successfully-tested 4.06-2 | Version: | 4.06-2 |
| camlbz2 in bullseye |
| Source: | camlbz2 | piuparts summary: | | Version: | 0.6.0-10 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libbz2-ocaml | piuparts-result: | successfully-tested 0.6.0-10+b2 | Version: | 0.6.0-10+b2 |
| Binary: | libbz2-ocaml-dev | piuparts-result: | successfully-tested 0.6.0-10+b2 | Version: | 0.6.0-10+b2 |
| camlidl in bullseye |
| Source: | camlidl | piuparts summary: | | Version: | 1.09-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | camlidl | piuparts-result: | successfully-tested 1.09-1+b1 | Version: | 1.09-1+b1 |
| camlimages in bullseye |
| Source: | camlimages | piuparts summary: | | Version: | 1:5.0.4-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Kyle Robbertze <paddatrapper@debian.org>, Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org> |
| Binary: | libcamlimages-ocaml | piuparts-result: | successfully-tested 1:5.0.4-1 | Version: | 1:5.0.4-1 |
| Binary: | libcamlimages-ocaml-dev | piuparts-result: | successfully-tested 1:5.0.4-1 | Version: | 1:5.0.4-1 |
| Binary: | libcamlimages-ocaml-doc:all | piuparts-result: | successfully-tested 1:5.0.4-1 | Version: | 1:5.0.4-1 |
| camlzip in bullseye |
| Source: | camlzip | piuparts summary: | | Version: | 1.10-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | libzip-ocaml | piuparts-result: | successfully-tested 1.10-1+b1 | Version: | 1.10-1+b1 |
| Binary: | libzip-ocaml-dev | piuparts-result: | successfully-tested 1.10-1+b1 | Version: | 1.10-1+b1 |
| coccinelle in bullseye |
| Source: | coccinelle | piuparts summary: | | Version: | 1.1.0.deb-1.1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Emmanuel Arias <eamanu@yaerobi.com>, Ralf Treinen <treinen@debian.org> |
| Binary: | coccinelle | piuparts-result: | successfully-tested 1.1.0.deb-1.1 | Version: | 1.1.0.deb-1.1 |
| Binary: | coccinelle-doc:all | piuparts-result: | successfully-tested 1.1.0.deb-1.1 | Version: | 1.1.0.deb-1.1 |
| coinst in bullseye |
| Source: | coinst | piuparts summary: | | Version: | 1.9.3-3 |
| 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-3+b1 | Version: | 1.9.3-3+b1 |
| Binary: | coinst-viewer | piuparts-result: | successfully-tested 1.9.3-3+b1 | Version: | 1.9.3-3+b1 |
| coq in bullseye |
| Source: | coq | piuparts summary: | | Version: | 8.12.0-3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org> |
| Binary: | coq | piuparts-result: | successfully-tested 8.12.0-3+b3 | Version: | 8.12.0-3+b3 |
| Binary: | coq-theories | piuparts-result: | successfully-tested 8.12.0-3+b3 | Version: | 8.12.0-3+b3 |
| Binary: | coqide | piuparts-result: | successfully-tested 8.12.0-3+b3 | Version: | 8.12.0-3+b3 |
| Binary: | libcoq-ocaml | piuparts-result: | successfully-tested 8.12.0-3+b3 | Version: | 8.12.0-3+b3 |
| Binary: | libcoq-ocaml-dev | piuparts-result: | successfully-tested 8.12.0-3+b3 | Version: | 8.12.0-3+b3 |
| cryptokit in bullseye |
| Source: | cryptokit | piuparts summary: | | Version: | 1.16.1-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org> |
| Binary: | libcryptokit-ocaml | piuparts-result: | successfully-tested 1.16.1-1+b1 | Version: | 1.16.1-1+b1 |
| Binary: | libcryptokit-ocaml-dev | piuparts-result: | successfully-tested 1.16.1-1+b1 | Version: | 1.16.1-1+b1 |
| cudf in bullseye |
| Source: | cudf | piuparts summary: | | Version: | 0.9-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | cudf-tools | piuparts-result: | successfully-tested 0.9-1+b1 | Version: | 0.9-1+b1 |
| Binary: | libcudf-dev | piuparts-result: | successfully-tested 0.9-1+b1 | Version: | 0.9-1+b1 |
| Binary: | libcudf-ocaml-dev | piuparts-result: | successfully-tested 0.9-1+b1 | Version: | 0.9-1+b1 |
| dh-ocaml in bullseye |
| Source: | dh-ocaml | piuparts summary: | | Version: | 1.1.3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Mehdi Dogguy <mehdi@debian.org>, Stéphane Glondu <glondu@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | dh-ocaml:all | piuparts-result: | successfully-tested 1.1.3 | Version: | 1.1.3 |
| dose3 in bullseye |
| Source: | dose3 | piuparts summary: | | Version: | 6.0.1-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Stefano Zacchiroli <zack@debian.org>, Ralf Treinen <treinen@debian.org>, Johannes 'josch' Schauer <josch@debian.org> |
| Binary: | apt-cudf | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| Binary: | dose-builddebcheck | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| Binary: | dose-distcheck | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| Binary: | dose-doc:all | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| Binary: | dose-extra | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| Binary: | libdose3-ocaml-dev | piuparts-result: | successfully-tested 6.0.1-2 | Version: | 6.0.1-2 |
| frama-c in bullseye |
| Source: | frama-c | piuparts summary: | | Version: | 20201209+titanium-4.1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | frama-c-base | piuparts-result: | successfully-tested 20201209+titanium-4.1 | Version: | 20201209+titanium-4.1 |
| gmanedit in bullseye |
| Source: | gmanedit | piuparts summary: | | Version: | 0.4.2-8 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | gmanedit | piuparts-result: | successfully-tested 0.4.2-8 | Version: | 0.4.2-8 |
| headache in bullseye |
| Source: | headache | piuparts summary: | | Version: | 1.04-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org> |
| Binary: | headache | piuparts-result: | successfully-tested 1.04-1 | Version: | 1.04-1 |
| hevea in bullseye |
| Source: | hevea | piuparts summary: | | Version: | 2.34-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 | piuparts-result: | successfully-tested 2.34-2+b1 | Version: | 2.34-2+b1 |
| hlins in bullseye |
| Source: | hlins | piuparts summary: | | Version: | 0.39-27 |
| 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-27 | Version: | 0.39-27 |
| lablgl in bullseye |
| Source: | lablgl | piuparts summary: | | Version: | 1:1.06-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>, Lifeng Sun <lifongsun@gmail.com> |
| Binary: | liblablgl-ocaml | piuparts-result: | successfully-tested 1:1.06-1+b3 | Version: | 1:1.06-1+b3 |
| Binary: | liblablgl-ocaml-dev | piuparts-result: | successfully-tested 1:1.06-1+b3 | Version: | 1:1.06-1+b3 |
| lablgtk2 in bullseye |
| Source: | lablgtk2 | piuparts summary: | | Version: | 2.18.11-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | liblablgtk2-gl-ocaml | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-gl-ocaml-dev | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-gnome-ocaml | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-gnome-ocaml-dev | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-ocaml | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-ocaml-dev | piuparts-result: | successfully-tested 2.18.11-1+b1 | Version: | 2.18.11-1+b1 |
| Binary: | liblablgtk2-ocaml-doc:all | piuparts-result: | successfully-tested 2.18.11-1 | Version: | 2.18.11-1 |
| lablgtk3 in bullseye |
| Source: | lablgtk3 | piuparts summary: | | Version: | 3.1.1+official-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.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| Binary: | liblablgtk3-ocaml-dev | piuparts-result: | successfully-tested 3.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| Binary: | liblablgtk3-ocaml-doc:all | piuparts-result: | successfully-tested 3.1.1+official-1 | Version: | 3.1.1+official-1 |
| Binary: | liblablgtksourceview3-ocaml | piuparts-result: | successfully-tested 3.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| Binary: | liblablgtksourceview3-ocaml-dev | piuparts-result: | successfully-tested 3.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| Binary: | liblablgtkspell3-ocaml | piuparts-result: | successfully-tested 3.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| Binary: | liblablgtkspell3-ocaml-dev | piuparts-result: | successfully-tested 3.1.1+official-1+b1 | Version: | 3.1.1+official-1+b1 |
| lbt in bullseye |
| Source: | lbt | piuparts summary: | | Version: | 1.2.2-7 |
| 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-7 | Version: | 1.2.2-7 |
| ledit in bullseye |
| Source: | ledit | piuparts summary: | | Version: | 2.04-5 |
| 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-5 | Version: | 2.04-5 |
| Binary: | libledit-ocaml-dev | piuparts-result: | successfully-tested 2.04-5 | Version: | 2.04-5 |
| maria in bullseye |
| 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+b2 | Version: | 1.3.5-4.1+b2 |
| Binary: | maria-doc:all | piuparts-result: | successfully-tested 1.3.5-4.1 | Version: | 1.3.5-4.1 |
| mccs in bullseye |
| Source: | mccs | piuparts summary: | | Version: | 1:1.1-9 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mccs | piuparts-result: | successfully-tested 1:1.1-9 | Version: | 1:1.1-9 |
| menhir in bullseye |
| Source: | menhir | piuparts summary: | | Version: | 20201216-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | libmenhir-ocaml-dev | piuparts-result: | successfully-tested 20201216-1 | Version: | 20201216-1 |
| Binary: | menhir | piuparts-result: | successfully-tested 20201216-1 | Version: | 20201216-1 |
| Binary: | menhir-doc:all | piuparts-result: | successfully-tested 20201216-1 | Version: | 20201216-1 |
| meta-ocaml in bullseye |
| Source: | meta-ocaml | piuparts summary: | | Version: | 4.08.1.2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | ocaml-core:all | piuparts-result: | successfully-tested 4.08.1.2 | Version: | 4.08.1.2 |
| Binary: | ocaml-libs:all | piuparts-result: | successfully-tested 4.08.1.2 | Version: | 4.08.1.2 |
| minisat+ in bullseye |
| 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 bullseye |
| Source: | mlgmp | piuparts summary: | | Version: | 20021123-21 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org> |
| Binary: | libgmp-ocaml | piuparts-result: | successfully-tested 20021123-21+b1 | Version: | 20021123-21+b1 |
| Binary: | libgmp-ocaml-dev | piuparts-result: | successfully-tested 20021123-21+b1 | Version: | 20021123-21+b1 |
| mona in bullseye |
| Source: | mona | piuparts summary: | | Version: | 1.4-17-2 |
| 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-2 | Version: | 1.4-17-2 |
| morbig in bullseye |
| Source: | morbig | piuparts summary: | | Version: | 0.10.4-4 |
| 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.10.4-4+b6 | Version: | 0.10.4-4+b6 |
| Binary: | morbig | piuparts-result: | successfully-tested 0.10.4-4+b6 | Version: | 0.10.4-4+b6 |
| morsmall in bullseye |
| Source: | morsmall | piuparts summary: | | Version: | 0.3.0-3 |
| 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.3.0-3+b6 | Version: | 0.3.0-3+b6 |
| ocaml in bullseye |
| Source: | ocaml | piuparts summary: | | Version: | 4.11.1-4 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | 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.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-base | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-base-nox | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-compiler-libs | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-interp | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-man:all | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-nox | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| Binary: | ocaml-source:all | piuparts-result: | successfully-tested 4.11.1-4 | Version: | 4.11.1-4 |
| ocaml-cairo2 in bullseye |
| Source: | ocaml-cairo2 | piuparts summary: | | Version: | 0.6.2+dfsg-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libcairo2-ocaml | piuparts-result: | successfully-tested 0.6.2+dfsg-1 | Version: | 0.6.2+dfsg-1 |
| Binary: | libcairo2-ocaml-dev | piuparts-result: | successfully-tested 0.6.2+dfsg-1 | Version: | 0.6.2+dfsg-1 |
| ocaml-fpath in bullseye |
| Source: | ocaml-fpath | piuparts summary: | | Version: | 0.7.3-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, |
| Binary: | libfpath-ocaml | piuparts-result: | successfully-tested 0.7.3-2+b1 | Version: | 0.7.3-2+b1 |
| Binary: | libfpath-ocaml-dev | piuparts-result: | successfully-tested 0.7.3-2+b1 | Version: | 0.7.3-2+b1 |
| ocaml-gnuplot in bullseye |
| Source: | ocaml-gnuplot | piuparts summary: | | Version: | 0.8.3-4 |
| 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-4+b2 | Version: | 0.8.3-4+b2 |
| ocaml-odoc in bullseye |
| Source: | ocaml-odoc | piuparts summary: | | Version: | 1.5.2+dfsg2-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libodoc-ocaml | piuparts-result: | successfully-tested 1.5.2+dfsg2-1 | Version: | 1.5.2+dfsg2-1 |
| Binary: | libodoc-ocaml-dev | piuparts-result: | successfully-tested 1.5.2+dfsg2-1 | Version: | 1.5.2+dfsg2-1 |
| Binary: | ocaml-odoc | piuparts-result: | successfully-tested 1.5.2+dfsg2-1 | Version: | 1.5.2+dfsg2-1 |
| ocaml-tools in bullseye |
| Source: | ocaml-tools | piuparts summary: | | Version: | 20120103-7 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org> |
| Binary: | ocaml-tools:all | piuparts-result: | successfully-tested 20120103-7 | Version: | 20120103-7 |
| ocaml-visitors in bullseye |
| Source: | ocaml-visitors | piuparts summary: | | Version: | 20200210-3 |
| 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 20200210-3+b1 | Version: | 20200210-3+b1 |
| Binary: | libppx-visitors-ocaml-doc:all | piuparts-result: | successfully-tested 20200210-3 | Version: | 20200210-3 |
| ocamldsort in bullseye |
| Source: | ocamldsort | piuparts summary: | | Version: | 0.16.0-7 |
| 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-7+b1 | Version: | 0.16.0-7+b1 |
| ocamlify in bullseye |
| Source: | ocamlify | piuparts summary: | | Version: | 0.0.2-8 |
| 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-8 | Version: | 0.0.2-8 |
| ocamlmakefile in bullseye |
| Source: | ocamlmakefile | piuparts summary: | | Version: | 6.39.2-1 |
| 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.39.2-1 | Version: | 6.39.2-1 |
| ocamlwc in bullseye |
| Source: | ocamlwc | piuparts summary: | | Version: | 0.3-17 |
| 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-17 | Version: | 0.3-17 |
| ocamlweb in bullseye |
| Source: | ocamlweb | piuparts summary: | | Version: | 1.41-4 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org> |
| Binary: | ocamlweb | piuparts-result: | successfully-tested 1.41-4+b1 | Version: | 1.41-4+b1 |
| ocplib-simplex in bullseye |
| Source: | ocplib-simplex | piuparts summary: | | Version: | 0.4-2 |
| 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-2+b1 | Version: | 0.4-2+b1 |
| packup in bullseye |
| 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 bullseye |
| Source: | planets | piuparts summary: | | Version: | 0.1.13-20 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Martin Pitt <mpitt@debian.org>, Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | planets | piuparts-result: | successfully-tested 0.1.13-20+b3 | Version: | 0.1.13-20+b3 |
| ppx-derivers in bullseye |
| Source: | ppx-derivers | piuparts summary: | | Version: | 1.2.1-1 |
| 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.1-1+b2 | Version: | 1.2.1-1+b2 |
| ppx-deriving in bullseye |
| Source: | ppx-deriving | piuparts summary: | | Version: | 4.5-1 |
| 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.5-1+b3 | Version: | 4.5-1+b3 |
| Binary: | libppx-deriving-ocaml-dev | piuparts-result: | successfully-tested 4.5-1+b3 | Version: | 4.5-1+b3 |
| ppx-deriving-yojson in bullseye |
| Source: | ppx-deriving-yojson | piuparts summary: | | Version: | 3.5.3-1 |
| 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.5.3-1+b3 | Version: | 3.5.3-1+b3 |
| spass in bullseye |
| Source: | spass | piuparts summary: | | Version: | 3.9-1.1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | spass | piuparts-result: | successfully-tested 3.9-1.1 | Version: | 3.9-1.1 |
| ssreflect in bullseye |
| Source: | ssreflect | piuparts summary: | | Version: | 1.12.0-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | libssreflect-coq:all | piuparts-result: | successfully-tested 1.12.0-1 | Version: | 1.12.0-1 |
| syslog-ocaml in bullseye |
| Source: | syslog-ocaml | piuparts summary: | | Version: | 2.0.1-1 |
| 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 2.0.1-1+b1 | Version: | 2.0.1-1+b1 |
| Binary: | libsyslog-ocaml-dev | piuparts-result: | successfully-tested 2.0.1-1+b1 | Version: | 2.0.1-1+b1 |
| tuareg-mode in bullseye |
| Source: | tuareg-mode | piuparts summary: | | Version: | 1:2.2.0-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: | elpa-tuareg:all | piuparts-result: | successfully-tested 1:2.2.0-1 | Version: | 1:2.2.0-1 |
| Binary: | tuareg-mode:all | piuparts-result: | successfully-tested 1:2.2.0-1 | Version: | 1:2.2.0-1 |
| why3 in bullseye |
| Source: | why3 | piuparts summary: | | Version: | 1.3.3-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.3.3-1+b4 | Version: | 1.3.3-1+b4 |
| Binary: | why3 | piuparts-result: | successfully-tested 1.3.3-1+b4 | Version: | 1.3.3-1+b4 |
| Binary: | why3-coq | piuparts-result: | successfully-tested 1.3.3-1+b4 | Version: | 1.3.3-1+b4 |
| Binary: | why3-doc-html:all | piuparts-result: | successfully-tested 1.3.3-1 | Version: | 1.3.3-1 |
| Binary: | why3-doc-pdf:all | piuparts-result: | successfully-tested 1.3.3-1 | Version: | 1.3.3-1 |
| Binary: | why3-examples:all | piuparts-result: | successfully-tested 1.3.3-1 | Version: | 1.3.3-1 |
| xdemineur in bullseye |
| Source: | xdemineur | piuparts summary: | | Version: | 2.1.1-21 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | xdemineur | piuparts-result: | successfully-tested 2.1.1-21 | Version: | 2.1.1-21 |
Quality Assurance
