git: 6e097a7e1e4e - main - math/glucose: update 4.1 → 4.2.1

The branch main has been updated by yuri:

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

commit 6e097a7e1e4e9ca8f2452f6b076438cb504e875a
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-01-10 05:30:19 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-01-10 10:22:55 +0000

    math/glucose: update 4.1 → 4.2.1
---
 math/glucose/Makefile | 15 ++++++++-------
 math/glucose/distinfo |  6 +++---
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/math/glucose/Makefile b/math/glucose/Makefile
index 60a823f64608..f496d5348c73 100644
--- a/math/glucose/Makefile
+++ b/math/glucose/Makefile
@@ -1,18 +1,19 @@
 PORTNAME=	glucose
-DISTVERSION=	4.1
-PORTREVISION=	3
+DISTVERSION=	4.2.1
 CATEGORIES=	math
-MASTER_SITES=	http://www.labri.fr/perso/lsimon/downloads/softwares/
-DISTNAME=	glucose-syrup-${DISTVERSION}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Parallel SAT solver based on Minisat, with glue clauses
-WWW=		https://www.labri.fr/perso/lsimon/glucose/
+WWW=		https://www.labri.fr/perso/lsimon/glucose/ \
+		https://github.com/audemard/glucose
 
 LICENSE=	MIT
-LICENSE_FILE=	${WRKSRC}/LICENCE
+LICENSE_FILE=	${WRKSRC}/LICENSE
 
-USES=		compiler:c++11-lang gmake tar:tgz
+USES=		compiler:c++11-lang gmake
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	audemard
 
 PLIST_FILES=	bin/glucose bin/glucose-syrup
 
diff --git a/math/glucose/distinfo b/math/glucose/distinfo
index aacf46fb8a3d..44bb8b479cb4 100644
--- a/math/glucose/distinfo
+++ b/math/glucose/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1517475160
-SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029
-SIZE (glucose-syrup-4.1.tgz) = 82779
+TIMESTAMP = 1736486340
+SHA256 (audemard-glucose-4.2.1_GH0.tar.gz) = a6d4af223e851b50ec6cdbd34b10ce7c8958e372b6c590c589b6d976a03c9a0d
+SIZE (audemard-glucose-4.2.1_GH0.tar.gz) = 88105