Package: elan
Priority: optional
Section: universe/math
Installed-Size: 4888
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.1.0-1ubuntu0.1
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-1ubuntu0.1_amd64.deb
Size: 1468674
MD5sum: ac2ad93d859e81a518518c6d10ba4ff9
SHA1: e5fae8bb8ccd0306df74a37e590c143d536f02a6
SHA256: 8fb26cbca4df2ad65d88381e6ac7b85dafcf31c9bdb100868f608849e31f4ec9
SHA512: 6b6a7dbca321303ab977c18f081c99c3fc328c51379eb1372363287185c02f0ed92fccaceaabc3539ae6e945fe7736af72c728e38d16a26adc3a0a832960f93d
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