mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
2884d5aa32
It already sets DISTNAME to a very nice unique name, do not set it yourself. Sponsored by: Absolight
4 lines
190 B
Plaintext
4 lines
190 B
Plaintext
TIMESTAMP = 1480154465
|
|
SHA256 (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615
|
|
SIZE (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 6066166
|