lp:ubuntu/saucy-proposed/ladr

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

10. By Frank Lichtenheld on 2013-05-25

* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

9. By Hideki Yamane on 2012-01-08

* Non-maintainer upload.
* debian/patches/01-libtoolise.dpatch
  - it drops -lm but it is needed for binutils-gold (Closes: #555074)

8. By Peter Collingbourne <email address hidden> on 2009-05-03

* Merged from Ubuntu, fixes FTBFS (closes: #526541)
  - Drop -shared from the libtool command to make libladr.la in
    debian/patches/01-libtoolise.dpatch so that both the shared and
    static libraries are built. The .install file tries to install both,
    and if -shared is passed the .a isn't built and the package fails
    to build. This appears to be a change in libtool behaviour.

7. By Peter Collingbourne <email address hidden> on 2009-03-14

* New upstream release.
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
  complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version

6. By Peter Collingbourne <email address hidden> on 2009-02-17

* 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

5. By Peter Collingbourne <email address hidden> on 2008-09-13

* New upstream release.
* debian/patches/01-libtoolise.dpatch: new programmatic patch script,
  original version by Heinz Wiesinger <email address hidden>
* 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

4. By Peter Collingbourne on 2008-06-29

* New upstream release.
* debian/patches/01-libtoolise.dpatch: new source file weight2.c
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version, updated for new prover9-doc
* debian/prooftrans.1: documented new tagged format

3. By Peter Collingbourne on 2008-05-12

* New upstream release.
* debian/libladr4.symbols: added new symbols
* debian/control
  - updated for new prover9-doc
  - added DM-Upload-Allowed: yes
* debian/copyright: give correct license information

2. By Peter Collingbourne on 2008-04-08

* New upstream release.
* debian/patches/01-libtoolise.dpatch: updated for new Makefiles
* debian/patches/02-shebangs.dpatch: deleted, applied upstream
* debian/ladr4-apps.install, debian/ladr4-apps.links, debian/ladr4-apps.docs:
  added new application directproof
* debian/watch: added support for new version numbering scheme
* debian/interpformat.1, debian/prover9.1: replaced hyphens with minus
  signs
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/copyright: give correct license information

1. By Peter Collingbourne on 2008-04-08

Import upstream version 0.0.200804a