Package: eprover
Architecture: amd64
Version: 3.2.0+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: 9223
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.2.0+ds-1_amd64.deb
Size: 1136598
MD5sum: 523a5507b4f6831901349c437d677976
SHA1: f7212384ff05d030122795666132f969c08df1ef
SHA256: b2ee48fba88bea59d6b0dd210496bd5f6d698198db3b07cf75b536cfd878885b
SHA512: a825c19b96cf7ce2ce860cfb3b02a60668513013946d13723cb01cc6f0281bb9a8e75c12f0b85f4d771a30164ac05434701ee856c517004d7f9004ee0d1e6ae0
Homepage: https://eprover.org
Description: Equational theorem prover
Description-md5: 0e7c1235cc3655c49ff9e11c3f5cd2b7