Your message dated Tue, 10 Dec 2013 21:21:58 +0000 with message-id <e1vqukg-0008jb...@franck.debian.org> 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 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 ow...@bugs.debian.org immediately.) -- 731702: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731702 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: matita Version: 0.99.1-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, opam FTBFS when binNMUed against ocaml 4.01.0. From the armhf build log: > --with-dbhost=FAKE_HOST > checking for ocamlc... yes > checking for ocamlopt... yes > checking for ocamlfind... yes > checking for lablgladecc2... yes > checking for camlp5o... yes > creating METAs ... done > checking for expat ocaml library... yes > checking for gdome2 ocaml library... yes > checking for http ocaml library... yes > checking for lablgtk2 ocaml library... yes > configure: error: could not find lablgtksourceview2.gtksourceview2 ocaml > library > make[1]: *** [override_dh_auto_configure] Error 2 > checking for lablgtksourceview2.gtksourceview2 ocaml library... make[1]: > Leaving directory `/«PKGBUILDDIR»' > make: *** [build-arch] Error 2 Full build logs available via: https://buildd.debian.org/status/package.php?p=matita&suite=sid Cheers, -- Stéphane
--- End Message ---
--- Begin Message ---Source: matita Source-Version: 0.99.1-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. 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 731...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Enrico Tassi <gareuselesi...@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 ftpmas...@ftp-master.debian.org) -----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 <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: matita - interactive theorem prover Closes: 731702 Changes: matita (0.99.1-3) unstable; urgency=medium . * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview (Closes: #731702) * New patch to help the type checker in nCicUntrusted.set_kind Checksums-Sha1: aef30cabc024958778def488bb4cf47ba188ca99 1542 matita_0.99.1-3.dsc 78129835980f973d80787abb9cadccd742fe5161 4848 matita_0.99.1-3.debian.tar.gz fed2c3d86aadaa581d2806ae95537a7ea37f0dba 2674968 matita_0.99.1-3_amd64.deb Checksums-Sha256: 78eabbe5f63e98f90797cf7039a24e5c1fe30921587c52302ce4045f8d782529 1542 matita_0.99.1-3.dsc 55f9a083ac801e40f952195b29005967e0e8f5f0f34b6854e989d979f3dd9c74 4848 matita_0.99.1-3.debian.tar.gz e2fb7be97bdec501be143b91146b873a04c70330d2299097c2e6410b46538b58 2674968 matita_0.99.1-3_amd64.deb Files: bc15703f51f9c12390435f2aeb0f8714 1542 math optional matita_0.99.1-3.dsc 2c9f820e35b6649009782f50b9186f46 4848 math optional matita_0.99.1-3.debian.tar.gz 9c93d59cb3d8ae85018a151f304107df 2674968 math optional matita_0.99.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlKnfDAACgkQ7kkcPgEj8vL6PgCdFoMmJJ4RhNpJ7Uw9gRlbrYf6 8C4AoIqibH0ttWTv8w9HrCUCy/I79vKl =qfy4 -----END PGP SIGNATURE-----
--- End Message ---
