mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-28 05:29:48 +00:00
Code Issues Releases Activity
28446dcf1c
freebsd-ports/math/eprover/distinfo
Yuri Victorovich 91d97411ae 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 21:59:32 +00:00

4 lines
182 B
Plaintext
Raw Blame History

TIMESTAMP = 1508690062
SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2
SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451
Reference in New Issue View Git Blame Copy Permalink