[ aramo ]
Bronpakket: elan (1.3.1-3)
Verwijzigingen voor elan
Trisquel bronnen:
Beheerder:
Original Maintainer:
- Christopher Hoskin
Externe bronnen:
- Homepage [github.com]
De volgende binaire pakketten worden van dit bronpakket gebouwd:
- elan
- tool for managing installations of the Lean theorem prover
Andere aan elan gerelateerde pakketten
|
|
-
- adep: debhelper-compat (= 13)
- Pakket niet beschikbaar
-
- 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
- DEFLATE compression and decompression exposed as Read/BufRead/Write streams - 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
- Generic serialization/deserialization framework - feature "derive" and 1 more
-
- adep: librust-serde-json-dev
- JSON serialization file format - Rust source code
-
- adep: librust-sha2-dev
- Pure Rust implementation of the SHA-2 hash function family including SHA-224, SHA-256, SHA-384, and SHA-512 - Rust source code
-
- adep: librust-tar-dev
- A TAR file reader and writer - 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
- Date and time library - Rust source code
-
- adep: librust-toml-dev
- Native Rust encoder and decoder of TOML-formatted files and streams - Rust source code
-
- adep: librust-url-dev
- URL library for Rust, based on the WHATWG URL Standard - 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+atty-dev
- Rust Command Line Argument Parser - feature "atty"
-
- adep: librust-clap+strsim-dev
- Rust Command Line Argument Parser - feature "strsim" and 1 more
-
- adep: librust-clap+vec-map-dev
- Rust Command Line Argument Parser - feature "vec_map"
-
- adep: librust-clap+ansi-term-dev
- Rust Command Line Argument Parser - feature "ansi_term"
-
- 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 for bzip2 compression and decompression exposed as Reader/Writer streams - 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-zip+time-dev
- Support the reading and writing of zip files - feature "time"
-
- adep: bash-completion
- programmable completion for the bash shell
Download elan
| Bestand | Grootte (in kB) | MD5 checksum |
|---|---|---|
| elan_1.3.1-3.dsc | 2,5 kB | f558a87010968bcc8b7d4c58eb93a52a |
| elan_1.3.1.orig.tar.gz | 93,7 kB | 2ca7f6af1bdd6b53dda2bf23678bf9d9 |
| elan_1.3.1-3.debian.tar.xz | 7,1 kB | 3de076c944938a0644639dc3275c9500 |