freebsd-ports/lang/polyml/distinfo

SHA256 (polyml/polyml.5.5.tar.gz) = 2b20e597e6fe43df1b0ed01e78e410c6b51d0ac7911833e91d94fcc9eb05d831
SIZE (polyml/polyml.5.5.tar.gz) = 5504389
- Update to 5.5 PR: ports/176627 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) 2013-03-04 20:21:31 +01:00			`SHA256 (polyml/polyml.5.5.tar.gz) = 2b20e597e6fe43df1b0ed01e78e410c6b51d0ac7911833e91d94fcc9eb05d831`
			`SIZE (polyml/polyml.5.5.tar.gz) = 5504389`