Date: Fri, 10 Jan 2025 10:23:12 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: 6e097a7e1e4e - main - math/glucose: update 4.1 =?utf-8?Q?=E2=86=92?= 4.2.1 Message-ID: <202501101023.50AANCW2032764@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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202501101023.50AANCW2032764>