matita_0.99.1-3_amd64.changes ACCEPTED into unstable

2013-12-10 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 10 Dec 2013 20:15:50 +0100 Source: matita Binary: matita Architecture: source amd64 Version: 0.99.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi Description

Bug#731702: marked as done (matita: FTBFS with ocaml 4.01.0)

2013-12-10 Thread Debian Bug Tracking System
Your message dated Tue, 10 Dec 2013 21:21:58 + with message-id and subject line Bug#731702: fixed in matita 0.99.1-3 has caused the Debian Bug report #731702, regarding matita: FTBFS with ocaml 4.01.0 to be marked as done. This means that you claim that the problem has been dealt with. If thi

Processing of matita_0.99.1-3_amd64.changes

2013-12-10 Thread Debian FTP Masters
matita_0.99.1-3_amd64.changes uploaded successfully to localhost along with the files: matita_0.99.1-3.dsc matita_0.99.1-3.debian.tar.gz matita_0.99.1-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-main

Bug#731822: cameleon: FTBFS with ocaml 4.01.0

2013-12-10 Thread Stéphane Glondu
Source: cameleon Version: 1.9.21-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, cameleon FTBFS when binNMUed against ocaml 4.01.0. >From the amd64 build log: > ### checking required tools and libraries ### > checking for Xml-light (byte) with ocamlfind... yes > checking f

Processed: cameleon: FTBFS with ocaml 4.01.0

2013-12-10 Thread Debian Bug Tracking System
Processing control commands: > block 718767 with -1 Bug #718767 [release.debian.org] transition: ocaml 4.01.0 718767 was blocked by: 731400 730196 731587 726010 731817 731702 731701 731704 731277 731404 731344 731685 731218 731401 731399 731584 731529 731637 731636 731703 731528 731398 731405 73