diff options
Diffstat (limited to 'devel/frama-c/Makefile')
-rw-r--r-- | devel/frama-c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index 504a8c49337..73ccabf4a9e 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.71 2017/11/23 17:19:50 wiz Exp $ +# $NetBSD: Makefile,v 1.72 2017/11/30 16:45:20 adam Exp $ # DISTNAME= frama-c-Phosphorus-20170501 PKGNAME= ${DISTNAME:S/-Phosphorus//} -PKGREVISION= 3 +PKGREVISION= 4 CATEGORIES= devel MASTER_SITES= https://frama-c.com/download/ |