mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-20 04:02:27 +00:00
91d97411ae
PR: 211903 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150
4 lines
182 B
Plaintext
4 lines
182 B
Plaintext
TIMESTAMP = 1508690062
|
|
SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2
|
|
SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451
|