New package: elan-4.1.2

Author: mmdbalkhi

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 <[email protected]>"
+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
+}