Debian
ladr package

ladr 0.0.200811a-1 source package in Debian

Changelog

ladr (0.0.200811a-1) unstable; urgency=low


  * 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

 -- Peter Collingbourne <email address hidden>  Tue, 17 Feb 2009 01:48:06 +0000

Upload details

Uploaded by:
Peter Collingbourne
Uploaded to:
Sid
Original maintainer:
Peter Collingbourne
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
ladr_0.0.200811a-1.dsc 1.1 KiB e0e86e1c068418b3b1606dfd1f4ec1fac17bb00507b1d1af108804d70c2a9410
ladr_0.0.200811a.orig.tar.gz 1.7 MiB 9c2a3b60d37c29dad924c24ab23d9220c6028234a3a91e1370c0464b691bd745
ladr_0.0.200811a-1.diff.gz 16.4 KiB 19a462cf46f209908e395111f52c2cc53fc64b540a87cf6213b3a288d6e0c4b2

No changes file available.

Binary packages built by this source