Source Package: elan (1.4.2-5)
Links for elan
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- elan
- tool for managing installations of the Lean theorem prover
Other Packages Related to elan
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dh-cargo
- sistema di compilazione per debhelper per crate Rust che usano Cargo
-
- adep:
librust-clap-dev
- analizzatore degli argomenti della riga di comando in Rust - codice sorgente Rust
-
- adep:
librust-error-chain-dev
- ennesima libreria di codice ripetitivo per errori - codice sorgente Rust
-
- adep:
librust-flate2-dev
- collegamenti FLATE, Gzip e Zlib per Rust - codice sorgente Rust
-
- adep:
librust-itertools-dev
- Extra iterator adaptors, iterator methods, free functions, and macros - Rust source code
-
- adep:
librust-json-dev
- implementazione di JSON in Rust - codice sorgente Rust
-
- adep:
librust-rand-dev
- funzionalità di casualità, generatori di numeri - codice sorgente Rust
-
- adep:
librust-regex-dev
- espressioni regolari per Rust - codice sorgente Rust
-
- adep:
librust-remove-dir-all-dev
- implementazione sicura ed affidabile di remove_dir_all per Windows - codice sorgente Rust
-
- adep:
librust-same-file-dev
- semplice crate per determinare se due percorsi di file puntano allo stesso file - codice sorgente Rust
-
- adep:
librust-scopeguard-dev
- Resource-acquisition-is-initialization scope guard - Rust source code
-
- adep:
librust-serde-dev
- infrastruttura generica di serializzazione/deserializzazione - codice sorgente Rust
-
- adep:
librust-serde+derive-dev
- Package not available
-
- adep:
librust-serde-json-dev
- formato di file di serializzazione JSON - codice sorgente Rust
-
- adep:
librust-sha2-dev
- Pure Rust implementation of SHA-2 - Rust source code
-
- adep:
librust-tar-dev
- tar archive reading/writing library - Rust source code
-
- adep:
librust-tempfile-dev
- gestione di directory e file temporanei - codice sorgente Rust
-
- adep:
librust-term-dev
- libreria per formattazione del terminale - codice sorgente Rust
-
- adep:
librust-time-dev
- Utilities for working with time-related functions - Rust source code
-
- adep:
librust-toml-dev
- decodificatore e codificatore nativo di dati formattati in TOML - codice sorgente Rust
-
- adep:
librust-url-dev
- libreria per URL per Rust - codice sorgente Rust
-
- adep:
librust-wait-timeout-dev
- Wait on a child process with a timeout, cross-platform - Rust source code
-
- adep:
librust-zip-dev
- gestione della lettura e scrittura di file zip - codice sorgente Rust
-
- adep:
librust-clap-2+atty-dev
(>= 2.33.3)
- Package not available
-
- adep:
librust-clap-2+strsim-dev
(>= 2.33.3)
- Package not available
-
- adep:
librust-clap-2+vec-map-dev
(>= 2.33.3)
- Package not available
-
- adep:
librust-clap-2+ansi-term-dev
(>= 2.33.3)
- Package not available
-
- adep:
librust-curl-dev
- collegamenti Rust a libcurl per fare richieste HTTP - codice sorgente Rust
-
- adep:
librust-walkdir-dev
- attraversamento ricorsivo di una directory- codice sorgente Rust
-
- adep:
librust-openssl-dev
- collegamenti OpenSSL - codice sorgente Rust
-
- adep:
librust-semver-0.9-dev
- confronto e analisi di versioni semantiche - codice sorgente Rust
-
- adep:
librust-backtrace-dev
- acquisizione di una traccia dello stack a runtime - codice sorgente Rust
-
- adep:
librust-aho-corasick-dev
- ricerca veloce di sottostringhe multiple - codice sorgente Rust
-
- adep:
librust-thread-local-dev
- Per-object thread-local storage - Rust source code
-
- adep:
librust-xattr-dev
- attributi estesi del file system Unix - codice sorgente Rust
-
- adep:
librust-bzip2-dev
- collegamenti a libbzip2 (compressione e decompressione) - codice sorgente Rust
-
- adep:
librust-openssl-probe-dev
- ausilio per trovare nel sistema le posizioni dei certificati SSL per OpenSSL - codice sorgente Rust
-
- adep:
librust-backtrace-sys-dev
- collegamenti alla libreria GCC libbacktrace - codice sorgente Rust
-
- adep:
librust-markdown-dev
- libreria Rust nativa per analizzare Markdown e fare output in HTML - codice sorgente Rust
-
- adep:
librust-zstd-0.12-dev
- Package not available
-
- adep:
bash-completion
- completamento programmabile per la shell bash