-
Committer:
Bazaar Package Importer
-
Author(s):
Peter Collingbourne
-
Date:
2009-02-17 01:48:06 UTC
-
mfrom:
(1.1.4 upstream)
-
Revision ID:
james.westby@ubuntu.com-20090217014806-jpcuem9obuoobz1k
Tags: 0.0.200811a-1
* New upstream release.
* debian/interpformat.1: documented option "wrap"
* debian/patches/01-libtoolise.dpatch: updated from common
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address (again)
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
rewriter2
* debian/control: do not duplicate "Section" field for binary packages
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly