From df67dae19e7cb46c6f244f1fc57a098064dcc27b Mon Sep 17 00:00:00 2001
From: Komeil Parseh <komeilparseh@disroot.org>
Date: Sun, 31 May 2026 15:21:48 +0330
Subject: [PATCH] elan: update to 4.2.2.

---
 srcpkgs/elan/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/elan/template b/srcpkgs/elan/template
index a5fe606e616f8c..5c762719c0aa18 100644
--- a/srcpkgs/elan/template
+++ b/srcpkgs/elan/template
@@ -1,6 +1,6 @@
 # Template file for 'elan'
 pkgname=elan
-version=4.2.1
+version=4.2.2
 revision=1
 build_style=cargo
 hostmakedepends="pkg-config"
@@ -11,7 +11,7 @@ license="Apache-2.0 OR MIT"
 homepage="https://github.com/leanprover/elan"
 changelog="https://github.com/leanprover/elan/blob/master/CHANGELOG.md"
 distfiles="https://github.com/leanprover/elan/archive/refs/tags/v${version}.tar.gz"
-checksum=637cf1d0746d05979ec9f97f577ac57f38f1606fc5c596d10579b9b367a3157d
+checksum=b1f151659be6f2a9c840049ec40bff126847de0fcceef7c42da04627e34b1712
 
 post_install() {
 	vlicense LICENSE-APACHE