Package: eprover
Architecture: amd64
Version: 3.2.5+ds-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9375
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.2.5+ds-1_amd64.deb
Size: 1152034
MD5sum: 6587079d764913466baa3b8069bdeb42
SHA1: 1b56babb95ac587d87802f855655e94d732e032a
SHA256: d5eabfff996a5cd992c99fadb8258740a7a80cd32c7af45b0b228bb22ce62ee7
SHA512: 438fb5b26b9f5835bd566a3dfa230ab7381b1d5641184ae60e8e1c87bc9f4ab0d9b81c927240009914e60d41b6b884375567d688729b6976c15697e650ac0bed
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7