Package: libladr4
Priority: optional
Section: universe/libs
Installed-Size: 575
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.1
Depends: libc6 (>= 2.11)
Pre-Depends: multiarch-support
Filename: pool/universe/l/ladr/libladr4_0.0.200911a-2.1_i386.deb
Size: 186424
MD5sum: c3cd77906bb1c4bf7dca0fdd91e4e7db
SHA1: 44153f7d24b5aaf4759709dbb054867d1def217c
SHA256: 1efb0bf125704bee52c01d7ec0d852d1936401ba0e51a83387a647e6c19d6a78
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