Package: elan
Architecture: amd64
Version: 3.1.1-4
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5168
Depends: libbz2-1.0, libc6 (>= 2.39), libcurl3t64-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.5), sensible-utils
Filename: pool/universe/e/elan/elan_3.1.1-4_amd64.deb
Size: 1579522
MD5sum: fa5f28759d420efeff788afb390664e0
SHA1: f45eb5f096a8fd7dc9cae4ff56ba8c4756c80669
SHA256: e7c4af9837136a3ec83731aaa8ebf3e663b69a1a412e7641a8b0b1684f0d6e59
SHA512: 16250478ebcfd2c359d88895b7ae2132f78f8dba804938cb808d4ae28fb11d0cabc6f897145945e93a2e07897a34cbd0334dae88a1a8a219362d90554bb91e6d
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271