Processing of why_2.29+dfsg-4_amd64.changes

why_2.29+dfsg-4_amd64.changes uploaded successfully to localhost along with the files: why_2.29+dfsg-4.dsc why_2.29+dfsg-4.debian.tar.gz why_2.29+dfsg-4_amd64.deb why-examples_2.29+dfsg-4_all.deb libwhy-coq_2.29+dfsg-4_all.deb Greetings, Your Debian queue daemon (running on

why_2.29+dfsg-4_amd64.changes ACCEPTED into unstable

Accepted: libwhy-coq_2.29+dfsg-4_all.deb to main/w/why/libwhy-coq_2.29+dfsg-4_all.deb why-examples_2.29+dfsg-4_all.deb to main/w/why/why-examples_2.29+dfsg-4_all.deb why_2.29+dfsg-4.debian.tar.gz to main/w/why/why_2.29+dfsg-4.debian.tar.gz why_2.29+dfsg-4.dsc to

Processing of oasis_0.2.0-5_i386.changes

oasis_0.2.0-5_i386.changes uploaded successfully to localhost along with the files: oasis_0.2.0-5.dsc oasis_0.2.0-5.debian.tar.gz oasis_0.2.0-5_all.deb liboasis-ocaml-dev_0.2.0-5_i386.deb liboasis-ocaml_0.2.0-5_i386.deb liboasis-ocaml-doc_0.2.0-5_all.deb Greetings, Your

oasis_0.2.0-5_i386.changes ACCEPTED into unstable

Accepted: liboasis-ocaml-dev_0.2.0-5_i386.deb to main/o/oasis/liboasis-ocaml-dev_0.2.0-5_i386.deb liboasis-ocaml-doc_0.2.0-5_all.deb to main/o/oasis/liboasis-ocaml-doc_0.2.0-5_all.deb liboasis-ocaml_0.2.0-5_i386.deb to main/o/oasis/liboasis-ocaml_0.2.0-5_i386.deb

Bug#647593: RM: ocamlgsl [mips mipsel] -- ROM; broken on architectures with double-word alignment requirement

Package: ftp.debian.org Severity: normal Hi, Please remove the binary packages of ocamlgsl on mips and mipsel. They are probably broken, and ocamlgsl does no longer build with OCaml 3.12.1 and they block the OCaml transition. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to

Processing of ocaml-zarith_1.0-5_amd64.changes

ocaml-zarith_1.0-5_amd64.changes uploaded successfully to localhost along with the files: ocaml-zarith_1.0-5.dsc ocaml-zarith_1.0-5.debian.tar.gz libzarith-ocaml-dev_1.0-5_amd64.deb libzarith-ocaml_1.0-5_amd64.deb libzarith-ocaml-doc_1.0-5_all.deb Greetings, Your Debian queue

Processing of ocaml-batteries_1.4.1-1_amd64.changes

ocaml-batteries_1.4.1-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-batteries_1.4.1-1.dsc ocaml-batteries_1.4.1.orig.tar.gz ocaml-batteries_1.4.1-1.debian.tar.gz libbatteries-ocaml-dev_1.4.1-1_amd64.deb libbatteries-ocaml-doc_1.4.1-1_all.deb

ocaml-batteries_1.4.1-1_amd64.changes ACCEPTED into unstable

Accepted: libbatteries-ocaml-dev_1.4.1-1_amd64.deb to main/o/ocaml-batteries/libbatteries-ocaml-dev_1.4.1-1_amd64.deb libbatteries-ocaml-doc_1.4.1-1_all.deb to main/o/ocaml-batteries/libbatteries-ocaml-doc_1.4.1-1_all.deb ocaml-batteries-included_1.4.1-1_all.deb to

ocaml-zarith_1.0-5_amd64.changes ACCEPTED into unstable

Accepted: libzarith-ocaml-dev_1.0-5_amd64.deb to main/o/ocaml-zarith/libzarith-ocaml-dev_1.0-5_amd64.deb libzarith-ocaml-doc_1.0-5_all.deb to main/o/ocaml-zarith/libzarith-ocaml-doc_1.0-5_all.deb libzarith-ocaml_1.0-5_amd64.deb to main/o/ocaml-zarith/libzarith-ocaml_1.0-5_amd64.deb