WP6oQZCGInNj7muGZvCl7gQY/OH0EI52+fv 5CTBVAoxWloEWLbgBSrDyQAUOEYcyNWmFYsU1Dd9LlQH6Ubv0PN2N4zugaC/UobhR8Yujv uynGQf/06Nxx/E8uk+SVsrmJHog1b0pRfNCu1ntTOkG1OxzjiiRKeOdr3hoX9Q== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4dl89l37pfzj8 for ; Mon, 05 Jan 2026 09:28:27 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 215b1 by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Mon, 05 Jan 2026 09:28:27 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 570926ef4c5e - main - math/elan: update 4.=?utf-8?Q?0.1 =E2=86=92?= 4.1.2 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@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: 570926ef4c5e79741cbd6a98de5e0c024a2a5155 Auto-Submitted: auto-generated Date: Mon, 05 Jan 2026 09:28:27 +0000 Message-Id: <695b843b.215b1.72aa6b1b@gitrepo.freebsd.org> The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=570926ef4c5e79741cbd6a98de5e0c024a2a5155 commit 570926ef4c5e79741cbd6a98de5e0c024a2a5155 Author: Yuri Victorovich AuthorDate: 2026-01-05 04:52:00 +0000 Commit: Yuri Victorovich CommitDate: 2026-01-05 09:28:15 +0000 math/elan: update 4.0.1 → 4.1.2 --- math/elan/Makefile | 4 ++-- math/elan/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/math/elan/Makefile b/math/elan/Makefile index 4033eec084f6..305edb6ba8fb 100644 --- a/math/elan/Makefile +++ b/math/elan/Makefile @@ -1,7 +1,7 @@ PORTNAME= elan DISTVERSIONPREFIX= v -DISTVERSION= 4.0.1 -PORTREVISION= 6 +DISTVERSION= 4.1.2 +PORTREVISION= 0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/elan/distinfo b/math/elan/distinfo index 5306d6cb54f5..92c319c35027 100644 --- a/math/elan/distinfo +++ b/math/elan/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1745194470 +TIMESTAMP = 1767581633 SHA256 (rust/crates/addr2line-0.24.2.crate) = dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1 SIZE (rust/crates/addr2line-0.24.2.crate) = 39015 SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627 @@ -557,5 +557,5 @@ SHA256 (rust/crates/zstd-safe-7.2.4.crate) = 8f49c4d5f0abb602a93fb8736af2a4f4dd9 SIZE (rust/crates/zstd-safe-7.2.4.crate) = 29350 SHA256 (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = eb81183ddd97d0c74cedf1d50d85c8d08c1b8b68ee863bdee9e706eedba1a237 SIZE (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = 774847 -SHA256 (leanprover-elan-v4.0.1_GH0.tar.gz) = a298124a295db27015eb95cf0d14508db8d65881a61fca88f311fcbc1591ab41 -SIZE (leanprover-elan-v4.0.1_GH0.tar.gz) = 98778 +SHA256 (leanprover-elan-v4.1.2_GH0.tar.gz) = 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 +SIZE (leanprover-elan-v4.1.2_GH0.tar.gz) = 99734