» Ubuntu » Packages » noble (24.04LTS) » Source » misc » elan
[  jammy  ] [  jammy-updates  ] [  noble  ] [  noble-updates  ] [  questing  ] [  questing-updates  ] [  resolute  ] [  resolute-updates  ] [  stonking  ]

Source Package: elan (3.1.0-1ubuntu0.1) [security] [universe]

Links for elan

Ubuntu Resources:

Maintainer:

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.

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

  • build-depends
  • build-depends-indep
  • 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-0.7+default-dev
    Package not available
  • adep: librust-time-dev
    Utilities for working with time-related functions - Rust source code
  • adep: librust-toml-0.5+default-dev (>= 0.5.8)
    Package not available
  • 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-dirs-5+default-dev
    Package not available
  • 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

Download elan

FileSize (in kB)MD5 checksum
elan_3.1.0.orig.tar.gz 91.4 kB 1f5489a77c471d2b44fad456f9e52577
elan_3.1.0-1ubuntu0.1.debian.tar.xz 6.3 kB 8d89d90dc45014aa9d2755e8bc834780
elan_3.1.0-1ubuntu0.1.dsc 2.8 kB 83e9ceb70de28e44a7acbb34f8c00686
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/debian/elan.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/debian/elan