Package: elan
Architecture: amd64
Version: 3.1.1-6
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: 5308
Depends: libbz2-1.0, libc6 (>= 2.39), libcurl3t64-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), liblzma5 (>= 5.1.1alpha+20120614), libzstd1 (>= 1.5.5), sensible-utils
Filename: pool/universe/e/elan/elan_3.1.1-6_amd64.deb
Size: 1639842
MD5sum: b6baee701bc7372010b27d9d2049e6f4
SHA1: b7dee74c1f5199efd3a7e3607131f1f48a4b7e06
SHA256: 5d63364ef0e152a67383f0861ffdf5c68519ca127c5a71790983c5275364877b
SHA512: 85e195d2cb7a945024bd8faf7ae111f343a0654855a9e9db2bbd47f5316835284bf56e4b08556ef21fb16a66dfcad44d3038bc843ce9fc9d90d30e9be33c079e
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271