1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-26 05:02:18 +00:00
freebsd-ports/lang/polyml/distinfo
Fernando Apesteguía 63285d2a16 lang/polyml: update to 5.7.1
Move some variables to its place.

PR:	229273
Reported by:	hannes@mehnert.org
Approved by:	tcberner (mentor) beyert@cs.ucr.edu (maintainer)
Differential Revision:	https://reviews.freebsd.org/D16022
2018-06-29 16:48:10 +00:00

4 lines
194 B
Plaintext

TIMESTAMP = 1529843828
SHA256 (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
SIZE (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = 7218131