Please merge ladr 200811a-1 (universe) from Debian (unstable)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ladr (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
ladr (0.0.200811a-
* Merge from debian unstable, remaining changes:
- Drop -shared from the libtool command to make libladr.la in
debian/
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.
-- Stefan Lesicnik <email address hidden> Wed, 18 Feb 2009 21:23:27 +0200
ladr (0.0.200811a-1) unstable; urgency=low
* New upstream release.
* debian/
* debian/
* debian/
* debian/control: updated for new prover9-doc
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/
debian/
debian/
debian/
debian/
maintainer email address (again)
* debian/
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 <email address hidden> Tue, 17 Feb 2009 01:48:06 +0000
ladr (0.0.200809a-
* Drop -shared from the libtool command to make libladr.la in
debian/
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.
-- James Westby <email address hidden> Fri, 28 Nov 2008 20:21:14 +0000
Merge still needed. Fails to build without it and builds with it.