Paketti: elan (3.1.1-1)

Links for elan

Debian-palvelut:

Imuroi lähdekoodipaketti elan:

Ylläpitäjä:

Christopher Hoskin (Laadunvalvontasivu)

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

tool for managing installations of the Lean theorem prover

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

Muut pakettiin elan liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libcurl3t64-gnutls (>= 7.16.2)

easy-to-use client-side URL transfer library (GnuTLS flavour)
dep: libgcc-s1 (>= 4.2)

GCC:n apukirjasto
dep: sensible-utils

Utilities for sensible alternative selection

Imuroi elan

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
riscv64	1,128.0 kt	3,769.0 kt	[tiedostoluettelo]