Package: eprover
Architecture: amd64
Version: 3.0.03+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: 11395
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.0.03+ds-1_amd64.deb
Size: 1624748
MD5sum: ee82dcf31bbbb2d95981588626593676
SHA1: 1c14970c48afa24021c9069a4c5992547c09427b
SHA256: e4bcc9b2864a0f055a62f267615e8745e8dd0f100ec960125a9cc436c141914f
SHA512: de384853aa1120c140ef77d7a77b18c53ce65f8b1215835c10bade17e28eeea60c3824869d676538cfa3fdb1bce727bbfaf664f95494045d390f7ace32cd6366
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7