New package: elan-4.1.2

2026-03-17 03:28:03 +01:00
parent 54d4601673
commit 2415a1802f
1 changed files with 19 additions and 0 deletions
@@ -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 <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=7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350
+
+post_install() {
+	vlicense LICENSE-APACHE
+	vlicense LICENSE-MIT
+}