coccinelle_1.0.0~rc19.deb-3_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 25 Dec 2013 23:28:59 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: source amd64 all Version: 1.0.0~rc19.deb-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Ch

Processing of coccinelle_1.0.0~rc19.deb-3_amd64.changes

coccinelle_1.0.0~rc19.deb-3_amd64.changes uploaded successfully to localhost along with the files: coccinelle_1.0.0~rc19.deb-3.dsc coccinelle_1.0.0~rc19.deb-3.debian.tar.gz coccinelle_1.0.0~rc19.deb-3_amd64.deb coccinelle-doc_1.0.0~rc19.deb-3_all.deb Greetings, Your Debian queue d

failed powerpc build of cduce 0.5.5-1+b2

* Source package: cduce * Version: 0.5.5-1+b2 * Architecture: powerpc * State: failed * Suite: sid * Builder: praetorius.debian.org * Build log: https://buildd.debian.org/fetch.cgi?pkg=cduce&arch=powerpc&ver=0.5.5-1%2Bb2&stamp=1387999861&file=log Please note that these notifications do not

failed powerpc build of cduce 0.5.5-1+b2

* Source package: cduce * Version: 0.5.5-1+b2 * Architecture: powerpc * State: failed * Suite: sid * Builder: praetorius.debian.org * Build log: https://buildd.debian.org/fetch.cgi?pkg=cduce&arch=powerpc&ver=0.5.5-1%2Bb2&stamp=1387994677&file=log Please note that these notifications do not

failed powerpc build of cduce 0.5.5-1+b2

* Source package: cduce * Version: 0.5.5-1+b2 * Architecture: powerpc * State: failed * Suite: sid * Builder: praetorius.debian.org * Build log: https://buildd.debian.org/fetch.cgi?pkg=cduce&arch=powerpc&ver=0.5.5-1%2Bb2&stamp=1387990721&file=log Please note that these notifications do not

Bug#733101: RFA: apron -- abstract interpretation library

Package: wnpp Severity: normal Hello, Currently, apron has no human maintainers. It is maintained by the Debian OCaml team because of the need of transition coordination, but needs more love and a dedicated maintainer. A potential maintainer should get familiar with [1], and in particular with o

apron_0.9.10-6_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 25 Dec 2013 13:00:39 +0100 Source: apron Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev Architecture: source amd64 all Version: 0.9.10-6 Distribution: unstable Urgency: low Maintainer: Debian OCaml

Processing of apron_0.9.10-6_amd64.changes

apron_0.9.10-6_amd64.changes uploaded successfully to localhost along with the files: apron_0.9.10-6.dsc apron_0.9.10-6.debian.tar.gz libapron_0.9.10-6_amd64.deb libapron-dev_0.9.10-6_all.deb libapron-ocaml_0.9.10-6_amd64.deb libapron-ocaml-dev_0.9.10-6_amd64.deb Greetings, Yo