Package: elan
Priority: optional
Section: universe/math
Installed-Size: 5237
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.1.2-3.1ubuntu1
Depends: 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_4.1.2-3.1ubuntu1_amd64.deb
Size: 1663116
MD5sum: dafb45cf8e3aad0ec449df773f12ec34
SHA1: 69d320a4591f130f6e531d799e63b180671393f9
SHA256: 3920d9aadb6a8045c339c7b55c0fc525b459b5811f92536cd88e06cdbdda671f
SHA512: 5df82ba7b482b27d8d8589dd9ed0468383b86eff872dea250b5082611f9f2bfc82dedbca3af33d929edeeb6156697a137772260c1ce16ccb6b4341112f086b4f
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