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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 3.1.1-5
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
 c515f434fb583f1274b7bb9d1edabf4fcc152c02 10484 elan_3.1.1-5.debian.tar.xz
Checksums-Sha256:
 b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz
 c36362bdd556f770d4687e75be355aff6aba9e07e57b3f87672f7ab8c49ebb3d 10484 elan_3.1.1-5.debian.tar.xz
Files:
 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz
 32380a85caa5f44cdb6975b6deb2d0a1 10484 elan_3.1.1-5.debian.tar.xz

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

iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmf4v8AUHG1hbnMwOTU0
QGRlYmlhbi5vcmcACgkQf6qUsnUUSpoBrxAAoOF3TlXiU5ZPd9StoggRH+XFcMfn
TIB6bx3CLWlvFZr1AP69/31dAoE9UVaSE+XsZGLYrSUWytZPKknr21i6Ct4ss39b
PJ+OsG75ITJdD9ihdmAs/wwP1kMn6+CSdfo3We+9NN8q4CKQPZxnco+/2NoR07vB
fPC+Z85LTbWo2SGfjQON/ArCQaYoKHf7x533X8iKnKa/V2OqlVUPx6//3Hu/bJKC
LGHwmcv1+/JFeW4AlGsgoAKgALRjSsvns/TkRQGWDZMebadS7B8LT+oVvPjYq9wl
MEGhp4Lwi3/iTbjtM6m/BtjGMSjXPYcyQyVDU2YBEixV6w7psUg+k4l+vhLlrVod
exmIGx5ISjDvaLmHBkRVVJi16vOi2VwCmd9YnoHV4j1OFd2bC1dDESbZ+5/oeRlQ
plimDS6AaJEhGESdZ/GNBH34wY7MMtETG7roHSJNqiaX8W8defewkZ0MBQrSfKvV
2uy566JgIWWSdPuIvvw4IZIhiOAxH2pPxvOSgvb2t9z9qyZENYg3KronWUmQ01GK
gI4aivCDFK8jYrP599oshdIb0+cngJcaEeKWbRJrzMDocIlQRIwyqbCbLP5HNOx2
s5Zll9ZzjscX4r3EV2M1cgWcEXR4r4ffaWDMclWaszCGyo6nkMALbK97tN59Twsk
2vwCz/9l/ISRVSg=
=mN4P
-----END PGP SIGNATURE-----