packages [ jammy ]
[ jammy-updates ]
[ noble ]
[ noble-updates ]
[ questing ]
[ questing-updates ]
[ resolute ]
[ resolute-updates ]
[ stonking ]
[ Източник: elan ]
Пакет: elan (3.1.1-6ubuntu0.1 и други) [security] [universe]
Връзки за elan
Ресурси за Ubuntu:
Изтегляне на пакет-източник elan.
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Christopher Hoskin
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
tool for managing installations of the Lean theorem prover
Други пакети, свързани с elan
|
|
|
|
-
- dep: libbz2-1.0 [amd64, arm64]
- high-quality block-sorting file compressor library - runtime
-
- dep: libc6 (>= 2.39)
- GNU C Library: Shared libraries
-
- dep: libcurl3t64-gnutls (>= 7.16.2) [не amd64, arm64]
- easy-to-use client-side URL transfer library (GnuTLS flavour)
-
- dep: libcurl4t64 (>= 7.16.2) [amd64, arm64]
- easy-to-use client-side URL transfer library (OpenSSL flavour)
-
- dep: libgcc-s1 (>= 4.2) [не armhf]
- GCC support library
- dep: libgcc-s1 (>= 4.3) [armhf]
-
- dep: liblzma5 (>= 5.1.1alpha+20120614) [amd64, arm64]
- XZ-format compression library
-
- dep: libzstd1 (>= 1.5.5) [amd64, arm64]
- fast lossless compression algorithm
-
- dep: sensible-utils
- Utilities for sensible alternative selection
Изтегляне на elan
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 3.1.1-6ubuntu0.1 | 1 608,3 кБ | 5 337,0 кБ | [списък на файловете] |
| arm64 | 3.1.1-6ubuntu0.1 | 1 487,9 кБ | 4 969,0 кБ | [списък на файловете] |
| armhf | 3.1.1-6 | 1 197,5 кБ | 3 559,0 кБ | [списък на файловете] |
| ppc64el | 3.1.1-6 | 1 351,6 кБ | 4 968,0 кБ | [списък на файловете] |
| riscv64 | 3.1.1-6 | 1 241,2 кБ | 4 041,0 кБ | [списък на файловете] |
| s390x | 3.1.1-6 | 1 491,4 кБ | 5 488,0 кБ | [списък на файловете] |