elan: update to 4.2.2.

Author: mmdbalkhi

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