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