From nobody Tue Aug 09 22:58:03 2022 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 4M2T4W6HpXz4YZyg; Tue, 9 Aug 2022 22:58:03 +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 4M2T4W5sTnz3Zcj; Tue, 9 Aug 2022 22:58:03 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1660085883; 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=o1qdA2UWhNAQnVoO2N0pMI1FIh7vJnK0qmDZcCGvxxY=; b=PHesmTQeZPxD1NZrNuDSNXlAy9EqT/ffpWFuGB4vbfPedys1B5DO9FOA9mbSff7WnjsmYR 1BJNJF69ucueuRYQrxOwQABvkdDBVTidDsF2VAa1QAZsDwFzrBJZ59g94G/ufeIhO70YKy mXcQt2Znqm1GYRo7nfUlDfgxx1n+xkRcEbZtzYbbTcTEZ+QhIKn/Xu7ixjVtLO0IJZChYl rryhZPjzyvR6RpBGEhnYk8+gfpsoVrHR7TWN+8fU55YidyP8tlYIY/0Tr3vtqAZZWGTfoQ cu/wf+cLrZdxprErFxiOYxp0r6ql0Rxl1ufaC7zltT24NpfRql2V7BZnwENusg== 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 4M2T4W4vj6zptn; Tue, 9 Aug 2022 22:58:03 +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 279Mw3FQ068181; Tue, 9 Aug 2022 22:58:03 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 279Mw3Wj068180; Tue, 9 Aug 2022 22:58:03 GMT (envelope-from git) Date: Tue, 9 Aug 2022 22:58:03 GMT Message-Id: <202208092258.279Mw3Wj068180@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: 467f9760bfc8 - main - math/lean: Update 3.45.0 -> 3.46.0 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: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 467f9760bfc8301f93f324042d14b14426eb7ea7 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1660085883; 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=o1qdA2UWhNAQnVoO2N0pMI1FIh7vJnK0qmDZcCGvxxY=; b=XWph6U+WFe/17AA/Yc9k1JtRaEIh3i9dsWuGrUXz3jAo6ZJYCbr77IDQ18VtV0sHyjn0PR CE3U/0sdVEmmXU3026rzaITVER6vRm6RoXsuz6KrVSzD5lQ6lLRtag8Oec6t0RvZjDx9XL 8nUZrIQ5bqhPRgLgMqw26R3lgv+VXmVlM+edLQDzjrvQ7sBsaZ7HyTTCPoK1d0SSHDd64c ypPd6sehEFWdGI5sW56JIg0e6oaFErjIgPiwpZDWSY64WZAFM8sueeyK3+lv9DnUArD1eR 5q0KdDJyD9w/nU406P7ZUwfe1utkfcm3Hkg16dtdziumwMMwGrkDJuYEDkmmnw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1660085883; a=rsa-sha256; cv=none; b=R5E7xm4njLmvL1W+of4+95iW1sMKWKQ4tWFm4p/FJUtdE6X3XYDEJQfta6qPa1z/b7NSbq XN8wHW5anp/VQ1cXMCMScT+bX25D+3dYDDl4RCeINbNcGlU1p+OmxlvTf2+dv86DyHEzHA gFZ559L8WaSCCacZO8t0jHw8HiV/H2c/fpwKqjhJL8k8oyQXNcGGsqmneJLdR3DnTyP0Mk gbdyzN487CfdpbYYgySx8fgRPitl0bRUbRF8bYXuGFektKLwfatO9+UGS/e1/HAu4SJZrN BHZIH/Hse9fMzL+RvIK+w6hjY9LTiL75gTDnpVj1ZwL2aTxcL41BGn3WOg0y9w== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=467f9760bfc8301f93f324042d14b14426eb7ea7 commit 467f9760bfc8301f93f324042d14b14426eb7ea7 Author: Yuri Victorovich AuthorDate: 2022-08-09 22:20:43 +0000 Commit: Yuri Victorovich CommitDate: 2022-08-09 22:57:59 +0000 math/lean: Update 3.45.0 -> 3.46.0 Reported by: portscout --- math/lean/Makefile | 2 +- math/lean/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/lean/Makefile b/math/lean/Makefile index d2177461a2ed..653de9239fc4 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.45.0 +DISTVERSION= 3.46.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index fbad52f89658..580a671f8775 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1657855890 -SHA256 (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 92d2676e46447a62103dd17b7a5cb17ab7054dc2878be345a846fb03d8e6bcf5 -SIZE (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 1913638 +TIMESTAMP = 1660082380 +SHA256 (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 3933dc7f9d795d31dd28c3a6548c8949e26e7f098fce11ee0abb12c4d4562bfc +SIZE (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 1913857