Package: elan
Priority: optional
Section: universe/math
Installed-Size: 5338
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.1.2-3.1
Depends: libbz2-1.0, libc6 (>= 2.39), libcurl4t64 (>= 7.16.2), libgcc-s1 (>= 4.2), liblzma5 (>= 5.1.1alpha+20120614), libzstd1 (>= 1.5.5), zlib1g (>= 1:1.1.4), sensible-utils
Filename: pool/universe/e/elan/elan_4.1.2-3.1_amd64.deb
Size: 1645186
MD5sum: c89ca5183c2c9e5ea849d621f95d8290
SHA1: 8db6c06ad6000d356f80ad42a029cc2ee34258ea
SHA256: f32aae57540cd30a24036b0947ae15c711a3294a2bddb3c1872c71832ece1872
SHA512: 1ee93e6a40c967ab63cfeeabc7e59c3296a625618a68b198c2bf8a399c0f69de279a19c76aefe1c8a8f97379a7e6eaeefbded568eb2d52640267496d5b388831
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug