git: c54bfe9890de - main - math/lingeling: update g20220515 → 1.0.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 06 Mar 2024 20:09:15 UTC
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