Index: head/math/vampire/Makefile
===================================================================
--- head/math/vampire/Makefile	(revision 542382)
+++ head/math/vampire/Makefile	(revision 542383)
@@ -1,31 +1,31 @@
 # $FreeBSD$
 
 PORTNAME=	vampire
-DISTVERSION=	4.4
+DISTVERSION=	4.5.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Automatic theorem prover
 
 LICENSE=	BSD2CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
 USES=		compiler:c++11-lang gmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	vprover
 
 ALL_TARGET=	vampire_rel # do we also need the z3 target?
 
 BINARY_ALIAS=	g++=${CXX}
 
 CXXFLAGS+=	-DCHECK_LEAKS=0
 MAKE_ARGS=	FREEBSD_VERSION_NUMBER="${PORTVERSION}"
 
 #MAKE_ARGS=	GNUMPF=1 # This causes compillation failure, additionally GitHub failed to create the issue for this project.
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/${ALL_TARGET}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>
Index: head/math/vampire/distinfo
===================================================================
--- head/math/vampire/distinfo	(revision 542382)
+++ head/math/vampire/distinfo	(revision 542383)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1567051355
-SHA256 (vprover-vampire-4.4_GH0.tar.gz) = 43f09743a3a505ec8d8ac6fb60420915d56c4164be3caab728d7856a4f2ace8d
-SIZE (vprover-vampire-4.4_GH0.tar.gz) = 1748193
+TIMESTAMP = 1594926953
+SHA256 (vprover-vampire-4.5.1_GH0.tar.gz) = f7bf491a2576a7fc6551eabf37763b2b6ffd36e87ad660ff191dcd88a8969ae7
+SIZE (vprover-vampire-4.5.1_GH0.tar.gz) = 1834216
Index: head/math/vampire/files/patch-Makefile
===================================================================
--- head/math/vampire/files/patch-Makefile	(revision 542382)
+++ head/math/vampire/files/patch-Makefile	(revision 542383)
@@ -1,27 +1,27 @@
---- Makefile.orig	2019-08-23 07:50:16 UTC
+--- Makefile.orig	2020-07-15 09:59:04 UTC
 +++ Makefile
-@@ -557,20 +557,17 @@ VERSION_NUMBER = 4.4.0
+@@ -572,20 +572,17 @@ VERSION_NUMBER = 4.5.1
  # The dependency on .git/HEAD tracks switching between branches,
  # the dependency on .git/index tracks new commits.
  
 -.git/HEAD:
 -.git/index:
 -
 -version.cpp: .git/HEAD .git/index Makefile
 +version.cpp: Makefile
  	@echo "//Automatically generated file, see Makefile for details" > $@
 -	@echo "const char* VERSION_STRING = \"Vampire $(VERSION_NUMBER) (commit $(shell git log -1 --format=%h\ on\ %ci || echo unknown))\";" >> $@
 +	@echo "const char* VERSION_STRING = \"Vampire $(FREEBSD_VERSION_NUMBER)\";" >> $@
  
  ################################################################
  # separate directory for object files implementation
  
  # different directory for each configuration, so there is no need for "make clean"
- SED_CMD='s/^[(]HEAD$$/detached/'      #
+ SED_CMD='s/.*[(].*/detached/' # if branch name contains an opening bracket, replace it with detached (in order to avoid a crash during linking). This covers at least the case '(HEAD' occuring if one is in detached state, and '(no' occuring if one currently performs a rebase.
 -BRANCH=$(shell git branch | grep "\*" | cut -d ' ' -f 2 | sed -e $(SED_CMD)  )
 -COM_CNT=$(shell git rev-list HEAD --count)
 +BRANCH="master"
 +COM_CNT="0"
  CONF_ID := obj/$(shell echo -n "$(BRANCH) $(XFLAGS)"|sum|cut -d ' ' -f1)X
  
  obj: