Bug#612891: FTBFS with camlp5 6.02.1

[Stéphane Glondu <glondu@debian.org>]

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