git: 0e8f0ad0bfb0 - main - math/barvinok: Update 0.41.6 → 0.41.7

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=0e8f0ad0bfb0e9644ba986b0edc24497a8cba49b

commit 0e8f0ad0bfb0e9644ba986b0edc24497a8cba49b
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-06-05 19:36:33 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-06-05 20:24:11 +0000

    math/barvinok: Update 0.41.6 → 0.41.7
    
    Reported by:    portscout
---
 math/barvinok/Makefile  | 2 +-
 math/barvinok/distinfo  | 6 +++---
 math/barvinok/pkg-plist | 3 +--
 3 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/math/barvinok/Makefile b/math/barvinok/Makefile
index a87bfb8b1333..33181c3e7505 100644
--- a/math/barvinok/Makefile
+++ b/math/barvinok/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	barvinok
-DISTVERSION=	0.41.6
+DISTVERSION=	0.41.7
 CATEGORIES=	math
 MASTER_SITES=	https://barvinok.sourceforge.io/
 
diff --git a/math/barvinok/distinfo b/math/barvinok/distinfo
index 5e7bd7ee9035..afe8c8265352 100644
--- a/math/barvinok/distinfo
+++ b/math/barvinok/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1656884260
-SHA256 (barvinok-0.41.6.tar.gz) = 20a8840caedf55c501dcf0906275aff354897d6e60e4fae707efddb647a6ee52
-SIZE (barvinok-0.41.6.tar.gz) = 6344564
+TIMESTAMP = 1685989736
+SHA256 (barvinok-0.41.7.tar.gz) = 1d305e42487d3db8084a233035a1578be827a8d8d4a5a7506f6a6315b18273d1
+SIZE (barvinok-0.41.7.tar.gz) = 6436603
diff --git a/math/barvinok/pkg-plist b/math/barvinok/pkg-plist
index 127597e7939c..4710b60ba182 100644
--- a/math/barvinok/pkg-plist
+++ b/math/barvinok/pkg-plist
@@ -3,7 +3,6 @@ bin/barvinok_ehrhart
 bin/barvinok_enumerate
 bin/barvinok_enumerate_e
 bin/iscc
-bin/polytope_scan
 include/barvinok/NTL.h
 include/barvinok/NTL_QQ.h
 include/barvinok/barvinok.h
@@ -18,5 +17,5 @@ include/barvinok/set.h
 include/barvinok/util.h
 lib/libbarvinok.so
 lib/libbarvinok.so.23
-lib/libbarvinok.so.23.0.11
+lib/libbarvinok.so.23.0.12
 libdata/pkgconfig/barvinok.pc