[ Kaynak: elan ]
Paket: elan (3.1.1-3)
elan için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
elan Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
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.
elan ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcurl3t64-gnutls (>= 7.16.2)
- easy-to-use client-side URL transfer library (GnuTLS flavour)
-
- dep: libgcc-s1 (>= 4.2)
- GCC support library
-
- dep: sensible-utils
- Utilities for sensible alternative selection
elan indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| ppc64el | 1.229,3 kB | 5.162,0 kB | [dosya listesi] |