# Template file for 'elan'
pkgname=elan
version=4.2.2
revision=1
build_style=cargo
hostmakedepends="pkg-config"
makedepends="openssl-devel libzstd-devel"
short_desc="Lean version manager"
maintainer="Komeil Parseh <komeilparseh@disroot.org>"
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=b1f151659be6f2a9c840049ec40bff126847de0fcceef7c42da04627e34b1712

post_install() {
	vlicense LICENSE-APACHE
	vlicense LICENSE-MIT
}
