summaryrefslogtreecommitdiff
path: root/lang/polyml
diff options
context:
space:
mode:
authorbsiegert <bsiegert@pkgsrc.org>2020-03-08 16:42:24 +0000
committerbsiegert <bsiegert@pkgsrc.org>2020-03-08 16:42:24 +0000
commit1cd44ea113819c34e5926b7edfdda2694138a79c (patch)
treeeab261e3fd077862411d0eee8cc2c122a2cbf21f /lang/polyml
parent792fb97a5e744a3b670d30074b192b6e03770fb3 (diff)
downloadpkgsrc-1cd44ea113819c34e5926b7edfdda2694138a79c.tar.gz
Revbump packages depending on libffi after .so version change.
Requested by Matthias Ferdinand and Oskar on pkgsrc-users.
Diffstat (limited to 'lang/polyml')
-rw-r--r--lang/polyml/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index f00c1f94964..860cb319a89 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.22 2020/01/26 17:31:31 rillig Exp $
+# $NetBSD: Makefile,v 1.23 2020/03/08 16:42:28 bsiegert Exp $
DISTNAME= polyml-5.7.1
+PKGREVISION= 1
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_GITHUB:=polyml/}
GITHUB_PROJECT= polyml