Package: elan (3.1.1-4) [debports]

[ Source:  ]

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

• dep: libc6 (>= 2.39)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libcurl3t64-gnutls (>= 7.16.2)

  Simpelt adresseoverførelsesbibliotek for klientsiden - GnuTLS-variant

• dep: libgcc-s1 (>= 4.2)

  GCC støttebibliotek

• dep: sensible-utils

  Redskaber til alternativ intelligent markering

Download elan

Download for all available architectures

Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	1,029.8 kB	5,166.0 kB	[list of files]