Package: eprover
Priority: optional
Section: universe/math
Installed-Size: 5201
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.5.1+ds-1
Depends: libc6 (>= 2.34), picosat (>= 959)
Filename: pool/universe/e/eprover/eprover_3.5.1+ds-1_amd64.deb
Size: 947002
SHA512: 46647b8beb8bbb43eb14e80fa88b5520d2098a99c788b99dbde01847378d34b594862eb8a49c9a223cbfdf7182bb0c2d23d21b6b5594624c61654d155068190d
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