noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  jammy-updates  ] [  noble  ] [  noble-updates  ] [  resolute  ] [  resolute-updates  ] [  stonking  ] [  tenacious  ]

À propos

published in section universe

Ressources Ubuntu :

• Launchpad
• Rapports de bogues
• Publishing History
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Christopher Hoskin

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

• Page d'accueil [github.com]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

elan

tool for managing installations of the Lean theorem prover

Autres paquets associés à elan

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Paquet indisponible

• 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

  Paquet indisponible

• 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

  Paquet indisponible

• adep: librust-time-dev

  Utilities for working with time-related functions - Rust source code

• adep: librust-toml-0.5+default-dev (>= 0.5.8)

  Paquet indisponible

• 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+default-dev (>= 3.0.1)

  Paquet indisponible

• 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 system-wide trust anchor ("root") certificate locations based on paths typically used by `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

  programmable completion for the bash shell

Download elan

Fichier	Taille (en ko)	Somme MD5
elan_4.1.2-3.2.dsc	2,6 ko	8dbb7f1349aeb325201441178df3af47
elan_4.1.2.orig.tar.gz	97,4 ko	bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.2.debian.tar.xz	9,6 ko	289f2c061bcc487d4dd462f54ceaa398

Dépôt Debian des paquets source (VCS: Git)

https://salsa.debian.org/debian/elan.git

Dépôt Debian des paquets source (interface web)

https://salsa.debian.org/debian/elan