Format: 3.0 (quilt)
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200911a-3
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 7.0.50~), libtool, libtool-bin
Package-List:
 ladr4-apps deb math optional arch=any
 libladr-dev deb libdevel optional arch=any
 libladr4 deb libs optional arch=any
 prover9 deb math optional arch=any
