Package: elan (3.1.1-6)

Links for elan

Debian Resources:

Download Source Package elan:

Maintainer:

Christopher Hoskin (QA Page)

External Resources:

Homepage [github.com]

Similar packages:

Værktøj til at håndtere installationer for teoribeviseren Lean

Elan er et lille værktøj til at håndtere dine installationer for teoribeviseren Lean. Den placerer lean- og leanpkg-binære filer i din STI (PATH), der automatisk vælger og, hvis nødvendigt, henter Lean-versionen beskrevet i feltet lean_version for dit projekts leanpkg.toml. Du kan også installere, vælge, afvikle og afinstallere Lean-versioner manuelt via kommandoerne for den kørbare elan.

Other Packages Related to elan

depends

recommends

suggests

enhances

dep: libbz2-1.0 [amd64, arm64]

højkvalitets bloksorteringsfilpakningsbibliotek - kørselstid
dep: libc6 (>= 2.39)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libcurl4t64 (>= 7.16.2)

nemt at bruge adresseoverførelsesbibliotek for klientsiden (OpenSSL-variant)
dep: libgcc-s1 (>= 4.2) [not armhf]

GCC støttebibliotek

dep: libgcc-s1 (>= 4.3) [armhf]
dep: liblzma5 (>= 5.1.1alpha+20120614) [amd64, arm64]

Kompressionsbibliotek for XZ-formatet
dep: libzstd1 (>= 1.5.5) [amd64, arm64]

Hurtig komprimeringsalgoritme uden kvalitetstab
dep: sensible-utils

Redskaber til alternativ intelligent markering

Download elan

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	1,453.3 kB	5,306.0 kB	[list of files]
arm64	1,246.3 kB	4,714.0 kB	[list of files]
armhf	1,001.6 kB	3,497.0 kB	[list of files]
i386	1,297.9 kB	4,409.0 kB	[list of files]
ppc64el	1,134.2 kB	4,778.0 kB	[list of files]
riscv64	1,105.8 kB	3,763.0 kB	[list of files]
s390x	1,216.8 kB	5,138.0 kB	[list of files]