Bug#731702: marked as done (matita: FTBFS with ocaml 4.01.0)
Your message dated Tue, 10 Dec 2013 21:21:58 +0000
with message-id <E1VqUkg-0008Jb-OL@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 owner@bugs.debian.org
immediately.)
--
731702: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731702
Debian Bug Tracking System
Contact owner@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 731702@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@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@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-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@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 ---
Reply to: