freebsd-ports/lang/polyml/distinfo

mirror of https://git.FreeBSD.org/ports.git synced 2025-01-27 10:03:20 +00:00
SHA256 (polyml/polyml.5.5.2.tar.gz) = 73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682
SIZE (polyml/polyml.5.5.2.tar.gz) = 5599140
lang/polyml: Upgrade version 5.5 => 5.5.2 Also: * add support for system libffi * Use sed instead of patch to fix configure * Adopt modern port conventions PR: 191914 Submitted by: maintainer (Timothy Beyer) 2014-07-27 07:59:57 +00:00			`SHA256 (polyml/polyml.5.5.2.tar.gz) = 73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682`
			`SIZE (polyml/polyml.5.5.2.tar.gz) = 5599140`