From nobody Thu Jun 05 18:27:45 2025 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 4bCtGp2z9Pz5yCMX; Thu, 05 Jun 2025 18:27:46 +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 4bCtGp0xmqz3PdW; Thu, 05 Jun 2025 18:27:46 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1749148066; 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=ob5+X86gc3ZojqAghfpgQpnoJggdukawcVzQJzwGgu8=; b=tCWHU/MHIVW1VvWl3OUm4tBNUQnYbvB2B8KiOa+dwz7thyfY+Fv/c2uxzIhjuQ7RniZ8Zk l9kCEnLfuhezLFA9ETxUuCNa6CSDf8e7/RsI2qgm3NoiQ+MJY+WNPT1bU5xCWgc6u91Sxh TNiwVBJw+CB7rT83ZRcgiayTauM8+LQdHoGi3cwt3dAk780HbpGS6lcpMYBevsTiFmIO7I Za7PZGTFaSHQ7/AyD25LW9j3RlTlMZpUQki/BiI/NHukFkggpziowV+2sY4nJp1xx6Dlys o6VNWUOnuswRGm4xcj1myJZr6aOEB9tI/r6e+8mqn6JK6P+pYcoS9LJwgVdRyQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1749148066; 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=ob5+X86gc3ZojqAghfpgQpnoJggdukawcVzQJzwGgu8=; b=ch8sYmIaMXCCP5SVR0tzvA6GWHTMdGbihkrbcDDXiGoj4G2H2CwCJwLY2otaxm7ZSe57pq w0NXwK9tmcVNHY7zpvCxfxZ8BnZ8vyCJmYTH/ncHVorZJ55JuG3uDoSnaN9z3yiaF0vXa5 bpd6uqB6JFNe6Eex02qb/w7ZlZ8lEXx+nqTSAJ9237BqPiS1OUSZ0jSeI2cp9wYXvBPWE6 /Mef0ENqM6t0zeMCxVPlMHM4Ko+gV6SYS1gDfMGdNFbKNbTyDZtCscV4A3LwySRoPFDw4L YpjgWiMMEvDV6UG7+3SKhZzU3HucX3n29BbV14vIRHDNOO9D2utwIdBUSQ6DGw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1749148066; a=rsa-sha256; cv=none; b=w+6iuky+tV33OLwyAVXAMS+ii29u07kfchr+qWBSykZJkhzef8UhgGGvzYaDzz+RggZ8BE AG/LA09rxWByCmvZh3o7Y/qTfI9VS+1xzh1RSOEE+I2BCuwrQxEJU0kN+kpAvHFeSvFOy+ mRAyQMaAa5aN84Z535fsesxcdQb3t30ZZG7Np6Kk6yhjw9OnoxOO3pjwhmJMuAdy2BsPFz 0YdVxGkoNQxFrec1HYSLFkRGhz0lrVHHo4tG6EqA75CVHYcuNVj6J8eiFOwCmQC/AR0caP qCyop35IWvIijuxjN0cwyv/yaaVCOE2gDAslVelMVL+dF8qbzME/kss6zf4ocw== 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 4bCtGp06Vtz5d2; Thu, 05 Jun 2025 18:27:46 +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 555IRj08089814; Thu, 5 Jun 2025 18:27:45 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 555IRjmu089811; Thu, 5 Jun 2025 18:27:45 GMT (envelope-from git) Date: Thu, 5 Jun 2025 18:27:45 GMT Message-Id: <202506051827.555IRjmu089811@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: ba948fd4b4da - main - =?utf-8?Q?math/lean4: update 4.20.0 =E2=86=92 4.20.1?= 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: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-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: ba948fd4b4da742cd844e85accfc89159c0e1133 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=ba948fd4b4da742cd844e85accfc89159c0e1133 commit ba948fd4b4da742cd844e85accfc89159c0e1133 Author: Yuri Victorovich AuthorDate: 2025-06-05 15:23:32 +0000 Commit: Yuri Victorovich CommitDate: 2025-06-05 18:27:32 +0000 math/lean4: update 4.20.0 → 4.20.1 Reported by: portscout --- math/lean4/Makefile | 2 +- math/lean4/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 6c17ccfee08c..f88c468e34d0 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.20.0 +DISTVERSION= 4.20.1 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean4/distinfo b/math/lean4/distinfo index bcaf7eef4b66..7a3ac889cce7 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1748922676 -SHA256 (leanprover-lean4-v4.20.0_GH0.tar.gz) = a6b0c2e9865b0339d77060a59bc821cfd43af47debd93e214042386710d18054 -SIZE (leanprover-lean4-v4.20.0_GH0.tar.gz) = 40324553 +TIMESTAMP = 1749107862 +SHA256 (leanprover-lean4-v4.20.1_GH0.tar.gz) = 85b482da3748c404760a7492c331e5b6c74701d7913087b5da3616c5d949980f +SIZE (leanprover-lean4-v4.20.1_GH0.tar.gz) = 40325710