treinen@debian.org in testing2sid
|
other distributions: | experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks 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: | 57 | advi approx aspcud bibtex2html caml-mode camlbz2 camlidl camlimages camlzip coccinelle coinst coq cryptokit cudf dh-ocaml dose3 frama-c 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 testing2sid |
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 testing2sid |
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 |
aspcud in testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 [cruft] |
Binary: | coqide | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 [cruft] |
Binary: | libcoq-core-ocaml | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 [cruft] |
Binary: | libcoq-core-ocaml-dev | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 [cruft] |
Binary: | libcoq-stdlib | piuparts-result: | successfully-tested 8.20.0+dfsg-1 | Version: | 8.20.0+dfsg-1 [cruft] |
cryptokit in testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 |
headache in testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
Source: | ssreflect | piuparts summary: | | Version: | 2.2.0-2 |
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.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-algebra | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-character | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-field | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-fingroup | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-solvable | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
Binary: | libcoq-mathcomp-ssreflect | piuparts-result: | successfully-tested 2.2.0-2+b9 | Version: | 2.2.0-2+b9 |
syslog-ocaml in testing2sid |
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 testing2sid |
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 testing2sid |
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 testing2sid |
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 |