-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-4 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-pulldown-cmark-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 3c57bed39457f7bee1797fe2023235d2652d3ecf 10052 elan_3.1.1-4.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz 67b25b268f0b653f07b33a5c00fc1a1f54e3701dc0f5db3086dd6a0db25be8ac 10052 elan_3.1.1-4.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz d5309fa31667e213f9488d64b7a727d2 10052 elan_3.1.1-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmd6n64ACgkQf6qUsnUU SprQ5A/+L9J7ahRHQAEFplQd01GAxOwX0Y8Okv6/5a0kBXcz7XdricMz0VZZXJvI W0goOVbDrLpSH1K0qjLLKai1Ds+m9r7qsJoqUHOrYxnypNpJcAd3n6ptR+MQGunu UU/v31byU/vrTZMHUDVS05e+nSqJ4wb5vK7MNoexHeQtYIpGFyetnlkdj4RHhaEu WhzlMU7wrQOQB+migW4iNYPrjmInOP/AElb1yKyH8sLe8CMvhBqD3+Zyi+J90Xwh PF+0GcCLx6GO8k2M/0/1Jq3LxesUIDoIL9M1u5O3VgEYC0T55ovjNcxwCh8QFXfs w3hj5FQdzpYRfkhpheADY9wV0zM+vxRzdTueV24jzREg9hOkSOEQ1TrX83nuVMqm DyiofjN6QGgqAjSg/Sh8y4YPCMDBCgnSgcbYxsspMwKSZKwYwXMNs3MyHrKprtYh frDarhfKtd+dmvmJkIc8aFzeGy7S3+2dNBebG4+9I94LfJUNe3wsr9Gn/vQd3AeA kNfhtINSLKU3Annr7Cl8HAL5zFKodeXzliiFqg8JXedYoR1Uhw3FRqYU08cnJ6DG Uoii10VWltuDVQi78nPuTTDzyHmtNYuZvhI5eSJPRZmNXzyQcg/HNshbU++OwkFr fIpCJQTYgUR3z0lgfCIsf7WWLFIFovHQlCzm0+N3PnzlMcLclZM= =HT8K -----END PGP SIGNATURE-----