Package: libladr4
Priority: optional
Section: universe/libs
Installed-Size: 523
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: i386
Source: ladr
Version: 0.0.200911a-2
Depends: libc6 (>= 2.11)
Pre-Depends: multiarch-support
Filename: pool/universe/l/ladr/libladr4_0.0.200911a-2_i386.deb
Size: 201982
MD5sum: 68e0dffcec81702574ffe3a596805664
SHA1: 0dbf0cefb6d65098a02c7c6bdb9d544d5d1794b7
SHA256: 6e83e40de060c6533dfa1ad4a0b97bf2a33d9671262dc4b9b86895ddf4a608f8
Description: the LADR deduction library
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description-md5: db21ac657e20aab0a1bdc5cbf768a123
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu