Paquet : elan (3.1.1-6)

Liens pour elan

Ressources Debian :

Télécharger le paquet source elan :

Responsable :

Christopher Hoskin (Page QA)

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

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.

Autres paquets associés à elan

dépendances

recommandations

suggestions

enhances

dep: libbz2-1.0 [amd64, arm64]

Bibliothèque de compression de fichiers (tri de block haute qualité)
dep: libc6 (>= 2.39)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libcurl4t64 (>= 7.16.2)

bibliothèque de transfert par URL côté client et simple d'utilisation - avec OpenSSL
dep: libgcc-s1 (>= 4.2) [non armhf]

bibliothèque de prise en charge de GCC

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

librairie de compression au format XZ
dep: libzstd1 (>= 1.5.5) [amd64, arm64]

algorithme de compression rapide sans perte
dep: sensible-utils

utilitaires pour la sélection de solutions de remplacement

Télécharger elan

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 453,3 ko	5 306,0 ko	[liste des fichiers]
arm64	1 246,3 ko	4 714,0 ko	[liste des fichiers]
armhf	1 001,6 ko	3 497,0 ko	[liste des fichiers]
i386	1 297,9 ko	4 409,0 ko	[liste des fichiers]
ppc64el	1 134,2 ko	4 778,0 ko	[liste des fichiers]
riscv64	1 105,8 ko	3 763,0 ko	[liste des fichiers]
s390x	1 216,8 ko	5 138,0 ko	[liste des fichiers]