From 15bcda7d0c16cb63cc4d2014091cd944cf2097eb Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sun, 25 Aug 2024 08:50:50 -0700 Subject: [PATCH] =?UTF-8?q?math/boolector:=20update=203.2.3=20=E2=86=92=20?= =?UTF-8?q?3.2.4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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