[ aramo ]
[ Pakiet źródłowy: elan ]
Pakiet: elan (1.3.1-3)
Odnośniki dla elan
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego elan:
Opiekun:
Original Maintainer:
- Christopher Hoskin
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z elan
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez libc6-udeb
-
- dep: libcurl3-gnutls (>= 7.16.2)
- easy-to-use client-side URL transfer library (GnuTLS flavour)
-
- dep: libgcc-s1 (>= 4.2) [nie armhf]
- GCC support library
- dep: libgcc-s1 (>= 4.3) [armhf]
-
- dep: sensible-utils
- Utilities for sensible alternative selection
Pobieranie elan
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 1 261,9 KiB | 4218 KiB | [lista plików] |
| arm64 | 1 149,8 KiB | 3666 KiB | [lista plików] |
| armhf | 1 094,4 KiB | 3169 KiB | [lista plików] |
| ppc64el | 1 342,0 KiB | 4774 KiB | [lista plików] |