kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/kissat: Update 3.0.0 → 3.1.0

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2023-06-24 22:02:08 -07:00
parent 857c051bee
commit 5a55735fc3
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
math/kissat/Makefile
View file

@ -1,6 +1,6 @@
PORTNAME= kissat
DISTVERSIONPREFIX= rel-
DISTVERSION= 3.0.0
DISTVERSION= 3.1.0
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -13,8 +13,6 @@ LICENSE_FILE= ${WRKSRC}/LICENSE
USES= gmake
USE_LDCONFIG= yes
USE_GITHUB= yes
USE_GITHUB= yes
GH_ACCOUNT= arminbiere

6
math/kissat/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1675723942
SHA256 (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 230895b3beaec5f2c78f6cc520a7db94b294edf244cbad37e2ee6a8a63bd7bdf
SIZE (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 466704
TIMESTAMP = 1687668870
SHA256 (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = e85c757179bf7d96d21d2d6e3f0a8f2337d416b0e13ae065a9a8d52e30048bd3
SIZE (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = 470710