diff options
Diffstat (limited to 'devel/frama-c/Makefile')
-rw-r--r-- | devel/frama-c/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index 850b6a19a39b..d8f7fdecf939 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -4,6 +4,7 @@ PORTNAME= frama-c DISTVERSIONPREFIX= Sodium- DISTVERSION= 20150201 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= http://frama-c.com/download/ |