From c54bfe9890de72bc1ee910c2ae6802810ab2893f Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Wed, 6 Mar 2024 08:23:30 -0700 Subject: [PATCH] =?UTF-8?q?math/lingeling:=20update=20g20220515=20?= =?UTF-8?q?=E2=86=92=201.0.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 c1439ee74d4bb..62addb736a6cd 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 42c6b889da49a..cf0d0e75c27b2 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