[ubuntu/karmic] matita 0.5.7-2ubuntu1 (Accepted)

[Andrea Gasparini]

matita (0.5.7-2ubuntu1) karmic; urgency=low

  *  Fix FTBFS: (LP: #384758)
    - debian/patches/nonet.dpatch: use --nonet calling xsltproc to generate
      docs
    - debian/control: added build-dependency to docbook-{xsl,xml} packages

Date: Sat, 06 Jun 2009 09:55:37 +0200
Changed-By: Andrea Gasparini <gaspa at yattaweb.it>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Signed-By: Morten Kjeldgaard <mok at bioxray.au.dk>
https://launchpad.net/ubuntu/karmic/+source/matita/0.5.7-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 06 Jun 2009 09:55:37 +0200
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: source
Version: 0.5.7-2ubuntu1
Distribution: karmic
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Andrea Gasparini <gaspa at yattaweb.it>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
 matita-standard-library - standard library for the Matita interactive theorem prover
Launchpad-Bugs-Fixed: 384758
Changes: 
 matita (0.5.7-2ubuntu1) karmic; urgency=low
 .
   *  Fix FTBFS: (LP: #384758)
     - debian/patches/nonet.dpatch: use --nonet calling xsltproc to generate
       docs
     - debian/control: added build-dependency to docbook-{xsl,xml} packages
Checksums-Sha1: 
 d9d3076810a4018cc97c50a1f9e4d08a70277d8e 1832 matita_0.5.7-2ubuntu1.dsc
 8be2126782b8f4e62f70a68c1894f6e1a3435548 5553 matita_0.5.7-2ubuntu1.diff.gz
Checksums-Sha256: 
 74f0ee0cd4eda78350d43253fa6047a36a6a8fcbea620273ef6c6bae642ba281 1832 matita_0.5.7-2ubuntu1.dsc
 62062d31d03b8791b3890a3d7ecaf3b861d89a1173134530c4eb7b795ae25561 5553 matita_0.5.7-2ubuntu1.diff.gz
Files: 
 421d8acc47aa93e2cbabc898b9551baf 1832 math optional matita_0.5.7-2ubuntu1.dsc
 d9a42ee7619f34c9ce59f2a734bbaf11 5553 math optional matita_0.5.7-2ubuntu1.diff.gz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iD8DBQFKL7x8B4zzG0BIJecRAr5fAJ90Y/ZcDqtA+qNanJX9MBaVVbYIXgCcCuyd
Qe5IiQfTyLY9MffttKYlEQQ=
=jtZb
-----END PGP SIGNATURE-----