diff options
Diffstat (limited to 'math/vampire/Makefile')
-rw-r--r-- | math/vampire/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/vampire/Makefile b/math/vampire/Makefile index 0e148e9c4baf..bd6a6f5b6a6e 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,6 +1,7 @@ PORTNAME= vampire DISTVERSIONPREFIX= v DISTVERSION= 4.9casc2024 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org |