sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/boolector: update 3.2.3 → 3.2.4

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-08-25 08:50:50 -07:00
parent 6774449a1d
commit 15bcda7d0c
2 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
math/boolector/Makefile
View file

@ -1,6 +1,5 @@
PORTNAME= boolector
DISTVERSION= 3.2.3
PORTREVISION= 1
DISTVERSION= 3.2.4
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

6
math/boolector/distinfo
View file

@ -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