[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#532289: marked as done (matita fails to build in a non-networking environment.)

Your message dated Tue, 01 Dec 2009 23:47:14 +0000
with message-id <E1NFcR8-00019O-MG@ries.debian.org>
and subject line Bug#532289: fixed in matita 0.5.8-1
has caused the Debian Bug report #532289,
regarding matita fails to build in a non-networking environment.
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.)


-- 
532289: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=532289
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: matita
version: 0.5.7-2
severity: wishlist

Matita fails to build in a non-networking environment, cause it attempts to 
download an .xsl file in order to generate documentation.
( reasons for failing only in i386 arch, in fact...) 

I tried to build matita in my launchpad PPA, and it gives this log:	
http://launchpadlibrarian.net/27574114/buildlog_ubuntu-karmic-
i386.matita_0.5.7-2~ppa1_FAILEDTOBUILD.txt.gz


The related file is matita/help/C/xsl/matita-xhtml.xsl, in particular this 
line:
  5   <xsl:import 
href="http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl"/>

Thanks.
-- 
-gaspa-
-----------------------------------------------
-------- https://launchpad.net/~gaspa ---------
------ HomePage: iogaspa.altervista.org -------
-Il lunedi'dell'arrampicatore: www.lunedi.org -

--- End Message ---
--- Begin Message --- 
Source: matita
Source-Version: 0.5.8-1

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-1_all.deb
  to main/m/matita/matita-doc_0.5.8-1_all.deb
matita_0.5.8-1.diff.gz
  to main/m/matita/matita_0.5.8-1.diff.gz
matita_0.5.8-1.dsc
  to main/m/matita/matita_0.5.8-1.dsc
matita_0.5.8-1_amd64.deb
  to main/m/matita/matita_0.5.8-1_amd64.deb
matita_0.5.8.orig.tar.gz
  to main/m/matita/matita_0.5.8.orig.tar.gz



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 532289@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@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 02 Dec 2009 00:10:57 +0100
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Closes: 532289
Changes: 
 matita (0.5.8-1) unstable; urgency=low
 .
   * New upstream release supporting lablgtksourceview2
   * Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289)
   * Removed debian/patches/lablgtk2.14.dpatch, added upstream
   * Added README.source
   * build-depend on lablgtksourceview2
   * build-depend on debhelper >= 5
   * Standards-version set to 3.8.3
Checksums-Sha1: 
 59e004e5b76137ef9d9c393994acb272d114b075 1721 matita_0.5.8-1.dsc
 be0a4ed35dbcd021abedb8b41a936d632131d4a8 5879034 matita_0.5.8.orig.tar.gz
 fc9ed53b1ab6686f1f664e9acf652e9108b6900a 5198 matita_0.5.8-1.diff.gz
 a1b5836edfac918503779bc797101f5d2f4eaeb7 1674700 matita-doc_0.5.8-1_all.deb
 2d3e6645a7f2cfe01bf2e6b48f20533ba646e1f4 7282754 matita_0.5.8-1_amd64.deb
Checksums-Sha256: 
 5a6f162e54a74a766d95291fa371774b30a3c67033a6ecf7d09fea6b6d84accb 1721 matita_0.5.8-1.dsc
 bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz
 7c3e1bad406b94dd57fc5b2a126cfd2669917a97ab9f610f0fdbab027f3cd98a 5198 matita_0.5.8-1.diff.gz
 296efefafb84f5492c070529a8418de6c3074de9cf8014345ed8d31b909e37ba 1674700 matita-doc_0.5.8-1_all.deb
 2abbc55f7babba67ce96eac862e4c05c8e47f827c2709abd16ee69092f9c1982 7282754 matita_0.5.8-1_amd64.deb
Files: 
 ef3b33ace45cd5da3b743ec0706d92d4 1721 math optional matita_0.5.8-1.dsc
 ef3faccd0d6a399abcdd01f20a278353 5879034 math optional matita_0.5.8.orig.tar.gz
 7addeb2ec1680b65835520e8af12b7f1 5198 math optional matita_0.5.8-1.diff.gz
 83b22e304e9869d435165270f5b0c5b7 1674700 doc optional matita-doc_0.5.8-1_all.deb
 7d9d028e9706cffb5ae97a53e9353b84 7282754 math optional matita_0.5.8-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAksVqKAACgkQ7kkcPgEj8vKwXQCggBqmNhkJ550f/nnBAImGNCch
5i0An0K0V1Lc3Qe9yW/TMrv66rf6eo8p
=fT1s
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: