-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 3.1.1-4
Maintainer: Christopher Hoskin <mans0954@debian.org>
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-----