~ubuntu-branches/ubuntu/maverick/ladr/maverick : changes

~ubuntu-branches/ubuntu/maverick/ladr/maverick » Changes from revision 9

From Revision 9

Rev	Summary	Authors	Tags	Date
9	* Merged from Ubuntu, fixes FTBFS (closes: #526541) * 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.	Peter Collingbourne	0.0.200902a-2	15 years ago
8	* Merge from debian unstable, remaining changes: (LP: #36946... * 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.	Stefan Lesicnik	0.0.200902a-1ubuntu1	15 years ago
7	* Merge from debian unstable, remaining changes: (LP: #33117... * 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.	Stefan Lesicnik	0.0.200811a-1ubuntu1	15 years ago
6	Drop -shared from the libtool command to make libladr.la in 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.	James Westby	0.0.200809a-1ubuntu1	15 years ago
5	* New upstream release. * 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	* New upstream release. * 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	Peter Collingbourne	0.0.200806a-1	15 years ago
3	* New upstream release. * 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	Peter Collingbourne	0.0.200805a-1	16 years ago
2	* New upstream release. * 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	Peter Collingbourne	0.0.200804a-1	16 years ago
1	Import upstream version 0.0.200804a Import upstream version 0.0.200804a	Peter Collingbourne	upstream-0.0.200804a	16 years ago