[ jammy ]
[ jammy-updates ]
[ noble ]
[ noble-updates ]
[ questing ]
[ questing-updates ]
[ resolute ]
[ resolute-updates ]
[ stonking ]
[ Kaynak: elan ]
Paket: elan (4.1.2-3.1ubuntu1) [security] [universe]
elan için bağlantılar
Ubuntu Kaynakları:
elan Kaynak Paketini İndir:
Geliştirici:
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.
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
tool for managing installations of the Lean theorem prover
elan ile İlgili Diğer Paketler
|
|
|
|
-
- 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)
- GCC support library
-
- dep: liblzma5 (>= 5.1.1alpha+20120614)
- XZ-format compression library
-
- dep: libzstd1 (>= 1.5.5)
- fast lossless compression algorithm
-
- dep: sensible-utils
- Utilities for sensible alternative selection
elan indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| amd64 | 1.624,1 kB | 5.237,0 kB | [dosya listesi] |