|
treinen@debian.org in sid
|
| other distributions: | experimental sid2experimental 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 |
| fail: | 0 | |
| unknown: | 0 | |
| pass: | 59 | advi 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 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 sid |
| Source: | advi | piuparts summary: |  | Version: | 2.0.0-4 |
| 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 2.0.0-4 | Version: | 2.0.0-4 |
| Binary: | advi-examples:all | piuparts-result: | successfully-tested 2.0.0-4 | Version: | 2.0.0-4 |
| approx in sid |
| Source: | approx | piuparts summary: | | Version: | 5.13-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | approx | piuparts-result: | successfully-tested 5.13-1+b2 | Version: | 5.13-1+b2 |
| aribas in sid |
| Source: | aribas | piuparts summary: | | Version: | 1.65-1 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aribas | piuparts-result: | successfully-tested 1.65-1 | Version: | 1.65-1 |
| aspcud in sid |
| Source: | aspcud | piuparts summary: | | Version: | 1:1.9.6-2 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | aspcud | piuparts-result: | successfully-tested 1:1.9.6-2 | Version: | 1:1.9.6-2 |
| bibtex2html in sid |
| Source: | bibtex2html | piuparts summary: | | Version: | 1.99-4 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | bibtex2html | piuparts-result: | successfully-tested 1.99-4+b2 | Version: | 1.99-4+b2 |
| caml-mode in sid |
| Source: | caml-mode | piuparts summary: | | Version: | 4.9-4 |
| 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.9-4 | Version: | 4.9-4 |
| camlbz2 in sid |
| Source: | camlbz2 | piuparts summary: | | Version: | 0.8.0-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libbz2-ocaml | piuparts-result: | successfully-tested 0.8.0-2+b1 | Version: | 0.8.0-2+b1 |
| Binary: | libbz2-ocaml-dev | piuparts-result: | successfully-tested 0.8.0-2+b1 | Version: | 0.8.0-2+b1 |
| camlidl in sid |
| Source: | camlidl | piuparts summary: | | Version: | 1.12-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | camlidl | piuparts-result: | successfully-tested 1.12-1+b1 | Version: | 1.12-1+b1 |
| camlimages in sid |
| Source: | camlimages | piuparts summary: | | Version: | 1:5.0.5-2 |
| 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.5-2 | Version: | 1:5.0.5-2 |
| Binary: | libcamlimages-ocaml-dev | piuparts-result: | successfully-tested 1:5.0.5-2 | Version: | 1:5.0.5-2 |
| Binary: | libcamlimages-ocaml-doc:all | piuparts-result: | successfully-tested 1:5.0.5-2 | Version: | 1:5.0.5-2 |
| camlzip in sid |
| Source: | camlzip | piuparts summary: | | Version: | 1.12-2 |
| 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.12-2+b1 | Version: | 1.12-2+b1 |
| Binary: | libzip-ocaml-dev | piuparts-result: | successfully-tested 1.12-2+b1 | Version: | 1.12-2+b1 |
| coccinelle in sid |
| Source: | coccinelle | piuparts summary: | | Version: | 1.2.deb-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.2.deb-1+b1 | Version: | 1.2.deb-1+b1 |
| Binary: | coccinelle-doc:all | piuparts-result: | successfully-tested 1.2.deb-1 | Version: | 1.2.deb-1 |
| coinst in sid |
| Source: | coinst | piuparts summary: | | Version: | 1.9.3-6 |
| 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-6+b2 | Version: | 1.9.3-6+b2 |
| coq in sid |
| Source: | coq | piuparts summary: | | Version: | 8.20.0+dfsg-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | coq | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 |
| Binary: | coqide | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 |
| Binary: | libcoq-core-ocaml | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 |
| Binary: | libcoq-core-ocaml-dev | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 |
| Binary: | libcoq-stdlib | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 |
| cryptokit in sid |
| Source: | cryptokit | piuparts summary: | | Version: | 1.20.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.20.1-1+b2 | Version: | 1.20.1-1+b2 |
| Binary: | libcryptokit-ocaml-dev | piuparts-result: | successfully-tested 1.20.1-1+b2 | Version: | 1.20.1-1+b2 |
| cudf in sid |
| Source: | cudf | piuparts summary: | | Version: | 0.10-5 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | cudf-tools | piuparts-result: | successfully-tested 0.10-5+b1 | Version: | 0.10-5+b1 |
| Binary: | libcudf-dev | piuparts-result: | successfully-tested 0.10-5+b1 | Version: | 0.10-5+b1 |
| Binary: | libcudf-ocaml-dev | piuparts-result: | successfully-tested 0.10-5+b1 | Version: | 0.10-5+b1 |
| dh-ocaml in sid |
| Source: | dh-ocaml | piuparts summary: | | Version: | 2.4 |
| 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 2.4 | Version: | 2.4 |
| dose3 in sid |
| Source: | dose3 | piuparts summary: | | Version: | 7.0.0-5 |
| 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 7.0.0-5+b5 | Version: | 7.0.0-5+b5 |
| Binary: | dose-builddebcheck | piuparts-result: | successfully-tested 7.0.0-5+b5 | Version: | 7.0.0-5+b5 |
| Binary: | dose-distcheck | piuparts-result: | successfully-tested 7.0.0-5+b5 | Version: | 7.0.0-5+b5 |
| Binary: | dose-doc:all | piuparts-result: | successfully-tested 7.0.0-5 | Version: | 7.0.0-5 |
| Binary: | dose-extra | piuparts-result: | successfully-tested 7.0.0-5+b5 | Version: | 7.0.0-5+b5 |
| Binary: | libdose3-ocaml-dev | piuparts-result: | successfully-tested 7.0.0-5+b5 | Version: | 7.0.0-5+b5 |
| frama-c in sid |
| Source: | frama-c | piuparts summary: | | Version: | 20220511-manganese-5 |
| 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 20220511-manganese-5+b12 | Version: | 20220511-manganese-5+b12 |
| gmanedit in sid |
| 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+b2 | Version: | 0.4.2-8+b2 |
| headache in sid |
| Source: | headache | piuparts summary: | | Version: | 1.08-2 |
| 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.08-2 | Version: | 1.08-2 |
| hevea in sid |
| Source: | hevea | piuparts summary: | | Version: | 2.36-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.36-2+b2 | Version: | 2.36-2+b2 |
| hlins in sid |
| Source: | hlins | piuparts summary: | | Version: | 0.40-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | hlins | piuparts-result: | successfully-tested 0.40-1+b1 | Version: | 0.40-1+b1 |
| lablgl in sid |
| Source: | lablgl | piuparts summary: | | Version: | 1:1.07-2 |
| 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: | liblablgl-ocaml | piuparts-result: | successfully-tested 1:1.07-2+b1 | Version: | 1:1.07-2+b1 |
| Binary: | liblablgl-ocaml-dev | piuparts-result: | successfully-tested 1:1.07-2+b1 | Version: | 1:1.07-2+b1 |
| lablgtk3 in sid |
| Source: | lablgtk3 | piuparts summary: | | Version: | 3.1.5-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.5-1+b1 | Version: | 3.1.5-1+b1 |
| Binary: | liblablgtk3-ocaml-dev | piuparts-result: | successfully-tested 3.1.5-1+b1 | Version: | 3.1.5-1+b1 |
| Binary: | liblablgtk3-ocaml-doc:all | piuparts-result: | successfully-tested 3.1.5-1 | Version: | 3.1.5-1 |
| Binary: | liblablgtksourceview3-ocaml | piuparts-result: | successfully-tested 3.1.5-1+b1 | Version: | 3.1.5-1+b1 |
| Binary: | liblablgtksourceview3-ocaml-dev | piuparts-result: | successfully-tested 3.1.5-1+b1 | Version: | 3.1.5-1+b1 |
| Binary: | liblablgtkspell3-ocaml | piuparts-result: | successfully-tested 3.1.5-1+b1 | Version: | 3.1.5-1+b1 |
| Binary: | liblablgtkspell3-ocaml-dev | piuparts-result: | successfully-tested 3.1.5-1+b1 | Version: | 3.1.5-1+b1 |
| lbt in sid |
| 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 sid |
| Source: | ledit | piuparts summary: | | Version: | 2.04-8 |
| 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 | piuparts-result: | successfully-tested 2.04-8+b5 | Version: | 2.04-8+b5 |
| Binary: | libledit-ocaml-dev | piuparts-result: | successfully-tested 2.04-8+b5 | Version: | 2.04-8+b5 |
| maria in sid |
| Source: | maria | piuparts summary: | | Version: | 1.3.5-6 |
| 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-6 | Version: | 1.3.5-6 |
| Binary: | maria-doc:all | piuparts-result: | successfully-tested 1.3.5-6 | Version: | 1.3.5-6 |
| mccs in sid |
| Source: | mccs | piuparts summary: | | Version: | 1:1.1-10 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | mccs | piuparts-result: | successfully-tested 1:1.1-10+b1 | Version: | 1:1.1-10+b1 |
| menhir in sid |
| Source: | menhir | piuparts summary: | | Version: | 20240715+ds-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 20240715+ds-1 | Version: | 20240715+ds-1 |
| Binary: | menhir | piuparts-result: | successfully-tested 20240715+ds-1 | Version: | 20240715+ds-1 |
| Binary: | menhir-doc:all | piuparts-result: | successfully-tested 20240715+ds-1 | Version: | 20240715+ds-1 |
| meta-ocaml in sid |
| Source: | meta-ocaml | piuparts summary: | | Version: | 5 |
| 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 5 | Version: | 5 |
| Binary: | ocaml-libs:all | piuparts-result: | successfully-tested 5 | Version: | 5 |
| Binary: | ocaml-platform:all | piuparts-result: | successfully-tested 5 | Version: | 5 |
| minisat+ in sid |
| Source: | minisat+ | piuparts summary: | | Version: | 1.0-5 |
| 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-5 | Version: | 1.0-5 |
| mlgmp in sid |
| Source: | mlgmp | piuparts summary: | | Version: | 20021123-23 |
| 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-23+b1 | Version: | 20021123-23+b1 |
| Binary: | libgmp-ocaml-dev | piuparts-result: | successfully-tested 20021123-23+b1 | Version: | 20021123-23+b1 |
| mona in sid |
| Source: | mona | piuparts summary: | | Version: | 1.4-18-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-18-1+b1 | Version: | 1.4-18-1+b1 |
| morbig in sid |
| Source: | morbig | piuparts summary: | | Version: | 0.11.0-3 |
| 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.11.0-3+b3 | Version: | 0.11.0-3+b3 |
| Binary: | morbig | piuparts-result: | successfully-tested 0.11.0-3+b3 | Version: | 0.11.0-3+b3 |
| morsmall in sid |
| Source: | morsmall | piuparts summary: | | Version: | 0.3.0-8 |
| 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-8+b4 | Version: | 0.3.0-8+b4 |
| ocaml in sid |
| Source: | ocaml | piuparts summary: | | Version: | 5.2.0-3 |
| 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: | libcompiler-libs-ocaml-dev | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | libstdlib-ocaml | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | libstdlib-ocaml-dev | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-base | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-base-nox:all | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-compiler-libs:all | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-interp | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-man:all | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-nox:all | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| Binary: | ocaml-source:all | piuparts-result: | successfully-tested 5.2.0-3 | Version: | 5.2.0-3 |
| ocaml-cairo2 in sid |
| Source: | ocaml-cairo2 | piuparts summary: | | Version: | 0.6.4+dfsg-4 |
| 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.4+dfsg-4+b1 | Version: | 0.6.4+dfsg-4+b1 |
| Binary: | libcairo2-ocaml-dev | piuparts-result: | successfully-tested 0.6.4+dfsg-4+b1 | Version: | 0.6.4+dfsg-4+b1 |
| ocaml-fpath in sid |
| Source: | ocaml-fpath | piuparts summary: | | Version: | 0.7.3-3 |
| 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-3+b2 | Version: | 0.7.3-3+b2 |
| Binary: | libfpath-ocaml-dev | piuparts-result: | successfully-tested 0.7.3-3+b2 | Version: | 0.7.3-3+b2 |
| ocaml-gnuplot in sid |
| Source: | ocaml-gnuplot | piuparts summary: | | Version: | 0.8.3-6 |
| 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-6 | Version: | 0.8.3-6 |
| ocaml-odoc in sid |
| Source: | ocaml-odoc | piuparts summary: | | Version: | 2.4.3-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | libodoc-ocaml | piuparts-result: | successfully-tested 2.4.3-1 | Version: | 2.4.3-1 |
| Binary: | libodoc-ocaml-dev | piuparts-result: | successfully-tested 2.4.3-1 | Version: | 2.4.3-1 |
| Binary: | libodoc-parser-ocaml | piuparts-result: | successfully-tested 2.4.3-1 | Version: | 2.4.3-1 |
| Binary: | libodoc-parser-ocaml-dev | piuparts-result: | successfully-tested 2.4.3-1 | Version: | 2.4.3-1 |
| Binary: | ocaml-odoc | piuparts-result: | successfully-tested 2.4.3-1 | Version: | 2.4.3-1 |
| ocaml-tools in sid |
| Source: | ocaml-tools | piuparts summary: | | Version: | 20120103-12 |
| 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-12 | Version: | 20120103-12 |
| ocaml-visitors in sid |
| Source: | ocaml-visitors | piuparts summary: | | Version: | 20210608-6 |
| 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 20210608-6+b4 | Version: | 20210608-6+b4 |
| Binary: | libppx-visitors-ocaml-doc:all | piuparts-result: | successfully-tested 20210608-6 | Version: | 20210608-6 |
| ocamldsort in sid |
| Source: | ocamldsort | piuparts summary: | | Version: | 0.16.0-9 |
| 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-9 | Version: | 0.16.0-9 |
| ocamlify in sid |
| Source: | ocamlify | piuparts summary: | | Version: | 0.0.2-11 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | ocamlify | piuparts-result: | successfully-tested 0.0.2-11+b1 | Version: | 0.0.2-11+b1 |
| ocamlmakefile in sid |
| Source: | ocamlmakefile | piuparts summary: | | Version: | 6.39.2-2 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | ocamlmakefile:all | piuparts-result: | successfully-tested 6.39.2-2 | Version: | 6.39.2-2 |
| ocamlwc in sid |
| Source: | ocamlwc | piuparts summary: | | Version: | 0.3-21 |
| 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 | piuparts-result: | successfully-tested 0.3-21+b2 | Version: | 0.3-21+b2 |
| ocamlweb in sid |
| Source: | ocamlweb | piuparts summary: | | Version: | 1.41-8 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org> |
| Binary: | ocamlweb | piuparts-result: | successfully-tested 1.41-8+b1 | Version: | 1.41-8+b1 |
| ocplib-simplex in sid |
| Source: | ocplib-simplex | piuparts summary: | | Version: | 0.5.1-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.5.1-2+b3 | Version: | 0.5.1-2+b3 |
| packup in sid |
| Source: | packup | piuparts summary: | | Version: | 0.6-3.1 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | packup | piuparts-result: | successfully-tested 0.6-3.1 | Version: | 0.6-3.1 |
| planets in sid |
| Source: | planets | piuparts summary: | | Version: | 0.1.13-23 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Martin Pitt <mpitt@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | planets | piuparts-result: | successfully-tested 0.1.13-23 | Version: | 0.1.13-23 |
| ppx-derivers in sid |
| Source: | ppx-derivers | piuparts summary: | | Version: | 1.2.1-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.1-4+b2 | Version: | 1.2.1-4+b2 |
| ppx-deriving in sid |
| Source: | ppx-deriving | piuparts summary: | | Version: | 6.0.3-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 6.0.3-1 | Version: | 6.0.3-1 |
| Binary: | libppx-deriving-ocaml-dev | piuparts-result: | successfully-tested 6.0.3-1 | Version: | 6.0.3-1 |
| ppx-deriving-yojson in sid |
| Source: | ppx-deriving-yojson | piuparts summary: | | Version: | 3.9.0-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.9.0-1+b2 | Version: | 3.9.0-1+b2 |
| spass in sid |
| 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 sid |
| Source: | ssreflect | piuparts summary: | | Version: | 2.3.0-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org> |
| Binary: | libcoq-mathcomp | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-algebra | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-character | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-field | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-fingroup | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-solvable | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| Binary: | libcoq-mathcomp-ssreflect | piuparts-result: | successfully-tested 2.3.0-1+b1 | Version: | 2.3.0-1+b1 |
| syslog-ocaml in sid |
| Source: | syslog-ocaml | piuparts summary: | | Version: | 2.0.2-4 |
| 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.2-4+b2 | Version: | 2.0.2-4+b2 |
| Binary: | libsyslog-ocaml-dev | piuparts-result: | successfully-tested 2.0.2-4+b2 | Version: | 2.0.2-4+b2 |
| tuareg-mode in sid |
| Source: | tuareg-mode | piuparts summary: | | Version: | 1:3.0.1-3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | elpa-tuareg:all | piuparts-result: | successfully-tested 1:3.0.1-3 | Version: | 1:3.0.1-3 |
| why3 in sid |
| Source: | why3 | piuparts summary: | | Version: | 1.7.2-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 1.7.2-2+b1 | Version: | 1.7.2-2+b1 |
| Binary: | why3 | piuparts-result: | successfully-tested 1.7.2-2+b1 | Version: | 1.7.2-2+b1 |
| Binary: | why3-doc-html:all | piuparts-result: | successfully-tested 1.7.2-2 | Version: | 1.7.2-2 |
| Binary: | why3-doc-pdf:all | piuparts-result: | successfully-tested 1.7.2-2 | Version: | 1.7.2-2 |
| Binary: | why3-examples:all | piuparts-result: | successfully-tested 1.7.2-2 | Version: | 1.7.2-2 |
| xdemineur in sid |
| Source: | xdemineur | piuparts summary: | | Version: | 2.1.1-23 |
| Maintainer: | Ralf Treinen <treinen@debian.org> |
| Binary: | xdemineur | piuparts-result: | successfully-tested 2.1.1-23 | Version: | 2.1.1-23 |
Quality Assurance
