freebsd-ports/math/eprover/distinfo

TIMESTAMP = 1508690062
SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2
SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451
New port: math/eprover : Theorem prover for full first-order logic with equality PR: 211903 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150 2017-11-19 22:59:32 +01:00			`TIMESTAMP = 1508690062`
			`SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2`
			`SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451`