aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml
diff options
context:
space:
mode:
authorMathieu Arnold <mat@FreeBSD.org>2016-11-26 10:09:54 +0000
committerMathieu Arnold <mat@FreeBSD.org>2016-11-26 10:09:54 +0000
commit2884d5aa324104cd1062688918337d47d63f7720 (patch)
treed3fd4e56b2b1f46ef96ec6e3c791c9b221563e37 /lang/polyml
parent9195186fc66f76e774b5a519ec07d1775baf09ab (diff)
Notes
Diffstat (limited to 'lang/polyml')
-rw-r--r--lang/polyml/Makefile3
-rw-r--r--lang/polyml/distinfo5
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 620bf879fdae..350bf0bf5138 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -3,8 +3,8 @@
PORTNAME= polyml
PORTVERSION= 5.6
+DISTVERSIONPREFIX= v
CATEGORIES= lang
-DISTNAME= ${PORTNAME}.${PORTVERSION}
DIST_SUBDIR= ${PORTNAME}
MAINTAINER= beyert@cs.ucr.edu
@@ -17,7 +17,6 @@ LIB_DEPENDS= libffi.so:devel/libffi
ONLY_FOR_ARCHS= i386 amd64
USE_GITHUB= yes
-GH_TUPLE= polyml:polyml:v5.6
USES= libtool pathfix pkgconfig
GNU_CONFIGURE= yes
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo
index 9c10143c1c89..90b6980aa107 100644
--- a/lang/polyml/distinfo
+++ b/lang/polyml/distinfo
@@ -1,2 +1,3 @@
-SHA256 (polyml/polyml.5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615
-SIZE (polyml/polyml.5.6_GH0.tar.gz) = 6066166
+TIMESTAMP = 1480154465
+SHA256 (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615
+SIZE (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 6066166