: Code : ladr package : Ubuntu

Ubuntu
ladr package

Name	Status	Last Modified	Last Commit
lp:ubuntu/wily/ladr	1 Development	2015-05-06 20:22:00 UTC 2015-05-06	12. * Non-maintainer upload. * Build-depe... Author: Matthias Klose Revision Date: 2014-10-09 10:37:43 UTC * Non-maintainer upload. * Build-depend on libtool-bin. Closes: #761761.
lp:ubuntu/vivid-proposed/ladr	1 Development	2014-10-28 02:02:22 UTC 2014-10-28	12. * Non-maintainer upload. * Build-depe... Author: Matthias Klose Revision Date: 2014-10-09 10:37:43 UTC * Non-maintainer upload. * Build-depend on libtool-bin. Closes: #761761.
lp:ubuntu/vivid/ladr	2 Mature	2014-10-27 08:50:55 UTC 2014-10-27	12. * Non-maintainer upload. * Build-depe... Author: Matthias Klose Revision Date: 2014-10-09 10:37:43 UTC * Non-maintainer upload. * Build-depend on libtool-bin. Closes: #761761.
lp:ubuntu/utopic/ladr	2 Mature	2014-04-25 11:19:28 UTC 2014-04-25	11. * QA upload. * Upload to unstable. * ... Author: Frank Lichtenheld Revision Date: 2013-05-25 11:43:32 UTC * QA upload. * Upload to unstable. * Change maintainer to QA group.
lp:ubuntu/trusty/ladr	2 Mature	2013-10-18 23:35:26 UTC 2013-10-18	11. * QA upload. * Upload to unstable. * ... Author: Frank Lichtenheld Revision Date: 2013-05-25 11:43:32 UTC * QA upload. * Upload to unstable. * Change maintainer to QA group.
lp:ubuntu/saucy-proposed/ladr	1 Development	2013-05-25 17:40:41 UTC 2013-05-25	10. * QA upload. * Upload to unstable. * ... Author: Frank Lichtenheld Revision Date: 2013-05-25 11:43:32 UTC * QA upload. * Upload to unstable. * Change maintainer to QA group.
lp:ubuntu/saucy/ladr	2 Mature	2013-05-25 11:43:32 UTC 2013-05-25	11. * QA upload. * Upload to unstable. * ... Author: Frank Lichtenheld Revision Date: 2013-05-25 11:43:32 UTC * QA upload. * Upload to unstable. * Change maintainer to QA group.
lp:ubuntu/raring/ladr	2 Mature	2012-10-19 08:39:13 UTC 2012-10-19	10. * Non-maintainer upload. * debian/pat... Author: Hideki Yamane Revision Date: 2012-01-08 10:10:29 UTC * Non-maintainer upload. * debian/patches/01-libtoolise.dpatch - it drops -lm but it is needed for binutils-gold (Closes: #555074)
lp:ubuntu/quantal/ladr	2 Mature	2012-04-26 16:10:32 UTC 2012-04-26	10. * Non-maintainer upload. * debian/pat... Author: Hideki Yamane Revision Date: 2012-01-08 10:10:29 UTC * Non-maintainer upload. * debian/patches/01-libtoolise.dpatch - it drops -lm but it is needed for binutils-gold (Closes: #555074)
lp:ubuntu/precise/ladr	2 Mature	2011-10-13 15:25:25 UTC 2011-10-13	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.
lp:ubuntu/oneiric/ladr	2 Mature	2011-04-28 19:13:48 UTC 2011-04-28	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.
lp:ubuntu/natty/ladr	2 Mature	2010-10-13 09:16:35 UTC 2010-10-13	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.
lp:ubuntu/maverick/ladr	2 Mature	2010-04-30 17:42:48 UTC 2010-04-30	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.
lp:ubuntu/lucid/ladr	1 Development	2009-10-30 18:02:35 UTC 2009-10-30	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.
lp:ubuntu/jaunty/ladr	2 Mature	2009-07-31 17:22:50 UTC 2009-07-31	7. * Merge from debian unstable, remaini... Author: Stefan Lesicnik Revision Date: 2009-02-18 21:23:27 UTC * 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.
lp:ubuntu/intrepid/ladr	2 Mature	2009-07-31 17:22:37 UTC 2009-07-31	4. * New upstream release. * debian/patc... Author: Peter Collingbourne Revision Date: 2008-06-29 03:23:16 UTC * 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
lp:ubuntu/karmic/ladr	1 Development	2009-07-31 17:19:12 UTC 2009-07-31	9. * Merged from Ubuntu, fixes FTBFS (cl... Author: Peter Collingbourne Revision Date: 2009-05-03 18:07:07 UTC * 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.

Ubuntuladr package

Ubuntu
ladr package