From nobody Mon Feb 20 17:20:50 2023 X-Original-To: dev-commits-ports-main@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 4PL8MS1DvYz3rMvW; Mon, 20 Feb 2023 17:20:52 +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 4PL8MR5JJNz4L8h; Mon, 20 Feb 2023 17:20:51 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1676913651; 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=k9kKpxjpu/07Z5umc8Hha99f9T2slpaazZVtupZOOXo=; b=IUeW3nZx2iG46KudDZNAlNVBdQrXc6w4NSwSeyQ18ApPE1bJFv6SAi8ser+7zh4tyKHlr3 BKEQnfHS1NMLdZrDkRfcFQdgqLrAYrdaWc2RLij2U+TgpedQWG6xXWCNUbTZAKFtwUKJ15 X2fuOrh7S3CIW64G0+Kcorz+NUXZzMEhY6XzyIQpgdi6gChH568LFK++omaLp0N7fUtWXF l3Pt8JQW0Kp73+uqGNW1Gl9pMCap83d8ix+I6WngIQWtQmAveeL/O34jHdvf9/Mn+zg423 iD8WAYl2uE3rYIm8CP7XgnZSI3ilaiZmFFWUmGZhaTX3zomWeaOEvHKwg4NgzQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1676913651; 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=k9kKpxjpu/07Z5umc8Hha99f9T2slpaazZVtupZOOXo=; b=uSP2WPk8JlffkkCLKnmww/JIA1IDiKcO2t0k5712MEzxELp2Ak9KBT6xazd5rSoj5a9OYz NCHHzoa8fipyGLEGA7xIWHkYwjN816QdSV7og1WQS7F2aBZG3G2meefFmEYt8r+0w8Krd+ /Tt1RmSjjEKz/H6NBuIM8lV+GgRmvJjF6w/25BraWFJYolv1kIyWTI6pv+bj0rICx/KQMv brqrWX97Lr6nU9MQhrPuCpp3p4u06to+DknkGT2IyLCQk4WHCXnC7UvFyPv67lTwDMy2IN iH5iN379nCUUk71L5X+KwcA/rT3684fPKNFSqXZ02rlUpgf+H8zCSnKvCWU6Fg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1676913651; a=rsa-sha256; cv=none; b=IUrStPMdlg/z7O7hOodBygxSn/JM6xsi6Ma51H7WOFQTf6+L5eF1MdaiJW+N/e//LOXuW1 Hm3PI9pMMpKqrUD+yzEYnvojLJa9zkOpYeghiAwkUJt0JJPgRAcOb6j9NA5jp4TG6JADCR URLeEiaLBNuQPbs8MxKGEvwoT9ekwjM14xysKpHt6R+XB42WuvqhP52kXdr+QUfxLbYb4k mHihM1iWvlavokKRLucGweN8YdNPRWXh1qURHOLQFQhNId2VvLlr7lW4Zjs3FgsGLev7Qk l7A2/+2wldHxiWSvdFE+qli0NadWaYtiRL++YEX9cEkE2QCLqCmWYDkelx/oHQ== 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 4PL8MQ6YyBzpny; Mon, 20 Feb 2023 17:20:50 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 31KHKor4046055; Mon, 20 Feb 2023 17:20:50 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 31KHKoSw046054; Mon, 20 Feb 2023 17:20:50 GMT (envelope-from git) Date: Mon, 20 Feb 2023 17:20:50 GMT Message-Id: <202302201720.31KHKoSw046054@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Antoine Brodin Subject: git: 62a81f877317 - main - science/cdcl: deprecate List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: antoine X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 62a81f87731798ae16a517f4ad757e979ec61273 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by antoine: URL: https://cgit.FreeBSD.org/ports/commit/?id=62a81f87731798ae16a517f4ad757e979ec61273 commit 62a81f87731798ae16a517f4ad757e979ec61273 Author: Antoine Brodin AuthorDate: 2023-02-20 17:00:19 +0000 Commit: Antoine Brodin CommitDate: 2023-02-20 17:09:27 +0000 science/cdcl: deprecate --- science/cdcl/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/science/cdcl/Makefile b/science/cdcl/Makefile index bd34ea5efb7e..5a4ada6ef9dd 100644 --- a/science/cdcl/Makefile +++ b/science/cdcl/Makefile @@ -20,6 +20,8 @@ LICENSE_PERMS= auto-accept BROKEN= fails to fetch from mastersite (newest release is 7.4.0 of 2020611) BROKEN_armv6= fails to link: final link failed: Nonrepresentable section on output BROKEN_armv7= fails to link: final link failed: Nonrepresentable section on output +DEPRECATED= Broken since 2021 +EXPIRATION_DATE= 2023-03-21 OPTIONS_DEFINE= DOCS EXAMPLES USES= desthack gnome pkgconfig xorg