Package: eprover
Priority: optional
Section: universe/math
Installed-Size: 9383
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.2.5+ds-1build1
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.2.5+ds-1build1_amd64.deb
Size: 1153084
MD5sum: 5b41f0b39dc17fde8175c825e47e7749
SHA1: 7d48f144698dabe53366d083c7bd9b85664a1333
SHA256: d86e04bc7b90722beaa3ba2760f1a2fc7a60f508162b5321b22d6f276dd1a48f
SHA512: 6d2736dc74b27cedc8144d55c8af44c89f30650826234fda362009f50e17f2902e2bddf9fc940603fd8ea327f35d075f93826e1f81b2a2ee7ae1964c0e6926dd
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug