packages [ jammy ]
[ jammy-updates ]
[ noble ]
[ noble-updates ]
[ questing ]
[ questing-updates ]
[ resolute ]
[ resolute-updates ]
[ stonking ]
Kaynak Paket: elan (4.1.2-3.1ubuntu1) [security] [universe]
elan için bağlantılar
Ubuntu Kaynakları:
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]
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- elan
- tool for managing installations of the Lean theorem prover
elan ile İlgili Diğer Paketler
|
|
-
- adep: debhelper-compat (= 13)
- Paket mevcut değil
-
- adep: dh-cargo
- debhelper buildsystem for Rust crates using Cargo
-
- adep: librust-clap-dev
- Rust Command Line Argument Parser - Rust source code
-
- adep: librust-error-chain-dev
- Yet another error boilerplate library - Rust source code
-
- adep: librust-flate2-dev
- FLATE, Gzip, and Zlib bindings for Rust - Rust source code
-
- adep: librust-fslock-dev
- Use files as locks - Rust source code
-
- adep: librust-itertools-dev
- Extra iterator adaptors, iterator methods, free functions, and macros - Rust source code
-
- adep: librust-json-dev
- JSON implementation in Rust - Rust source code
-
- adep: librust-rand-dev
- Randomness functionality, number generators - Rust source code
-
- adep: librust-regex-dev
- Regular expressions for Rust - Rust source code
-
- adep: librust-remove-dir-all-dev
- Safe, reliable implementation of remove_dir_all for Windows - Rust source code
-
- adep: librust-same-file-dev
- Simple crate for determining whether two file paths point to the same file - Rust source code
-
- adep: librust-scopeguard-dev
- Resource-acquisition-is-initialization scope guard - Rust source code
-
- adep: librust-serde-dev
- Generic serialization/deserialization framework - Rust source code
-
- adep: librust-serde+derive-dev
- Paket mevcut değil
-
- adep: librust-serde-json-dev
- JSON serialization file format - Rust source code
-
- adep: librust-tar-dev
- tar archive reading/writing library - Rust source code
-
- adep: librust-tempfile-dev
- Managing temporary files and directories - Rust source code
-
- adep: librust-term-0.7+default-dev
- Paket mevcut değil
-
- adep: librust-time-dev
- Utilities for working with time-related functions - Rust source code
-
- adep: librust-toml-0.5+default-dev (>= 0.5.8)
- Paket mevcut değil
-
- adep: librust-url-dev
- URL library for Rust - Rust source code
-
- adep: librust-wait-timeout-dev
- Wait on a child process with a timeout, cross-platform - Rust source code
-
- adep: librust-zip-dev
- Support the reading and writing of zip files - Rust source code
-
- adep: librust-clap-2-dev (>= 2.33.3)
- Rust Command Line Argument Parser - Rust source code
-
- adep: librust-curl-dev
- Rust bindings to libcurl for making HTTP requests - Rust source code
-
- adep: librust-dirs-6+default-dev
- Paket mevcut değil
-
- adep: librust-openssl-dev
- OpenSSL bindings - Rust source code
-
- adep: librust-semver-0.9-dev
- Semantic version parsing and comparison - Rust source code
-
- adep: librust-backtrace-dev
- Acquire a backtrace at runtime - Rust source code
-
- adep: librust-aho-corasick-dev
- Fast multiple substring searching - Rust source code
-
- adep: librust-thread-local-dev
- Per-object thread-local storage - Rust source code
-
- adep: librust-xattr-dev
- Unix extended filesystem attributes - Rust source code
-
- adep: librust-bzip2-dev
- bzip2 (compression & decompression) - Rust source code
-
- adep: librust-openssl-probe-dev
- Helping to find SSL certificate locations on the system for OpenSSL - Rust source code
-
- adep: librust-backtrace-sys-dev
- Bindings to the libbacktrace gcc library - Rust source code
-
- adep: librust-pulldown-cmark-dev
- Pull parser for CommonMark - Rust source code
-
- adep: librust-zstd-dev (>= 0.12.1)
- Binding for the zstd compression library - Rust source code
-
- adep: bash-completion
- programmable completion for the bash shell
Download elan
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| elan_4.1.2.orig.tar.gz | 97,4 kB | bab9d06bd4f03a2722da1d58e43ceb64 |
| elan_4.1.2-3.1ubuntu1.debian.tar.xz | 9,7 kB | d78a9de7e5bf495830a0c3b900373b23 |
| elan_4.1.2-3.1ubuntu1.dsc | 2,4 kB | 7c32bba7a14c69533caceac0e171a198 |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/debian/elan.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/debian/elan