From nobody Wed Feb 23 17:02:15 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 0196F19E0227; Wed, 23 Feb 2022 17:02:16 +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 4K3j5435bjz4rqk; Wed, 23 Feb 2022 17:02:16 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1645635736; 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=URuRF6g2yySo8XEssRMCReBS4Ehv4UHHP9hdpUKI7M8=; b=t1aqkrPAur8ZbsO/zkTXsHynmIvb3AFapqqNBfk4xG6fUyB9aMkU4TiQkJmk33QLEDMlEN xKpe1C6XfvCoTg/Pa1XjModgeoDGsQAte8ho9gSE7as8AEuJ9B4SNNfJBv9yZT0GRN+1l3 kgsuX0BJapdPEOlozoVCLxBRzNZmO2nooenbw751oL+GuYlzB5b5DOOzSQ6rTpZSqcmQNG d39paiVkkLoHHQsNKjNSSAU1M/Y/BpzcwiJ/z60GIUnKHSaDEicpNlv2+fWJGxNZaIv5JD tMO/Ma5oH0zrXrquuEkfsPaf9ZwKCrBFFdDZT7Jsgr2RthIpzc2ueNerGjkR/g== 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 243811C0BD; Wed, 23 Feb 2022 17:02:16 +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 21NH2FBO034841; Wed, 23 Feb 2022 17:02:15 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 21NH2FQr034840; Wed, 23 Feb 2022 17:02:15 GMT (envelope-from git) Date: Wed, 23 Feb 2022 17:02:15 GMT Message-Id: <202202231702.21NH2FQr034840@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: fc196e1ee822 - main - math/lean: Update 3.39.2 -> 3.40.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: fc196e1ee8221856d385b609b8be2009d6968b71 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1645635736; 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=URuRF6g2yySo8XEssRMCReBS4Ehv4UHHP9hdpUKI7M8=; b=ENdove7D7fO+lareNCCCi1hgAOuT0Ir/RAsKWDMx8mCngWqXsfVsuw1UPzkK/rBA+vQhbg 1HyzjI6D72s4oDbVCj3nTYP3HkC7oTp2snwNKwNFfRcgMU4W6a4SdL0WWg9LQX8AIQ3l35 6WkXxT8ghq2YBeXANCwtqZHIHWxSw+9+PMM0Tr2QIwy672I7C4vxQ+fHdbzP73YK4Gf42W rVMbODtQ7nHfrA0abmpl0Ixpr1XTWvup/h1w4GufCyEORraqcqxPmbQvdnv0e7DAq0UbS0 /+YaDXPFPhFxjUyBZ3VUkjbCHaS1nBaRlYrdp3+ODj4SgUoiuO3Q5s6TOw1Ggg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1645635736; a=rsa-sha256; cv=none; b=WFa/VoaRWR/pMhoUKEWs9uouHA8jdtdpQW4wJHBkT5uHnXimcFgPpooGiwNq1e4Fw9kpR0 6/H8UPBYK56Sq6uLYJz8WuOv8IBGyQfLE/nyGddry2gH01o2CUHizbPOGOVQw0b6jbrPmx NRux5N/gOh/zSE5VCbXaE9G5UixRuG2rCLE9hRiw+5qDlV8JpNgzDRWBDpLIJKVUc6MD4n XJL6C/UnwkUdQjmkApngA+Z99p5p03HuEHk1rq/cixoLXu4L4cn8YR7GU/NeF/ER6sew7s QvixC1sLK2NepiValM52hPgSN8WSfJ3seTduPPtusbMGtXfdJkbKXRtQ/PPTGw== 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=fc196e1ee8221856d385b609b8be2009d6968b71 commit fc196e1ee8221856d385b609b8be2009d6968b71 Author: Yuri Victorovich AuthorDate: 2022-02-23 16:47:21 +0000 Commit: Yuri Victorovich CommitDate: 2022-02-23 17:02:06 +0000 math/lean: Update 3.39.2 -> 3.40.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 2e26b313c211..8d7dde1d0b1e 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.39.2 +DISTVERSION= 3.40.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index 8c5211820abd..0b58c4f54f3c 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1645199810 -SHA256 (leanprover-community-lean-v3.39.2_GH0.tar.gz) = 03ce33eed1e6e8afa949c52856a0b9b9ec1ab0513c06210ad9e74ee7c2fc8018 -SIZE (leanprover-community-lean-v3.39.2_GH0.tar.gz) = 1878587 +TIMESTAMP = 1645633856 +SHA256 (leanprover-community-lean-v3.40.0_GH0.tar.gz) = 955496d97b2193fea3609a3f3f7ad9cab6413e0d0ea6c1a03d6c1656a2ec08ef +SIZE (leanprover-community-lean-v3.40.0_GH0.tar.gz) = 1878547