Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 6 Mar 2024 20:09:15 GMT
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: c54bfe9890de - main - math/lingeling: update g20220515 =?utf-8?Q?=E2=86=92?= 1.0.0
Message-ID:  <202403062009.426K9F9t098037@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c54bfe9890de72bc1ee910c2ae6802810ab2893f

commit c54bfe9890de72bc1ee910c2ae6802810ab2893f
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-03-06 15:23:30 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-03-06 20:09:13 +0000

    math/lingeling: update g20220515 → 1.0.0
    
    Reported by:    portscout
---
 math/lingeling/Makefile | 4 ++--
 math/lingeling/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/math/lingeling/Makefile b/math/lingeling/Makefile
index c1439ee74d4b..62addb736a6c 100644
--- 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
index 42c6b889da49..cf0d0e75c27b 100644
--- 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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403062009.426K9F9t098037>