diff options
Diffstat (limited to 'devel/arachne-pnr/Makefile')
| -rw-r--r-- | devel/arachne-pnr/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/arachne-pnr/Makefile b/devel/arachne-pnr/Makefile index a0b422c723f9..5dd5fa2c4472 100644 --- a/devel/arachne-pnr/Makefile +++ b/devel/arachne-pnr/Makefile @@ -3,6 +3,7 @@ PORTNAME= arachne-pnr PORTVERSION= g20181021 +PORTREVISION= 1 CATEGORIES= devel MAINTAINER= jsorocil@gmail.com |