10
|
|
|
Frank Lichtenheld |
0.0.200911a-2 |
11 years ago
|
|
|
9
|
|
|
Hideki Yamane |
0.0.200902a-2.1 |
12 years ago
|
|
|
8
|
|
|
Peter Collingbourne |
0.0.200902a-2 |
15 years ago
|
|
|
7
|
|
|
Peter Collingbourne |
0.0.200902a-1 |
15 years ago
|
|
|
6
|
|
* 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
|
Peter Collingbourne |
0.0.200811a-1 |
15 years ago
|
|
|
5
|
|
* New upstream release. * debian/patches/01-libtoolise.dpatch: new programmatic patch script, original version by Heinz Wiesinger <pprkut@liwjatan.at> * debian/control: updated for new prover9-doc * debian/libladr4.symbols: updated * 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
|
Peter Collingbourne |
0.0.200809a-1 |
15 years ago
|
|
|
4
|
|
|
Peter Collingbourne |
0.0.200806a-1 |
15 years ago
|
|
|
3
|
|
|
Peter Collingbourne |
0.0.200805a-1 |
16 years ago
|
|
|
2
|
|
|
Peter Collingbourne |
0.0.200804a-1 |
16 years ago
|
|
|
1
|
|
|
Peter Collingbourne |
upstream-0.0.200804a |
16 years ago
|
|
|