Bug#612891: marked as done (FTBFS with camlp5 6.02.1)
Your message dated Tue, 31 May 2011 09:32:50 +0000
with message-id <E1QRLJi-0002wV-46@franck.debian.org>
and subject line Bug#612891: fixed in matita 0.5.8-3
has caused the Debian Bug report #612891,
regarding FTBFS with camlp5 6.02.1
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
612891: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612891
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: FTBFS with camlp5 6.02.1
- From: Stéphane Glondu <glondu@debian.org>
- Date: Fri, 11 Feb 2011 12:26:20 +0100
- Message-id: <20110211112620.1628.9587.reportbug@aspirine.inria.fr>
Package: matita
Version: 0.5.8-2+b1
Severity: serious
Tags: upstream
Hello,
Matita currently fails to build from source with camlp5 6.02.1 [1]. It
seems to be the only blocker to a transition to camlp5
6.02.1. Upstream is currently working on a new release but cannot give
a timeframe on when it will be fixed. I suggest to have it removed
from testing meanwhile. I submit this bug to keep matita out of
testing.
[1] http://ocaml.debian.net/debian/ocaml-3.12.0/failures/matita_0.5.8-2_amd64.build
Cheers,
--
Stéphane
-- System Information:
Debian Release: 6.0
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages matita depends on:
ii libatk1.0-0 1.30.0-1 The ATK accessibility toolkit
ii libc6 2.11.2-11 Embedded GNU C Library: Shared lib
ii libcairo2 1.8.10-6 The Cairo 2D vector graphics libra
ii libexpat1 2.0.1-7 XML parsing C library - runtime li
ii libfontconfig1 2.8.0-2.1 generic font configuration library
ii libfreetype6 2.4.2-2.1 FreeType 2 font engine, shared lib
ii libgdome2-0 0.8.1+debian-4 DOM level2 library for accessing X
ii libgdome2-cpp-smart0c2 0.2.6-5+3.12.0+1 C++ bindings for GDome2 DOM implem
ii libglade2-0 1:2.6.4-1 library to load .glade files at ru
ii libglib2.0-0 2.24.2-1 The GLib library of C routines
ii libgtk2.0-0 2.20.1-2 The GTK+ graphical user interface
ii libgtkmathview0c2a 0.8.0-5 rendering engine for MathML docume
ii libgtksourceview2.0-0 2.10.4-1 shared libraries for the GTK+ synt
ii libmysqlclient16 5.1.49-3 MySQL database client library
ii libpango1.0-0 1.28.3-1+squeeze1 Layout and rendering of internatio
ii libpcre3 8.02-1.1 Perl 5 Compatible Regular Expressi
ii libsqlite3-0 3.7.4-2 SQLite 3 shared library
ii libt1-5 5.1.2-3 Type 1 font rasterizer library - r
ii libxml2 2.7.8.dfsg-2 GNOME XML library
ii zlib1g 1:1.2.3.4.dfsg-3 compression library - runtime
Versions of packages matita recommends:
ii graphviz 2.26.3-5 rich set of graph drawing tools
ii yelp 2.30.1+webkit-1 Help browser for GNOME
Versions of packages matita suggests:
pn matita-doc <none> (no description available)
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: matita
Source-Version: 0.5.8-3
We believe that the bug you reported is fixed in the latest version of
matita, which is due to be installed in the Debian FTP archive:
matita-doc_0.5.8-3_all.deb
to main/m/matita/matita-doc_0.5.8-3_all.deb
matita_0.5.8-3.debian.tar.gz
to main/m/matita/matita_0.5.8-3.debian.tar.gz
matita_0.5.8-3.dsc
to main/m/matita/matita_0.5.8-3.dsc
matita_0.5.8-3_amd64.deb
to main/m/matita/matita_0.5.8-3_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 612891@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated matita package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 31 May 2011 11:17:47 +0200
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
matita - interactive theorem prover
matita-doc - user manual of the Matita interactive theorem prover
Closes: 612891
Changes:
matita (0.5.8-3) unstable; urgency=low
.
[ Stéphane Glondu ]
* Team upload
* Switch packaging to git
* Switch source package format to 3.0 (quilt)
* Remove Stefano from Uploaders
.
[ Colin Watson ]
* Apply r11210 from upstream SVN to account for changes in the
signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)
Checksums-Sha1:
1abba37c1aab407cc8b3e7c9555591deaf294e7c 2322 matita_0.5.8-3.dsc
c6983361b93d1f453526cf0e49bb273b96e1e3a2 6565 matita_0.5.8-3.debian.tar.gz
2f10de446be92a48d3ef77913e2f122c278e52b9 1238856 matita-doc_0.5.8-3_all.deb
c830b2029bdcf284d222f65ea33195612694c533 6870640 matita_0.5.8-3_amd64.deb
Checksums-Sha256:
408eeb12abfc55ed9a60b7a35b702ac35e345becfb6ecbc8b5ebd5acb5759180 2322 matita_0.5.8-3.dsc
c5bc4d8d3832f33dd57eebb8cf689b00c22b9eb8fa72a39b5951197eac7cce83 6565 matita_0.5.8-3.debian.tar.gz
7080d92d1eed1f39f2e88629d925d11b3e98e77d7e7cce5c2f885e44d257fcb9 1238856 matita-doc_0.5.8-3_all.deb
22903bf7a26636728fdcedb2ffc3c189c6c7d3f8eba6262cd606f3a61236f526 6870640 matita_0.5.8-3_amd64.deb
Files:
fbb8ee3deb76ff90f2bc919844d75f9c 2322 math optional matita_0.5.8-3.dsc
ede4dca78cfc37ae39e5ca2c31406270 6565 math optional matita_0.5.8-3.debian.tar.gz
eb283a630a7bd88d6b19551899161c28 1238856 doc optional matita-doc_0.5.8-3_all.deb
82bc01b67aaa4c27069999d500bd573e 6870640 math optional matita_0.5.8-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJN5LS1AAoJEHhT2k1JiBrTf98QALZ8o4PcEsIe2GrbHBSrDtjF
21p+LwkvHel+YRMaPqpcIL00VWYtWREQ7qAlL1XtB3Hmm5xalkcRtbYyy485DpHZ
3RWsqMXrL5DxPpcv+tkxoIgJujJhinlcCT0RLwzmFc5Z9HlWUzAal1ttnqfsLooh
ElqSvlcv1Y93r05CtNX9JUrXTFp6sNy8jy3+9hF1XB3QPI80U9EQPDLn6RAahkaB
9FtW3VJEffPaOLE56sCf8hDrRzRuUUijzSXq/UygrRD2eN43c3vmu4Pfaj9GIBkZ
d088to4+ixcYNRd4uFTI/KXvQ7tVvF44NZqDCWRxO972HoYO2XabzraEyT/RLPCP
tfkMgukLnSUkE9edtZzUc8nq6hE3o/GGsMYqJeKAxa0mrGYMfjVWfBdF/ddCcU3W
0ymHOJfjxEtysnv+j6DUf5icUrf7xR76HNuTYX1gi4Ou55VscxUkGKoOaA41VKa2
9U4Pn50xvrPsMRQtTnXQ13WKGExKf7gVa0+RwYY9++Hdg8k4e/jYwOhlZrNuoHR7
svE/ABxkL92Nma1r7jZYmqqqysslnK6/Vof/x1UO2WEQHXuQYz4B1SAKjOvHgc1L
m2+fkx69rt/vzYT4cRXehrpchUuo2JkMu9l5QaAiF/asXRTncqNqB/r++Nz9r63K
/YYWGaL6ElWgRBsJnWyH
=M4QH
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: