From nobody Sun Feb 11 10:08:06 2024 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 4TXjvp6Hqxz59PGw; Sun, 11 Feb 2024 10:08:06 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TXjvp5b6vz4vHl; Sun, 11 Feb 2024 10:08:06 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707646086; 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=+yroS88qvHQO7fEdGs3Hlr0frRMvdNby8dtkPLxxFNQ=; b=RU7K4kaVPQa5HFEw4mepvTjpAf4eWvrCgGnnZfi4yNb4KEnK5NvpyqEcc2qMUKXfM9FKn8 iWVoMrFeXPH3T7xPfbCES6nGrLXvQQsQhcjmh+7lLYhFbr52/QBAAuebPscCHOveRzIVD1 +8RPCR913UQbKfQh/WqfrJG82zloA/hJ50y4YenKOvaAJ08dYRIfFqmraqXKV59o3KtBpl pupXJdy5+5UdILWnPZjw6eyKRf+rQIRp8hAqMAhnntLi41or2qJrSbNNdmYrSOezwY+XyR nn3cumPkW0qfMxcTroUvs1LJT+P96FGvq3DsHn6pt+4Io8hoaWQ+VRKG+S6WNQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707646086; a=rsa-sha256; cv=none; b=Un06MqcQL3tda/nkxIEEamY2Tt8gpLhlS+vkBSm1EVH7Pk5xvZjKPo2+IC0FnDwL3OLYHJ wKzzT842dgh0LH2ER8XMlkZb8CVkoj9ibM0QVGv1wjP2YkB9ZC7UxZ+g4IZB1QtAcP7D8W TS8+YwI9+bLzuvUB2ZfYI1z7F5xaRvOuBROvvi7WP+5EUaeP+zylfGe1Ieda2/rhmf74jL +zYHJ9fBB7f2mg0t54lHsMH1vO6+feVzNWP50C5Z4rxIUnkktRQdrw+Ddmx3otuAEInOnu ZntoRi0k2cX4HJXb8i5CuTCLDTGNQRVP335fw0WBf4uSSstj7bYUdClJs9UGNg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707646086; 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=+yroS88qvHQO7fEdGs3Hlr0frRMvdNby8dtkPLxxFNQ=; b=lYRpdaLcPI5grtGJFAsU+BMcQiWRgIsuWrvp2AVw0xwWYLC6ch5GVinbLrBJnyLr42AGsg UeviwUVLGZ4Cvsei3008/wkgPbGknB/o36JCP+er/5kS3uGRVlBYSUJomKpOTkLqtPag6h 9iKQz1pFKBIXYvRc4dk9Hr3uudHAfsm1kcWw4kSG82IYm9tmNbQx/BPoe1lWI/a3pHUvzA O73eX0Jx/vIRgbWWyvbMTszKsgi8YUtnOMvYDkPKKCPXaW2+N7jZusF0BUG+ak41++xAtr xQrzwcafdXLQjf/fU5BlfHVKzEDTKcB8YPwUYqLn2hGFgLibBEjz9DbIIB+zew== 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 4TXjvp4db0zvjv; Sun, 11 Feb 2024 10:08:06 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 41BA86ZL014800; Sun, 11 Feb 2024 10:08:06 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 41BA86Gi014797; Sun, 11 Feb 2024 10:08:06 GMT (envelope-from git) Date: Sun, 11 Feb 2024 10:08:06 GMT Message-Id: <202402111008.41BA86Gi014797@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: d3f4816d560e - main - math/cryptominisat: Update to 5.11.21 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: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d3f4816d560e4632b7a53c585659b8df2f912145 Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=d3f4816d560e4632b7a53c585659b8df2f912145 commit d3f4816d560e4632b7a53c585659b8df2f912145 Author: Gleb Popov AuthorDate: 2024-02-11 09:54:13 +0000 Commit: Gleb Popov CommitDate: 2024-02-11 10:07:23 +0000 math/cryptominisat: Update to 5.11.21 Reported by: portscout! --- math/cryptominisat/Makefile | 2 +- math/cryptominisat/distinfo | 6 +++--- math/cryptominisat/pkg-plist | 1 - 3 files changed, 4 insertions(+), 5 deletions(-) diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 77292c44893c..78fd49b95299 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,5 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.15 +DISTVERSION= 5.11.21 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 0b600365a921..35deaca0eeb5 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1703881075 -SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0 -SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163 +TIMESTAMP = 1707644489 +SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b +SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index 347ac79dd569..19bf75fa03ff 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -1,5 +1,4 @@ bin/cryptominisat5 -bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/dimacsparser.h