git: 03783972b57a - main - math/eprover: Add PORTSCOUT line

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 24 Jul 2023 09:02:28 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=03783972b57ad13db9ba7be6d3c51e649474ea1c

commit 03783972b57ad13db9ba7be6d3c51e649474ea1c
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-07-24 08:59:31 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-07-24 08:59:31 +0000

    math/eprover: Add PORTSCOUT line
---
 math/eprover/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/eprover/Makefile b/math/eprover/Makefile
index aa472ab3b7ef..d9be294abe9b 100644
--- a/math/eprover/Makefile
+++ b/math/eprover/Makefile
@@ -34,6 +34,8 @@ ALL_TARGET=	all man
 BINARY_ALIAS=	make=${GMAKE} \
 		gcc=${CC}
 
+PORTSCOUT=	limit:^.*[0-9]\.[0-9].* # prevent versions like git-export-2012-06-29
+
 post-install:
 	# strip binaries
 .for f in checkproof e_axfilter e_deduction_server e_ltb_runner e_stratpar eground \