packages [ jammy ]
[ jammy-updates ]
[ noble ]
[ noble-updates ]
[ questing ]
[ questing-updates ]
[ resolute ]
[ resolute-updates ]
[ stonking ]
[ Source: elan ]
Paketti: elan (4.1.2-3.1ubuntu1 ja muut) [security] [universe]
Links for elan
Ubuntu-palvelut:
Imuroi lähdekoodipaketti elan:
Ylläpitäjä:
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.
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
tool for managing installations of the Lean theorem prover
Muut pakettiin elan liittyvät paketit
|
|
|
|
-
- dep: libc6 (>= 2.39)
- GNU C Library: Shared libraries
-
- dep: libcurl4t64 (>= 7.16.2)
- easy-to-use client-side URL transfer library (OpenSSL flavour)
-
- dep: libgcc-s1 (>= 4.2) [ei 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
Imuroi elan
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 4.1.2-3.1ubuntu1 | 1,624.1 kt | 5,237.0 kt | [tiedostoluettelo] |
| arm64 | 4.1.2-3.1ubuntu1 | 1,505.2 kt | 4,845.0 kt | [tiedostoluettelo] |
| armhf | 4.1.2-3.1 | 1,216.4 kt | 3,563.0 kt | [tiedostoluettelo] |
| ppc64el | 4.1.2-3.1 | 1,405.6 kt | 5,038.0 kt | [tiedostoluettelo] |
| riscv64 | 4.1.2-3.1 | 1,316.2 kt | 4,262.0 kt | [tiedostoluettelo] |
| s390x | 4.1.2-3.1 | 1,405.3 kt | 5,122.0 kt | [tiedostoluettelo] |