[ bookworm ] [ trixie ] [ sid ]

Pakiet źródłowy: elan (4.1.2-3.1)

Odnośniki dla elan

Zasoby systemu Debian:

Opiekun:

Christopher Hoskin (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [github.com]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

elan: tool for managing installations of the Lean theorem prover

Inne pakiety związane z elan

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Pakiet niedostępny
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

Pakiet niedostępny
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

Pakiet niedostępny
adep: librust-time-dev

Utilities for working with time-related functions - Rust source code
adep: librust-toml-0.5+default-dev (>= 0.5.8)

Pakiet niedostępny
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-5+default-dev

Pakiet niedostępny
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

Programowalne dopełnianie dla powłoki bash

Download elan

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
elan_4.1.2-3.1.dsc	2,6 KiB	696bdab2f0d7156e4e57c5804d85b8f2
elan_4.1.2.orig.tar.gz	97,4 KiB	bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1.debian.tar.xz	9,5 KiB	baf057f3a5f68d2a46b8ab1d2bac8ee5

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/debian/elan.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/debian/elan