packages [ jammy ]
[ jammy-updates ]
[ noble ]
[ noble-updates ]
[ questing ]
[ questing-updates ]
[ resolute ]
[ resolute-updates ]
[ stonking ]
[ Pakiet źródłowy: elan ]
Pakiet: elan (3.1.0-1ubuntu0.1 i inne) [security] [universe]
Odnośniki dla elan
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego elan:
Opiekun:
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.
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
tool for managing installations of the Lean theorem prover
Inne pakiety związane z elan
|
|
|
|
-
- dep: libbz2-1.0 [amd64, arm64]
- high-quality block-sorting file compressor library - runtime
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU C Library: Shared libraries
- dep: libc6 (>= 2.38) [nie riscv64]
-
- dep: libcurl3t64-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: libzstd1 (>= 1.5.5) [amd64, arm64]
- fast lossless compression algorithm
-
- dep: sensible-utils
- Utilities for sensible alternative selection
Pobieranie elan
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| amd64 | 3.1.0-1ubuntu0.1 | 1 434,3 KiB | 4 888,0 KiB | [lista plików] |
| arm64 | 3.1.0-1build2 | 1 341,6 KiB | 4 392,0 KiB | [lista plików] |
| armhf | 3.1.0-1build2 | 1 078,0 KiB | 3 391,0 KiB | [lista plików] |
| ppc64el | 3.1.0-1build2 | 1 393,9 KiB | 5 096,0 KiB | [lista plików] |
| riscv64 | 3.1.0-1build2 | 1 134,6 KiB | 3 567,0 KiB | [lista plików] |
| s390x | 3.1.0-1build2 | 1 292,8 KiB | 4 924,0 KiB | [lista plików] |