freebsd-ports/lang/polyml/distinfo

mirror of https://git.FreeBSD.org/ports.git synced 2024-12-13 03:03:15 +00:00
SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac
SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319
- Update to 5.4.1 - While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) 2012-05-21 01:53:23 +00:00			`SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac`
			`SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319`