diff options
Diffstat (limited to 'devel/verifast/Makefile')
-rw-r--r-- | devel/verifast/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/verifast/Makefile b/devel/verifast/Makefile index 399084a2e5a..b7d62f5577d 100644 --- a/devel/verifast/Makefile +++ b/devel/verifast/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.23 2018/11/29 11:21:50 prlw1 Exp $ +# $NetBSD: Makefile,v 1.24 2018/12/09 18:52:26 adam Exp $ DISTNAME= verifast-18.02 -PKGREVISION= 11 +PKGREVISION= 12 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_GITHUB:=verifast/} GITHUB_PROJECT= verifast |