diff --git a/srcpkgs/elan/template b/srcpkgs/elan/template new file mode 100644 index 00000000000000..d223b8a75eb470 --- /dev/null +++ b/srcpkgs/elan/template @@ -0,0 +1,19 @@ +# Template file for 'elan' +pkgname=elan +version=4.1.2 +revision=1 +build_style=cargo +hostmakedepends="pkg-config" +makedepends="openssl-devel libzstd-devel" +short_desc="Lean version manager" +maintainer="Komeil Parseh " +license="Apache-2.0 AND 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=7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 + +post_install() { + vlicense LICENSE-APACHE + vlicense LICENSE-MIT +}