postgresql-ocaml_2.0.5-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 10 Aug 2015 19:56:16 + Source: postgresql-ocaml Binary: libpostgresql-ocaml-dev libpostgresql-ocaml Architecture: source amd64 Version: 2.0.5-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Processing of pcre-ocaml_7.0.4-2_amd64.changes

pcre-ocaml_7.0.4-2_amd64.changes uploaded successfully to localhost along with the files: pcre-ocaml_7.0.4-2.dsc pcre-ocaml_7.0.4-2.debian.tar.xz libpcre-ocaml-dev_7.0.4-2_amd64.deb libpcre-ocaml_7.0.4-2_amd64.deb Greetings, Your Debian queue daemon (running on host

Processing of postgresql-ocaml_2.0.5-2_amd64.changes

postgresql-ocaml_2.0.5-2_amd64.changes uploaded successfully to localhost along with the files: postgresql-ocaml_2.0.5-2.dsc postgresql-ocaml_2.0.5-2.debian.tar.xz libpostgresql-ocaml-dev_2.0.5-2_amd64.deb libpostgresql-ocaml_2.0.5-2_amd64.deb Greetings, Your Debian queue daemon

aac-tactics_0.4-4_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 10 Aug 2015 21:16:02 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source all amd64 Version: 0.4-4 Distribution: unstable Urgency: medium

Processing of gmetadom_0.2.6-6.2_amd64.changes

gmetadom_0.2.6-6.2_amd64.changes uploaded successfully to localhost along with the files: gmetadom_0.2.6-6.2.dsc gmetadom_0.2.6-6.2.debian.tar.xz libgdome2-cpp-smart-dev_0.2.6-6.2_amd64.deb libgdome2-cpp-smart0v5_0.2.6-6.2_amd64.deb libgdome2-ocaml-dev_0.2.6-6.2_amd64.deb

gmetadom_0.2.6-6.2_amd64.changes is NEW

binary:libgdome2-cpp-smart0v5 is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. Packages are routinely processed through

gmetadom_0.2.6-6.2_amd64.changes ACCEPTED into unstable, unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 08 Aug 2015 14:02:50 +0100 Source: gmetadom Binary: libgdome2-cpp-smart0v5 libgdome2-cpp-smart-dev libgdome2-ocaml-dev libgdome2-ocaml Architecture: source amd64 Version: 0.2.6-6.2 Distribution: unstable Urgency:

Processing of cmigrep_1.5-12_amd64.changes

cmigrep_1.5-12_amd64.changes uploaded successfully to localhost along with the files: cmigrep_1.5-12.dsc cmigrep_1.5-12.debian.tar.xz cmigrep_1.5-12_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to

cmigrep_1.5-12_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Aug 2015 00:32:35 + Source: cmigrep Binary: cmigrep Architecture: source all Version: 1.5-12 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org

Processing of aac-tactics_0.4-4_amd64.changes

aac-tactics_0.4-4_amd64.changes uploaded successfully to localhost along with the files: aac-tactics_0.4-4.dsc aac-tactics_0.4-4.debian.tar.xz libaac-tactics-coq_0.4-4_all.deb libaac-tactics-ocaml-dev_0.4-4_amd64.deb libaac-tactics-ocaml_0.4-4_amd64.deb Greetings, Your Debian

Re: OCaml Team Request for Sponsorship

Le 03/08/2015 13:28, Riley Baird a écrit : A couple of weeks ago, I packaged the software coq-highschoolgeometry in the OCaml team's alioth repository but I have not yet been able to find a sponsor. I've looked at the package. It looks fine. I've uploaded it. Sorry for taking so much time.

Processing of yojson_1.1.8-2_amd64.changes

yojson_1.1.8-2_amd64.changes uploaded successfully to localhost along with the files: yojson_1.1.8-2.dsc yojson_1.1.8-2.debian.tar.xz libyojson-ocaml-dev_1.1.8-2_amd64.deb libyojson-ocaml_1.1.8-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

pcre-ocaml_7.0.4-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 10 Aug 2015 20:22:12 + Source: pcre-ocaml Binary: libpcre-ocaml libpcre-ocaml-dev Architecture: source amd64 Version: 7.0.4-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

yojson_1.1.8-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 10 Aug 2015 20:21:27 +0200 Source: yojson Binary: libyojson-ocaml-dev libyojson-ocaml Architecture: source amd64 Version: 1.1.8-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

Le 04/08/2015 18:41, Valentin Lorentz a écrit : While working on the “reproducible builds” effort [1], we have noticed that ocamlopt relies on temporary files whose names are generated randomly and are part of the output files' symbols. ocamlc relies on temporary files as well. In general,

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

Le 09/08/2015 21:46, Chris Lamb a écrit : My thoughts are that we can -- and should -- achieve the end result by making the calculation deterministic in all cases, ie. moving away from using an RNG altogher for this and basing the filename based on its contents. You mean, generate the file

gmetadom_0.2.6-6.2_source.changes REJECTED

Source-only uploads to NEW are not allowed. === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

After experimenting, it turns out the filename is stored in .o files (and the final executable) Right, that's the whole problem :) You mean, generate the file using the temporary name then rename it into something that uses its hash? Well, something like that. We need to be a little clever