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/lingeling: update g20220515 → 1.0.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-03-06 08:23:30 -07:00
parent e82be126db
commit c54bfe9890
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/lingeling/Makefile
View File

@ -1,5 +1,6 @@
PORTNAME= lingeling
DISTVERSION= g20220515
DISTVERSIONPREFIX= rel-
DISTVERSION= 1.0.0
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -13,7 +14,6 @@ USES= gmake
USE_GITHUB= yes
GH_ACCOUNT= arminbiere
GH_TAGNAME= 72d2b13
BINARY_ALIAS= gcc=${CC}

6
math/lingeling/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1672783599
SHA256 (arminbiere-lingeling-g20220515-72d2b13_GH0.tar.gz) = ad6a7e9ed10e7c49f9c901365bee639508d999f32c0d59b8a43805e6d327c797
SIZE (arminbiere-lingeling-g20220515-72d2b13_GH0.tar.gz) = 248128
TIMESTAMP = 1709755163
SHA256 (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 99f35f14091a495ca22e4bf7394f645bff7161ea4e0294f73cf4d5114ac33ac3
SIZE (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 248141