[ubuntu/karmic] matita 0.5.7-2ubuntu1 (Accepted)
Andrea Gasparini
gaspa at yattaweb.it
Wed Jun 10 15:25:19 BST 2009
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-----
More information about the Karmic-changes
mailing list