K/CHWZUaZUi9H6Wyh3sHFCI455DEiZSsUJJqQ PemAnDRlaRnJJRZXAnFFcDkHpVXXhez6o6vlxesjjjlC3TYbCOqIO2pe5eX7bGBttlu7F6 WxsYz6YbuHgDVB1M9/kng7zgniK8Neojc9nbWrBzxooGzmSSaaPciJA4fa5Y1vgnAPjmf+ fASLwlJzQStZVS64zCyR032jpSs1qPXid0IyXzGnF+Jm7GjF8qFraQrC6+wGv+5+cmzwbr uud+tSaxghcyKALo7sDvlmUvOHDRdLEjiiqLapKVmYxsf6OskgKFLu4Z00g48A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1776827027; a=rsa-sha256; cv=none; b=VzczE7PKNZQdAskUzxRbqK3Aek/18OVsqS80F17v8HLHid7FFSB9HJ3dCxr0RYwaUWimvo l5qjHXRXAJoHakinvhHnAY07Wwsw4HmfDwcf8+6GWgnmXZPDuOPB2fx5f0nXDvG2q2Wl/T ULDVuWKKtXy9f20+1VJvaFDEJ+vTkT9EFuVoPGSDMdk63R/4HKTN0xNJBlP947kd1hLco0 V5MraFa/jWx4iFsVLHZ9ELNK9f69NJRUVtGYQ3KdLGCqfTsIqTYUUoSYyF22ypvkNwUhnQ Y3TwuBtcM9av/ZisEG6qUPB/Vde/mpbrhgARX5tH1JwkbB0rlXazdvHMIuExkA== 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=1776827027; 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=4AJnMEbwwOkkhqUU9GTX4s9wSg46isW5g8NOIAKXjHs=; b=YyzAGvND7HLAUcQfs2Fc6aVxeJoyDIIAQrd/0vEntbGO4l1kqVo9LC+vz1DZVpk517CjK4 u+XeGUmPM94BFuFI8nePuEbpAdEgc5xxO24kxu967IlEHWvofptx46SVYjB8t4yxA7Pa7f G745EL5fBo0VLLmgT83mmIpUjFLrVtI7a7ZsLs6KPpgYBDnWsIu2/vd+jfGJYlMUyp0PHs 0kpyDs2i+WudXNICGtnXWaHhN91RFNcpxx/7MWhXvOwl18+e3eItHoKyc3hMdaksFC4s3a nnOduXOAPduxhRgJ3nlDlHcN4Allh6IIeHLs5+EBdXOpiLkoHuxnaeah8TJf7w== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4g0kZV6xHwz1Bfg for ; Wed, 22 Apr 2026 03:03:46 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 3700f by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Wed, 22 Apr 2026 03:03:46 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: c264c3bf67e6 - main - math/lean4: update 4.29.0=?utf-8?Q? =E2=86=92 4.2?=9.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: c264c3bf67e61d76aea790dc155b8400e3ef9738 Auto-Submitted: auto-generated Date: Wed, 22 Apr 2026 03:03:46 +0000 Message-Id: <69e83a92.3700f.6f532d52@gitrepo.freebsd.org> The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c264c3bf67e61d76aea790dc155b8400e3ef9738 commit c264c3bf67e61d76aea790dc155b8400e3ef9738 Author: Yuri Victorovich AuthorDate: 2026-04-22 01:52:36 +0000 Commit: Yuri Victorovich CommitDate: 2026-04-22 03:03:43 +0000 math/lean4: update 4.29.0 → 4.29.1 --- math/lean4/Makefile | 4 ++-- math/lean4/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 2d7daa33fcab..ca32fe4421d8 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,7 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.29.0 -PORTREVISION= 1 +DISTVERSION= 4.29.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 @@ -81,5 +80,6 @@ post-install: # tests as of 4.25.2-20251201: 100% tests passed, 0 tests failed out of 3367 # tests as of 4.29.0-rc2: 99% tests passed, 12 tests failed out of 3584, see https://github.com/leanprover/lean4/issues/12721 # tests as of 4.29.0: 99% tests passed, 18 tests failed out of 3582, see https://github.com/leanprover/lean4/issues/13174 +# tests as of 4.29.1: 99% tests passed, 24 tests failed out of 3584 .include diff --git a/math/lean4/distinfo b/math/lean4/distinfo index 7d1c27177894..3020aa5fab77 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1774685677 -SHA256 (leanprover-lean4-v4.29.0_GH0.tar.gz) = 6170af5cf19c56a9142e2f1e45ec37c5ee68425e916851cb0be9a5cb56defca7 -SIZE (leanprover-lean4-v4.29.0_GH0.tar.gz) = 52781362 +TIMESTAMP = 1776813893 +SHA256 (leanprover-lean4-v4.29.1_GH0.tar.gz) = 7a312f5c7e64233420b776cb9ba4ce05ed5c3d938bb3ed159cf69f892712e341 +SIZE (leanprover-lean4-v4.29.1_GH0.tar.gz) = 52782560