Paketnamen Beschreibungen Quellcodepaketnamen Paket-Inhalte Alle Optionen

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

Links für elan

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Betreuer:

• Ubuntu Developers (E-Mail-Archiv)

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.

Externe Ressourcen:

• Homepage [github.com]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

elan

tool for managing installations of the Lean theorem prover

Andere Pakete mit Bezug zu elan

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Paket nicht verfügbar

• 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

Datei	Größe (in kB)	MD5-Prüfsumme
elan_1.3.1.orig.tar.gz	93,7 kB	2ca7f6af1bdd6b53dda2bf23678bf9d9
elan_1.3.1-3ubuntu0.1.debian.tar.xz	7,2 kB	a3b9a69aec360eec018f6748f4ec6d11
elan_1.3.1-3ubuntu0.1.dsc	2,6 kB	7971cd2f5f23ae9158cb282eeea98959