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
- 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-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
- Package not available
-
- adep:
librust-serde-json-dev
- JSON serialization file format - Rust source code
-
- 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
- Managing temporary files and directories - Rust source code
-
- adep:
librust-term-dev
- Terminal formatting library - Rust source code
-
- adep:
librust-time-dev
- Utilities for working with time-related functions - Rust source code
-
- adep:
librust-toml-dev
- Native encoder and decoder of TOML-formatted data - Rust source code
-
- 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+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 bindings to libcurl for making HTTP requests - Rust source code
-
- adep:
librust-walkdir-dev
- Recursively walk a directory - Rust source code
-
- 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
- Bindings to libbzip2 (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-markdown-dev
- native Rust library for parsing Markdown and outputting HTML - Rust source code
-
- adep:
librust-zstd-0.12-dev
- Package not available
-
- adep:
bash-completion
- programmable completion for the bash shell
