Debian NEW package overview for elan
elan_1.0.6-1_amd64.changes (click to toggle)
Format:1.8
Date:Mon, 10 May 2021 21:15:09 +0100
Source:elan
Binary:elan elan-dbgsym
Architecture:source amd64
Version:1.0.6-1
Distribution:unstable
Urgency:medium
Maintainer:Christopher Hoskin <mans0954@debian.org>
Changed-By:Christopher Hoskin <mans0954@debian.org>
Description:
elan       - tool for managing installations of the Lean theorem prover
Closes:991801
Changes:
elan (1.0.6-1) unstable; urgency=medium

  * Initial release (Closes: #991801)
Files:
ab0da673b4f13887499bc3f550842a52 2535 math optional elan_1.0.6-1.dsc
89dd78bb4c34ed80a4875a3909cee539 96051 math optional elan_1.0.6.orig.tar.gz
7aac128375abafd3f86b5bae169e7479 5260 math optional elan_1.0.6-1.debian.tar.xz
98016d34a68d89614339d6fe0c8e1df4 11710720 debug optional elan-dbgsym_1.0.6-1_amd64.deb
00939c61599af0fec6502cb4b6fa6f8d 12351 math optional elan_1.0.6-1_amd64.buildinfo
7000fc512b9e7686984c78d05dfebdf7 1148496 math optional elan_1.0.6-1_amd64.deb
elan_1.0.6-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:elan
Binary:elan
Architecture:any
Version:1.0.6-1
Maintainer:Christopher Hoskin <mans0954@debian.org>
Homepage:https://github.com/leanprover/elan
Standards-Version:4.5.1
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-dev, librust-time-dev, librust-toml-dev, librust-url-dev, librust-wait-timeout-dev, librust-zip-dev, librust-clap+atty-dev, librust-clap+strsim-dev, librust-clap+vec-map-dev, librust-clap+ansi-term-dev, librust-curl-dev, librust-walkdir-dev, librust-openssl-dev, librust-semver-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-markdown-dev, bash-completion
Package-List:elan deb math optional arch=any
Files:
89dd78bb4c34ed80a4875a3909cee539 96051 elan_1.0.6.orig.tar.gz
7aac128375abafd3f86b5bae169e7479 5260 elan_1.0.6-1.debian.tar.xz
lintian 2.94.0~bpo10+1 check for elan_1.0.6-1.dsc (click to toggle)
README.source for elan_1.0.6-1.dsc (click to toggle)
No README.source in this package
control file for elan_1.0.6-1_amd64.deb (click to toggle)
Package:elan
Version:1.0.6-1
Architecture:amd64
Maintainer:Christopher Hoskin <mans0954@debian.org>
Installed-Size:4248
Depends:libc6 (>=2.18), libcurl3-gnutls (>=7.16.2), libgcc-s1 (>=4.2), sensible-utils
Section:math
Priority:optional
Homepage:https://github.com/leanprover/elan
Description:
tool for managing installations of the Lean theorem prover
 elan is a small tool for managing your installations of the Lean theorem
 prover. It places lean and leanpkg binaries in your PATH that automatically
 select and, if necessary, download the Lean version described in the
 lean_version field of your project's leanpkg.toml. You can also install,
 select, run, and uninstall Lean versions manually using the commands of the
 elan executable.
lintian 2.94.0~bpo10+1 check for elan_1.0.6-1_amd64.deb (click to toggle)
contents of elan_1.0.6-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-05-10 20:15 ./
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/bin/
-rwxr-xr-x root/root   4311552 2021-05-10 20:15 ./usr/bin/elan
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/bash-completion/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/bash-completion/completions/
-rw-r--r-- root/root     16876 2021-05-10 20:15 ./usr/share/bash-completion/completions/elan
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/doc/elan/
-rw-r--r-- root/root       157 2021-05-10 20:15 ./usr/share/doc/elan/changelog.Debian.gz
-rw-r--r-- root/root      1376 2021-05-10 20:15 ./usr/share/doc/elan/changelog.gz
-rw-r--r-- root/root      2173 2021-05-10 20:15 ./usr/share/doc/elan/copyright
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/bin/lean -> elan
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/bin/leanc -> elan
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/bin/leanchecker -> elan
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/bin/leanmake -> elan
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/bin/leanpkg -> elan
control file for elan-dbgsym_1.0.6-1_amd64.deb (click to toggle)
Package:elan-dbgsym
Source:elan
Version:1.0.6-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Christopher Hoskin <mans0954@debian.org>
Installed-Size:12652
Depends:elan (=1.0.6-1)
Section:debug
Priority:optional
Description:
debug symbols for elan
Build-Ids:2fb63f3b96b8b93295f90fdc2ec6c7a8b737d068
lintian 2.94.0~bpo10+1 check for elan-dbgsym_1.0.6-1_amd64.deb (click to toggle)
contents of elan-dbgsym_1.0.6-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-05-10 20:15 ./
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/lib/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/lib/debug/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/lib/debug/.build-id/2f/
-rw-r--r-- root/root  12945312 2021-05-10 20:15 ./usr/lib/debug/.build-id/2f/b63f3b96b8b93295f90fdc2ec6c7a8b737d068.debug
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/
drwxr-xr-x root/root         0 2021-05-10 20:15 ./usr/share/doc/
lrwxrwxrwx root/root         0 2021-05-10 20:15 ./usr/share/doc/elan-dbgsym -> elan

Timestamp: 02.08.2021 / 21:00:59 (UTC)