Package: elan
Architecture: amd64
Version: 3.1.0-1build2
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: 4940
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.0-1build2_amd64.deb
Size: 1465728
MD5sum: df9a1295a5ac96e55debf8fd1f4da43c
SHA1: 0428ac0c7074a7be4969679441f73b8967becddb
SHA256: a342e78d930d040982e8b962878d37013ce22433a9259b290b13dd5c1c017a30
SHA512: 39e368b3de72e821da11d9ce22d101af6c3bdd67fbdcbc278f60c72e742b6778da0b10576fe950280221e0eaf8c8094295698cecf6e093bacd2282f3ca1f4464
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271