From nobody Fri Jan 10 10:23:12 2025 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4YTyR52MHHz5k30t; Fri, 10 Jan 2025 10:23:13 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4YTyR4553lz4Hrw; Fri, 10 Jan 2025 10:23:12 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1736504592; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=Vqky8L90z1zRManmabjqKQtJiXhUihI1Uy5mLrK1WmQ=; b=kb+EraTduS4X/S5ZjpKlmP5iu5HlPwB8z3kOz9LanaSj36P1cJdw3LzgA5gKPuwSSkiinp n3rN95zyV9fd9He+K0FXrsy+q0OBedwtHvVEncXq9HCkn9dQ0FE5jNpjDmNZpGEaoGUYzC nk0JyIuicnNSzzXYdNs+28nW2kqfazLa/8I4Mo/ceHh9X69D29onPDeahMZ+PqaXK18yZb Lp7sQzJKtM1Ic1sXHgu85sBpBYrnVl8NhXQo49jhWYUkozyypIe2sw5FJWwBaSjd4qmVrN EClBjB0zIWb8p4GwyZDVGqT5vEOmnqqjWiKGVZV0X6D65um/4Szk4jqe9AWUZQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1736504592; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=Vqky8L90z1zRManmabjqKQtJiXhUihI1Uy5mLrK1WmQ=; b=KyWKG0EA0C7gBPUG6cafMk/IBsNKyZlaWddaaMtCSUnOLhKUaXtMARKf6+oAJHluBgOm5+ JUIeoFuaJDpjfuVnHZc8GvvSIa4n4lVMgKzGJwjG1VxCWXjJx0j3p7tYlI0LfIHYRyCUQS hIXfZeou6dTWyKKvmVaI/DVKIZsaH7zGIEwnmV6UUJmGtlzp5UM+NdtAC4JkspQMZ/EPfG 6GuSUKrrg3CEFD5uBVKF50omYDNUptYz7oxmjiP0qcD2V7PlFGZLqZGz5062w55MMUwvbD 2kY7MWBWS/qyC1q1237nFZ71SQVHM1elLW71EbwjOWj8jSWS5dTMwe1Sx/RM3Q== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1736504592; a=rsa-sha256; cv=none; b=PMYQvx/V9FL9wONw5gWou46YuabTeykAF4oQDTDB//rYr5EJrzp9hD1Aj/g7lwy3UWo7D0 gkoBMU2AsACLCtN/V+VZgMWLfzTPIkpHfU8rxdfphowcpHmsWKtkyHw+wPEaA3j/WWXb2u Qhoqdt6LOHvRu53TJ4qj0gi86xfCZZNlnGVeY9yHwLri/eYrQ5MSKYRq2Q/J3Rk+9R96fu heah5jkNRNFPhS30q+EZLSW6in4hnuggSw7GI0j1UCLVpayXpac2cAhtuPEjHJ4BZbJjUq 8Ci2FQ+lrEQ4l0JcLyv5JFODGwr5VaJtnbBiBs25WYxkWwu1tsgVIS2P5cMfFg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4YTyR44gmzz17Gx; Fri, 10 Jan 2025 10:23:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 50AANClT032767; Fri, 10 Jan 2025 10:23:12 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 50AANCW2032764; Fri, 10 Jan 2025 10:23:12 GMT (envelope-from git) Date: Fri, 10 Jan 2025 10:23:12 GMT Message-Id: <202501101023.50AANCW2032764@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 6e097a7e1e4e - main - math/glucose: update 4.1 =?utf-8?Q?=E2=86=92?= 4.2.1 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 6e097a7e1e4e9ca8f2452f6b076438cb504e875a Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=6e097a7e1e4e9ca8f2452f6b076438cb504e875a commit 6e097a7e1e4e9ca8f2452f6b076438cb504e875a Author: Yuri Victorovich AuthorDate: 2025-01-10 05:30:19 +0000 Commit: Yuri Victorovich 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