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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 2.0.0-2
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-dev, librust-time-dev, librust-toml-dev, 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-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-0.12-dev, bash-completion
Package-List:
 elan deb math optional arch=any
Checksums-Sha1:
 1a2742d66d0518d79737c0335c94ced8e4086e93 95296 elan_2.0.0.orig.tar.gz
 18df460928ee77a7b3f06ebc1f34b4427e3b78d2 5872 elan_2.0.0-2.debian.tar.xz
Checksums-Sha256:
 defa9272887312038e4154aea0ab7e6864eb08ac10aa815616aa06569d1b32a1 95296 elan_2.0.0.orig.tar.gz
 ee68aa143a69059923e7c47225879f6b7dac08ad95af3f4d4d899f802457aedc 5872 elan_2.0.0-2.debian.tar.xz
Files:
 b6057c55c559b8c3fdeff744fb1eedb0 95296 elan_2.0.0.orig.tar.gz
 a91b3542d83f53e982743b59766b9737 5872 elan_2.0.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmT05pcACgkQf6qUsnUU
Spo+RQ//QroGrk+YVvcRCl9cSJ4ygmlj/T3XPSVFKwuOBN+5Oyf2CgEQK2KttBCP
3GLsUkJ7nvqwaz4RcJXOQteAwh2WZbliZ5VsCdtO6xN4/cb9Dgj3QnWFLGzFE4J3
NbjpK6y9Cc8ye1Dv/JIUjvNb6iTXbggJH5x0RCkEhsgT0dCPQtJX+L4cjj/ITC/x
AEPLLeqX5dMVT2NdZ8DUfz3x90BjANjJYnI/cxS/ZlI8mkQ5d5s+GGql8O0xaf8c
g14zTePbJFyMXFg134d4K1OXrnDKpAX8C3WDXxX5R+por+sVeY3PKVEEa9V4dHpd
gsi1369xDX7hAHN4X2xKGURdzT+mSDRTpra02RFuhWdgKzQh56hWqig6A4/EHNfg
UQ9BgdKuQUzBJGBjnLsEln89yZ0tiz4/RBeg6rvpmX2aVvjT4FZf6IFmSAmTQGS7
PJmEsKr4SH/nLJLZKUAMQ0IqyHXHPppkCjpnbttllgQQ7oUh6UL/mH2matVbU1uF
m0MvbYWiYjxa2XrUTrsFKGiKYsm8wQqM1PWdaCtM4wbUmvSy5U6SxpyQBbui0nQc
EmdH//klt26FR+FaxcwhrzQ7Nmm/EyDIb8YKFGkrLr6PqoDnyf/0LIijNCXE4bSZ
9W6D1uoqlNk9sqiXBzruOK+gfZ4Y1jxXx70CFVBoonelqRjsHAE=
=BAA7
-----END PGP SIGNATURE-----