Processing of freetennis_0.4.8-10_amd64.changes

freetennis_0.4.8-10_amd64.changes uploaded successfully to localhost along with the files: freetennis_0.4.8-10.dsc freetennis_0.4.8-10.debian.tar.xz freetennis-common_0.4.8-10_all.deb freetennis_0.4.8-10_amd64.deb Greetings, Your Debian queue daemon (running on host

Processing of mldonkey_3.1.5-3_amd64.changes

mldonkey_3.1.5-3_amd64.changes uploaded successfully to localhost along with the files: mldonkey_3.1.5-3.dsc mldonkey_3.1.5-3.debian.tar.xz mldonkey-gui_3.1.5-3_amd64.deb mldonkey-server_3.1.5-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

Processing of prooftree_0.12-2_amd64.changes

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

prooftree_0.12-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 10:10:04 +0200 Source: prooftree Binary: prooftree Architecture: source amd64 Version: 0.12-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers

Processing of ocaml-ssl_0.5.1-1_amd64.changes

ocaml-ssl_0.5.1-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-ssl_0.5.1-1.dsc ocaml-ssl_0.5.1.orig.tar.gz ocaml-ssl_0.5.1-1.debian.tar.xz libssl-ocaml-dev_0.5.1-1_amd64.deb libssl-ocaml_0.5.1-1_amd64.deb Greetings, Your Debian queue daemon

Processing of lwt_2.5.0+1-1_amd64.changes

lwt_2.5.0+1-1_amd64.changes uploaded successfully to localhost along with the files: lwt_2.5.0+1-1.dsc lwt_2.5.0+1.orig.tar.gz lwt_2.5.0+1-1.debian.tar.xz liblwt-glib-ocaml-dev_2.5.0+1-1_amd64.deb liblwt-glib-ocaml_2.5.0+1-1_amd64.deb liblwt-ocaml-dev_2.5.0+1-1_amd64.deb

Processing of coq-float_8.4-5_amd64.changes

coq-float_8.4-5_amd64.changes uploaded successfully to localhost along with the files: coq-float_8.4-5.dsc coq-float_8.4-5.debian.tar.xz libfloat-coq_8.4-5_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

coq-float_8.4-5_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 11:37:12 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.4-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

lwt_2.5.0+1-1_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 22:44:52 +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:

aac-tactics_0.4-5_amd64.changes REJECTED

aac-tactics_0.4-5.dsc: Invalid size hash for aac-tactics_0.4.orig.tar.gz: According to the control file the size hash should be 77048, but aac-tactics_0.4.orig.tar.gz has 77336. If you did not include aac-tactics_0.4.orig.tar.gz in your upload, a different version might already be known to the

ssreflect_1.5-3_amd64.changes REJECTED

ssreflect_1.5-3.dsc: Invalid size hash for ssreflect_1.5.orig.tar.gz: According to the control file the size hash should be 216651, but ssreflect_1.5.orig.tar.gz has 217833. If you did not include ssreflect_1.5.orig.tar.gz in your upload, a different version might already be known to the

ocaml-ssl_0.5.1-1_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 11:23:35 +0200 Source: ocaml-ssl Binary: libssl-ocaml libssl-ocaml-dev Architecture: source amd64 Version: 0.5.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of coq-float_8.4-5_amd64.changes

coq-float_8.4-5_amd64.changes uploaded successfully to localhost along with the files: coq-float_8.4-5.dsc coq-float_8.4-5.debian.tar.xz libfloat-coq_8.4-5_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

Processed: Re: Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal

Processing control commands: > severity -1 serious Bug #801550 [src:ocamlnet] ocamlnet: FTBFS on hppa -- unterminated string literal Severity set to 'serious' from 'normal' -- 801550: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801550 Debian Bug Tracking System Contact

Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal

Control: severity -1 serious Hello, John David Anglin, le Sun 11 Oct 2015 19:50:41 -0400, a écrit : > ocamlfind ocamldep *.ml *.mli >depend || { rm -f depend; exit 1; } > File "netencoding.mli", line 117, characters 1-4: > Error: This comment contains an unterminated string literal Actually,

Bug#801773: FTBFS with OCaml 4.02.3

Package: src:dose3 Version: 4.0.2-1 Severity: serious Justification: fails to build from source (but built successfully in the past) Dear Maintainer, dose3 fails to build on all architectures: https://buildd.debian.org/status/package.php?p=dose3=sid Cheers, -- Stéphane -- System

Re: Bug#789619: plplot: FTBFS: Configuring incomplete, errors occurred! (debdiff so far)

Le 09/10/2015 21:41, Ole Streicher a écrit : > I tried it, but in the moment on unstable there is a dependency problem with > ocaml: > > libcairo-ocaml-dev : Depends: ocaml-nox-4.01.0 which is a virtual package > and is not provided by any available package. > [...] > > This happened since

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

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

Processing of ssreflect_1.5-3_amd64.changes

ssreflect_1.5-3_amd64.changes uploaded successfully to localhost along with the files: ssreflect_1.5-3.dsc ssreflect_1.5-3.debian.tar.xz libssreflect-coq_1.5-3_all.deb libssreflect-ocaml-dev_1.5-3_amd64.deb libssreflect-ocaml_1.5-3_amd64.deb Greetings, Your Debian queue daemon

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

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

Processing of ssreflect_1.5-3_amd64.changes

ssreflect_1.5-3_amd64.changes uploaded successfully to localhost along with the files: ssreflect_1.5-3.dsc ssreflect_1.5-3.debian.tar.xz libssreflect-coq_1.5-3_all.deb libssreflect-ocaml-dev_1.5-3_amd64.deb libssreflect-ocaml_1.5-3_amd64.deb Greetings, Your Debian queue daemon

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

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 11:44:20 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source all amd64 Version: 0.4-5 Distribution: unstable Urgency: medium

ssreflect_1.5-3_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 11:42:57 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source all amd64 Version: 1.5-3 Distribution: unstable Urgency: medium Maintainer: