Package: elan
Priority: optional
Section: universe/math
Installed-Size: 4138
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.3.1-3ubuntu0.1
Depends: libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), sensible-utils
Filename: pool/universe/e/elan/elan_1.3.1-3ubuntu0.1_amd64.deb
Size: 1281742
MD5sum: d2995aab29894c4b537181ee96c91603
SHA1: bba8055740cb70dcc508ccebced532f92d13c28e
SHA256: cc791bb57e8c749b00b20dc7a81df4e9a9fd83c64e7f04d91fa6788c1ae5aed3
SHA512: 66c557e5f1b4525d823a4da834d4869d9bcddf94e08b1f6dbb285321fa5aa28bc7e54b9d8699fb07da7d9073e58b0137952f1f702da5a9bec0c15b3539d2fb03
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