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 56ce97161b5..1f3b9588a57 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.41 2013/10/09 17:39:07 wiz Exp $ +# $NetBSD: Makefile,v 1.42 2013/10/10 14:42:04 ryoon Exp $ # DISTNAME= frama-c-Oxygen-20120901 PKGNAME= ${DISTNAME:S/-Oxygen//} -PKGREVISION= 12 +PKGREVISION= 13 CATEGORIES= devel MASTER_SITES= http://frama-c.com/download/ |