{"id":13642246,"name":"elan","ecosystem":"debian","description":null,"homepage":"https://github.com/leanprover/elan","licenses":null,"normalized_licenses":[],"repository_url":"https://github.com/leanprover/elan","keywords_array":["misc"],"namespace":"main","versions_count":1,"first_release_published_at":"2026-02-12T01:51:11.619Z","latest_release_published_at":"2026-02-12T01:51:11.619Z","latest_release_number":"3.1.1-6","last_synced_at":"2026-03-13T17:08:44.082Z","created_at":"2026-02-12T01:51:11.303Z","updated_at":"2026-05-03T15:09:27.280Z","registry_url":"https://tracker.debian.org/pkg/elan","install_command":"apt-get install elan","documentation_url":"https://packages.debian.org/trixie/elan","metadata":{"component":"main","architecture":"any","priority":"optional","binary":"elan","standards_version":"4.7.2","maintainer":"Christopher Hoskin \u003cmans0954@debian.org\u003e","build_depends":"debhelper-compat (= 13), dh-cargo, librust-clap-dev, librust-error-chain-dev, librust-flate2-dev, librust-itertools-dev, librust-json-dev, librust-rand-dev, librust-regex-dev, librust-remove-dir-all-dev, librust-same-file-dev, librust-scopeguard-dev, librust-serde-dev, librust-serde+derive-dev, librust-serde-json-dev, librust-sha2-dev, librust-tar-dev, librust-tempfile-dev, librust-term-0.7+default-dev, librust-time-dev, librust-toml-0.5+default-dev (\u003e= 0.5.8), librust-url-dev, librust-wait-timeout-dev, librust-zip-dev, librust-clap-2+atty-dev (\u003e= 2.33.3), librust-clap-2+strsim-dev (\u003e= 2.33.3), librust-clap-2+vec-map-dev (\u003e= 2.33.3), librust-clap-2+ansi-term-dev (\u003e= 2.33.3), librust-curl-dev, librust-dirs-5+default-dev, librust-walkdir-dev, librust-openssl-dev, librust-semver-0.9-dev, librust-backtrace-dev, librust-aho-corasick-dev, librust-thread-local-dev, librust-xattr-dev, librust-bzip2-dev, librust-openssl-probe-dev, librust-backtrace-sys-dev, librust-pulldown-cmark-dev, librust-zstd-dev (\u003e= 0.12.1), bash-completion","build_depends_indep":null,"build_depends_arch":null},"repo_metadata":{},"repo_metadata_updated_at":"2026-05-03T15:09:27.257Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":0.0,"dependent_packages_count":0.0,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":100},"purl":"pkg:deb/debian/elan?arch=source\u0026distro=debian-13\u0026repository_url=https://packages.debian.org/trixie","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/debian/elan","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/debian/elan","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/debian/elan/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/debian-13/packages/elan/codemeta","maintainers":[]}