Package: elan
Architecture: amd64
Version: 3.1.1-3
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: 5112
Depends: libbz2-1.0, libc6 (>= 2.38), libcurl3t64-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.5), sensible-utils
Filename: pool/universe/e/elan/elan_3.1.1-3_amd64.deb
Size: 1574658
MD5sum: e1e20cc8c7b3a084f687402b368cd8e0
SHA1: 201fe8e79a57ac3af223036e0d26198ca1683bb0
SHA256: c6e77e4a9053f9472ee00e287f5cf9698e896fa06c2672b552a3dc3810dd0580
SHA512: 65916c91cccd17b364458bc4b2fa305d5f60c5618b0571a9ad71018bf7685f688590a3d4bbbe2f27ef44685095ce821cb4a7817cf4e7917cddfac7e50b548b70
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271