Package: elan
Priority: optional
Section: universe/math
Installed-Size: 5337
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.1.1-6ubuntu0.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), sensible-utils
Filename: pool/universe/e/elan/elan_3.1.1-6ubuntu0.1_amd64.deb
Size: 1646894
MD5sum: 181df208517a1279eb3f405742d9fdfe
SHA1: 5762b716058a1397928376789d886fd6ee12558a
SHA256: 6ede2162e198b00fa812f1762734c2526d727605205b3a1cc14ae6d052fc9ace
SHA512: cc911ab28260e062a12226b16c22370d687c34bb26f44037fa1303911a11aacdf843a708d9248733789a64a81967f28e94bed11ee3f60ea9fbd66e7cef946f8f
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