#
# $FreeBSD: ports/lang/polyml/Makefile,v 1.14 2010/10/19 21:51:58 pav Exp $
PORTNAME= polyml
PORTVERSION= 5.4
PORTVERSION= 5.4.1
CATEGORIES= lang
MASTER_SITES= SF
DISTNAME= ${PORTNAME}.${PORTVERSION}
DIST_SUBDIR= ${PORTNAME}
SHA256 (polyml/polyml.5.4.tar.gz) = 64b4e23fc2e5bab00899027d805d311025dfb192f55089729b0d18313fa96bfa
SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac
SIZE (polyml/polyml.5.4.tar.gz) = 6107333
SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319