git: 15bcda7d0c16 - main - math/boolector: update 3.2.3 → 3.2.4

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 25 Aug 2024 16:47:07 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=15bcda7d0c16cb63cc4d2014091cd944cf2097eb

commit 15bcda7d0c16cb63cc4d2014091cd944cf2097eb
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-08-25 15:50:50 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-08-25 16:47:01 +0000

    math/boolector: update 3.2.3 → 3.2.4
    
    Reported by:    portscout
---
 math/boolector/Makefile | 3 +--
 math/boolector/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 53f83ee9bdf0..2450bea7df94 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	boolector
-DISTVERSION=	3.2.3
-PORTREVISION=	1
+DISTVERSION=	3.2.4
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/boolector/distinfo b/math/boolector/distinfo
index 82ff383ccada..2c57e639c6f0 100644
--- a/math/boolector/distinfo
+++ b/math/boolector/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1699204051
-SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
-SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
+TIMESTAMP = 1724577355
+SHA256 (Boolector-boolector-3.2.4_GH0.tar.gz) = 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf
+SIZE (Boolector-boolector-3.2.4_GH0.tar.gz) = 1567983