[ Paquet source : elan ]
Paquet : elan (4.1.2-2 et autres)
Liens pour elan
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source elan :
Responsable :
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
|
|
|
|
-
- dep: libbz2-1.0 [amd64, arm64, x32]
- Bibliothèque de compression de fichiers (tri de block haute qualité)
-
- dep: libc6 (>= 2.38) [x32]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.39) [non loong64, x32]
- dep: libc6 (>= 2.41) [loong64]
-
- dep: libcurl3t64-gnutls (>= 7.16.2) [x32]
- bibliothèque de transfert par URL côté client et simple d'utilisation - avec GnuTLS
-
- dep: libcurl4t64 (>= 7.16.2) [non x32]
- bibliothèque de transfert par URL côté client et simple d'utilisation - avec OpenSSL
-
- dep: libgcc-s1 (>= 4.2) [non armel, armhf]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 4.3) [armel, armhf]
-
- dep: liblzma5 (>= 5.1.1alpha+20120614) [amd64, arm64]
- librairie de compression au format XZ
-
- dep: libzstd1 (>= 1.5.5) [amd64, arm64, x32]
- algorithme de compression rapide sans perte
-
- dep: sensible-utils
- utilitaires pour la sélection de solutions de remplacement
Télécharger elan
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 4.1.2-2 | 1 483,5 ko | 5 426,0 ko | [liste des fichiers] |
| arm64 | 4.1.2-2 | 1 271,9 ko | 4 846,0 ko | [liste des fichiers] |
| armel | 4.1.2-2 | 1 039,6 ko | 3 629,0 ko | [liste des fichiers] |
| armhf | 4.1.2-2 | 1 033,1 ko | 3 565,0 ko | [liste des fichiers] |
| i386 | 4.1.2-2 | 1 343,6 ko | 4 544,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 4.1.2-2 | 1 064,4 ko | 4 462,0 ko | [liste des fichiers] |
| mips64el | 4.1.2-2 | 1 163,0 ko | 5 648,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 4.1.2-2 | 1 124,3 ko | 5 230,0 ko | [liste des fichiers] |
| ppc64el | 4.1.2-2 | 1 177,4 ko | 4 910,0 ko | [liste des fichiers] |
| riscv64 | 4.1.2-2 | 1 135,5 ko | 3 851,0 ko | [liste des fichiers] |
| s390x | 4.1.2-2 | 1 265,4 ko | 5 326,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 4.1.2-2 | 1 051,1 ko | 5 171,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 3.1.1-3 | 1 338,0 ko | 4 561,0 ko | [liste des fichiers] |