Package - elan

Package:  elan
apt-get install elan
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/e/elan/elan_3.1.1-6_amd64.deb (Size: 1.4MiB)

PropertyValue
Packageelan
Version3.1.1-6
Installed-Size5306
MaintainerChristopher Hoskin
Architectureamd64
Dependslibbz2-1.0, libc6 (>= 2.39), libcurl4t64 (>= 7.16.2), libgcc-s1 (>= 4.2), liblzma5 (>= 5.1.1alpha+20120614), libzstd1 (>= 1.5.5), sensible-utils
Descriptiontool for managing installations of the Lean theorem prover
Description-md573025e9110aebf4866656e7478efe271
Homepagehttps://github.com/leanprover/elan
Sectionmath
Priorityoptional
Filenamepool/main/e/elan/elan_3.1.1-6_amd64.deb
Size1488212
MD5sum7a5e6a8ccecd8c64c0e29cc9fecfe2a3
SHA256fd8c2c6a98c04f77ee8874dc6431febb90e416b05042e2350e62391a4760b9fe

Files in package

  • /usr/bin/elan
  • /usr/bin/lake
  • /usr/bin/lean
  • /usr/bin/leanc
  • /usr/bin/leanchecker
  • /usr/bin/leanmake
  • /usr/bin/leanpkg
  • /usr/share/bash-completion/completions/elan
  • /usr/share/doc/elan/changelog.Debian.gz
  • /usr/share/doc/elan/changelog.gz
  • /usr/share/doc/elan/copyright