Package Details - elan
Metadata
- Version
- 3.1.1-6ubuntu0.1
- Architecture
amd64- Section
universe/math- Priority
optional- 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
- Homepage
- https://github.com/leanprover/elan
- Description
tool for managing installations of the Lean theorem prover
Relations
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
Reverse Dependencies
Loading…
Status & Files
Storage State: Virtual (Lazy Sync)
Download Size: 1608 KB
Installed Size: 5337 B
Component: universe
Hashes
SHA256: 6ede2162e198b00fa812f1762734c2526d727605205b3a1cc14ae6d052fc9ace SHA1: 5762b716058a1397928376789d886fd6ee12558a MD5: 181df208517a1279eb3f405742d9fdfeWhat is a Package?
A .deb package is a software bundle ready to install on Debian/Ubuntu systems. It contains binaries, configs, and dependency metadata.
How to use: First add the APT repository via sudo apkg add-source, then sudo apt install @pkg.Package. Or download the .deb directly.