-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-2 Maintainer: Christopher Hoskin Homepage: https://github.com/leanprover/elan Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/debian/elan Vcs-Git: https://salsa.debian.org/debian/elan.git 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 (>= 0.5.8), librust-url-dev, librust-wait-timeout-dev, librust-zip-dev, librust-clap-2+atty-dev (>= 2.33.3), librust-clap-2+strsim-dev (>= 2.33.3), librust-clap-2+vec-map-dev (>= 2.33.3), librust-clap-2+ansi-term-dev (>= 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-markdown-dev, librust-zstd-dev (>= 0.12.1), bash-completion Package-List: elan deb math optional arch=any Checksums-Sha1: 412c6038261661837850e6d50e04c43e67d8d00c 93564 elan_3.1.1.orig.tar.gz f98b4e315630aa0cfe7a8400b16955d5c90866a7 6520 elan_3.1.1-2.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz 7b866b1ec7b9068756d28bfe0317b85043b7c995dedbcbadf228b53f8d518070 6520 elan_3.1.1-2.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz 8ff49861fe01ed0d1a0c2400d0a7db1e 6520 elan_3.1.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmZZc5MACgkQf6qUsnUU SpoyQw/+Nz1l8/Yf7jTsxvmt6XqQQnotR5juVlLLWoOghqwM0DBkMy+QBFCLhd8/ YQWpmpkwdqBmjyxBnEDxGIpV3I28Qt44aONK3jsoc4ZCgqmfxPHqXujaH7SijFWo KvF8gn9TGT2s5uwLDJDyvCf1L1D9S+ZzVCcUJkJ27bRjCX33v/FbiuxEaby486qz p1jlstwY6RWuNfvdKht//d1OsIZvQ8MLMuov6pobiVgRhFELIvnIoAcfUVq1tf75 ATkeuF/OQ92mKhuYYb4cDJ7GrHvTZNB6rxzB3jXc0jbhqXv0SyXWw0h7QO7dJ8S5 j7Vmdy3joPwYB6DpLR92YvNDvPXnvKRgXjzS57X3DQP9poAwHL1YdBQzBclcvedD Y6cHDsMcz/YioWa+C8aIXLsoniYFht7GEO1CxQrukeWN5UfQtYdlZqaJq3WNpZpR nrJs2LxsdWs2qieuvAtM/kzn98y8T1gojkw5EIGCY/OZI0TlAO7S4FIMY0RcVTDU 5uffbudZh8Ez+ckkuTEjs4ZjTforspnclMU/T+wt+MFxuZDjtWPK/NJRTJ5LDo+4 2tfS0cnyaUy6DCgfNKZgplw+bHfKGIl8OLAsJWM/NJkIqAKynMa4nh6aIxxFdbGd +JFLZ4W38blIaHtWPcQX7zxb857KhRgU9PldlEsi1Eo680yr16A= =HWQu -----END PGP SIGNATURE-----