Package: drat-trim-examples
Source: drat-trim
Priority: optional
Section: universe/science
Installed-Size: 7196
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.0~git20240428.effa1dc-2build1
Recommends: drat-trim
Suggests: bzip2
Filename: pool/universe/d/drat-trim/drat-trim-examples_0.0~git20240428.effa1dc-2build1_all.deb
Size: 7239108
MD5sum: 5195f33740c383dbebd3facfa0a0bbba
SHA1: 87b1d0e4dc7de6cc50e89dc4934f349236e66fc6
SHA256: 39c0bc381a94d4119d965ac0035fff8aff1f731ce9028210fa76bf58c03625fd
SHA512: 0a6d047698dc023f75c487c08022a21bb73a73bc41d779d4c935ead58a9d5b58a034fb1798dd25e4d1a04a0c359bcc482f9d802754f07981c0ffed1f9e097a06
Homepage: https://www.cs.utexas.edu/~marijn/drat-trim/
Description: DART-trim satisfiability proof checker (example files)
Description-md5: 014e5d7f0efb622d4f0b21f560437a71
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug