mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
Code Issues Releases Activity

math/kissat: update 4.0.0 → 4.0.1

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-09-15 23:48:39 -07:00
parent f350d9d0cb
commit 6e6768a3a6
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/kissat/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= kissat
DISTVERSIONPREFIX= rel-
DISTVERSION= 4.0.0
DISTVERSION= 4.0.1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

6
math/kissat/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1722240959
SHA256 (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = e04b37adf89ee6295ddc9756f9e5c35a98aa0aa6c01656bd282494e297fc7543
SIZE (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = 531130
TIMESTAMP = 1726456259
SHA256 (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
SIZE (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 531537