lp:ubuntu/karmic/ladr

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

9. 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.

8. By Stefan Lesicnik on 2009-04-29

* Merge from debian unstable, remaining changes: (LP: #369468)
  - 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 Stefan Lesicnik on 2009-02-18

* Merge from debian unstable, remaining changes: (LP: #331176)
  - 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.

6. By James Westby on 2008-11-28

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.

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