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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
