math/lingeling: update g20220515 → 1.0.0

Reported by: portscout
freebsd · Mar 6, 2024 · c54bfe9 · c54bfe9
1 parent e82be12
commit c54bfe9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/math/lingeling/Makefile b/math/lingeling/Makefile
@@ -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}
 

diff --git a/math/lingeling/distinfo b/math/lingeling/distinfo
@@ -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