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
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
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
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
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
5 matches
Mail list logo