Source Package: elan (3.1.1-4)
Links for elan
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- elan
- Værktøj til at håndtere installationer for teoribeviseren Lean
Other Packages Related to elan
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dh-cargo
- Debhelper-byggesystem for Rust-containere via Cargo
-
- adep:
librust-clap-dev
- Rust Command Line Argument Parser - Rust-kildekode
-
- adep:
librust-error-chain-dev
- Endnu et fejl boilerplate-bibliotek - Rust-kildekode
-
- adep:
librust-flate2-dev
- FLATE-, Gzip- og Zlib-bindinger for Rust- Rust-kildekode
-
- adep:
librust-itertools-dev
- Ekstra iteratoradaptere, iteratormetoder, frie funktioner og makroer - Rust-kildekode
-
- adep:
librust-json-dev
- JSON-implementering i Rust - Rust-kildekode
-
- adep:
librust-rand-dev
- Vilkårlighedsfunktionalitet, nummeroprettere - Rust-kildekode
-
- adep:
librust-regex-dev
- Regulære udtryk for Rust - Rust-kildekode
-
- adep:
librust-remove-dir-all-dev
- Sikker, troværdig implementering af remove_dir_all for Windows - Rust-kildekode
-
- adep:
librust-same-file-dev
- Simpel crate til at bestemme om to filstier peger på den samme fil - Rust-kildekode
-
- adep:
librust-scopeguard-dev
- Områdevagt for resource-acquisition-is-initialization - Rust-kildekode
-
- adep:
librust-serde-dev
- Generisk serialiserings/deserialiseringsramme - Rust-kildekode
-
- adep:
librust-serde+derive-dev
- Package not available
-
- adep:
librust-serde-json-dev
- JSON-serialiseringsfilformat - Rust-kildekode
-
- adep:
librust-sha2-dev
- Ren Rust-implementering af SHA-2 - Rust-kildekode
-
- adep:
librust-tar-dev
- tar archive reading/writing library - Rust source code
-
- adep:
librust-tempfile-dev
- Håndtering af midlertidige filer og mapper - Rust-kildekode
-
- adep:
librust-term-0.7+default-dev
- Package not available
-
- adep:
librust-time-dev
- Redskaber for arbejdet med tidsrelaterede funktioner - Rust-kildekode
-
- adep:
librust-toml-0.5+default-dev
(>= 0.5.8)
- Package not available
-
- adep:
librust-url-dev
- URL-bibliotek for Rust - Rust-kildekode
-
- adep:
librust-wait-timeout-dev
- Vent på en underproces med et tidsudløb, for flere platforme - Rust-kildekode
-
- adep:
librust-zip-dev
- Understøtter læsning og skrivning af zip-filer - Rust-kildekode
-
- 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
- Rust-bindinger til libcurl for HTTP-forespørgsler - Rust-kildekode
-
- adep:
librust-dirs-5+default-dev
- Package not available
-
- adep:
librust-walkdir-dev
- Rekursivt løb igennem en mappe - Rust-kildekode
-
- adep:
librust-openssl-dev
- OpenSSL-bindinger - Rust-kildekode
-
- adep:
librust-semver-0.9-dev
- Semantisk versionsfortolkning og sammenligning - Rust-kildekode
-
- adep:
librust-backtrace-dev
- Indhent en backtrace på kørselstidspunktet - Rust-kildekode
-
- adep:
librust-aho-corasick-dev
- Hurtig søgning for flere understrenge - Rust-kildekode
-
- adep:
librust-thread-local-dev
- Per-objekt tråd-lokalt lager - Rust-kildekode
-
- adep:
librust-xattr-dev
- Unix-udvidede filsystemattributter - Rust-kildekode
-
- adep:
librust-bzip2-dev
- Bindinger til libbzip2 (komprimering og dekomprimering) - Rust-kildekode
-
- adep:
librust-openssl-probe-dev
- Hjælp til at finde SSL-certifikatplaceringer på systemet for OpenSSL - Rust-kildekode
-
- adep:
librust-backtrace-sys-dev
- Bindinger til libabacktrace gcc-biblioteket - Rust-kildekode
-
- adep:
librust-pulldown-cmark-dev
- Pull-fortolker for CommonMark - Rust-kildekode
-
- adep:
librust-zstd-dev
(>= 0.12.1)
- Binding for komprimeringsbiblioteket zstd - Rust-kildekode
-
- adep:
bash-completion
- Programmerbar færdiggørelse for bashskallen
