diff options
Diffstat (limited to 'devel/coccinelle/Makefile')
| -rw-r--r-- | devel/coccinelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/coccinelle/Makefile b/devel/coccinelle/Makefile index d54b580997da..f013bc2be4fc 100644 --- a/devel/coccinelle/Makefile +++ b/devel/coccinelle/Makefile @@ -1,5 +1,6 @@ PORTNAME= coccinelle DISTVERSION= 1.3 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= https://coccinelle.gitlabpages.inria.fr/website/distrib/ DISTFILES= ${DISTNAME}${EXTRACT_SUFX} |