ocaml-text_0.6-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 21:58:18 +0200 Source: ocaml-text Binary: libtext-ocaml-dev libtext-ocaml Architecture: source amd64 Version: 0.6-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers Changed-

react_0.9.4-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 21:51:47 +0200 Source: react Binary: libreact-ocaml-dev libreact-ocaml Architecture: source amd64 Version: 0.9.4-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers Changed-B

ocaml-fileutils_0.4.5-3_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 22:11:05 +0200 Source: ocaml-fileutils Binary: libfileutils-ocaml-dev Architecture: source amd64 Version: 0.4.5-3 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers Changed-By

lwt_2.4.3-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 22:03:43 +0200 Source: lwt Binary: liblwt-ocaml-dev liblwt-ocaml liblwt-ssl-ocaml-dev liblwt-ssl-ocaml liblwt-glib-ocaml-dev liblwt-glib-ocaml liblwt-ocaml-doc Architecture: source amd64 all Version: 2

Processing of lwt_2.4.3-2_amd64.changes

lwt_2.4.3-2_amd64.changes uploaded successfully to localhost along with the files: lwt_2.4.3-2.dsc lwt_2.4.3-2.debian.tar.gz liblwt-ocaml-dev_2.4.3-2_amd64.deb liblwt-ocaml_2.4.3-2_amd64.deb liblwt-ssl-ocaml-dev_2.4.3-2_amd64.deb liblwt-ssl-ocaml_2.4.3-2_amd64.deb liblwt-glib-ocaml-de

Processing of ocaml-fileutils_0.4.5-3_amd64.changes

ocaml-fileutils_0.4.5-3_amd64.changes uploaded successfully to localhost along with the files: ocaml-fileutils_0.4.5-3.dsc ocaml-fileutils_0.4.5-3.debian.tar.gz libfileutils-ocaml-dev_0.4.5-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

Processing of ocaml-text_0.6-2_amd64.changes

ocaml-text_0.6-2_amd64.changes uploaded successfully to localhost along with the files: ocaml-text_0.6-2.dsc ocaml-text_0.6-2.debian.tar.gz libtext-ocaml-dev_0.6-2_amd64.deb libtext-ocaml_0.6-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) --

Processing of react_0.9.4-2_amd64.changes

react_0.9.4-2_amd64.changes uploaded successfully to localhost along with the files: react_0.9.4-2.dsc react_0.9.4-2.debian.tar.gz libreact-ocaml-dev_0.9.4-2_amd64.deb libreact-ocaml_0.9.4-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

lablgtk-extras_1.3-1_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 14:40:22 +0200 Source: lablgtk-extras Binary: liblablgtk-extras-ocaml-dev liblablgtk-extras-ocaml-doc Architecture: source amd64 all Version: 1.3-1 Distribution: experimental Urgency: low Maintainer: De

Processing of lablgtk-extras_1.3-1_amd64.changes

lablgtk-extras_1.3-1_amd64.changes uploaded successfully to localhost along with the files: lablgtk-extras_1.3-1.dsc lablgtk-extras_1.3.orig.tar.gz lablgtk-extras_1.3-1.debian.tar.gz liblablgtk-extras-ocaml-dev_1.3-1_amd64.deb liblablgtk-extras-ocaml-doc_1.3-1_all.deb Greetings,

coq_8.4pl2dfsg-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 14:17:30 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl2dfsg-2 Distribution: experimental Urgency: low Maintainer: Debian O

Processing of coq_8.4pl2dfsg-2_amd64.changes

coq_8.4pl2dfsg-2_amd64.changes uploaded successfully to localhost along with the files: coq_8.4pl2dfsg-2.dsc coq_8.4pl2dfsg-2.debian.tar.gz coq_8.4pl2dfsg-2_amd64.deb coqide_8.4pl2dfsg-2_amd64.deb coq-theories_8.4pl2dfsg-2_all.deb libcoq-ocaml_8.4pl2dfsg-2_amd64.deb libcoq-ocaml-dev_8

Accepted coq 8.4pl2dfsg-2 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 14:17:30 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl2dfsg-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintain

xmlm_1.1.1-2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 09:42:30 +0200 Source: xmlm Binary: libxmlm-ocaml-dev Architecture: source amd64 Version: 1.1.1-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glond

lablgtk2_2.16.0+dfsg-1~exp3_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 09:23:00 +0200 Source: lablgtk2 Binary: liblablgtk2-ocaml liblablgtk2-gl-ocaml liblablgtk2-gnome-ocaml liblablgtksourceview2-ocaml liblablgtk2-ocaml-dev liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocam

Processing of xmlm_1.1.1-2_amd64.changes

xmlm_1.1.1-2_amd64.changes uploaded successfully to localhost along with the files: xmlm_1.1.1-2.dsc xmlm_1.1.1-2.debian.tar.gz libxmlm-ocaml-dev_1.1.1-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-mai

Processing of lablgtk2_2.16.0+dfsg-1~exp3_amd64.changes

lablgtk2_2.16.0+dfsg-1~exp3_amd64.changes uploaded successfully to localhost along with the files: lablgtk2_2.16.0+dfsg-1~exp3.dsc lablgtk2_2.16.0+dfsg-1~exp3.debian.tar.gz liblablgtk2-ocaml_2.16.0+dfsg-1~exp3_amd64.deb liblablgtk2-gl-ocaml_2.16.0+dfsg-1~exp3_amd64.deb liblablgtk2-gnome-o

lablgtk2_2.16.0+dfsg-1~exp2_amd64.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 08:44:10 +0200 Source: lablgtk2 Binary: liblablgtk2-ocaml liblablgtk2-gl-ocaml liblablgtk2-gnome-ocaml liblablgtksourceview2-ocaml liblablgtk2-ocaml-dev liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocam

Processing of lablgtk2_2.16.0+dfsg-1~exp2_amd64.changes

lablgtk2_2.16.0+dfsg-1~exp2_amd64.changes uploaded successfully to localhost along with the files: lablgtk2_2.16.0+dfsg-1~exp2.dsc lablgtk2_2.16.0+dfsg-1~exp2.debian.tar.gz liblablgtk2-ocaml_2.16.0+dfsg-1~exp2_amd64.deb liblablgtk2-gl-ocaml_2.16.0+dfsg-1~exp2_amd64.deb liblablgtk2-gnome-o