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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.3.1-2
Maintainer: Christopher Hoskin <mans0954@debian.org>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.6.0.1
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+atty-dev, librust-clap+strsim-dev, librust-clap+vec-map-dev, librust-clap+ansi-term-dev, 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-zip+time-dev, bash-completion
Package-List:
 elan deb math optional arch=any
Checksums-Sha1:
 ba8d925dbc16927efaa80bc4d2619fa61e1d6a32 95935 elan_1.3.1.orig.tar.gz
 bb0525652085fa7907a6a76f8b1e52ee671820e5 7232 elan_1.3.1-2.debian.tar.xz
Checksums-Sha256:
 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015 95935 elan_1.3.1.orig.tar.gz
 5b96a2033f45ae6f0db26ace507bd2c0249128f4167b5a5db4118b0769b578e0 7232 elan_1.3.1-2.debian.tar.xz
Files:
 2ca7f6af1bdd6b53dda2bf23678bf9d9 95935 elan_1.3.1.orig.tar.gz
 543a8002e5a679e7f2f45ee4e56c7e06 7232 elan_1.3.1-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmHyWnkACgkQf6qUsnUU
SprM9RAAjgh1k8LZeocn85G85MIkhygqpCrwqKXLPhMzDSMCwcOtstG/1wGjnsjr
11UppsoOrPf0P6afxH3Mfmk02NaznHMXrWEBDDqrXViBwWjs0i5v0HXUb4qbDQ2j
PQn+4OVBHMaBS7SPyH1y10DAECai+0XT8xE/62FH5a7Rv8uw0sQPJ8oxJpjC6A/T
NpSQkSuVz7z2p9oOUMO2jjRFppD3AfGDDE7095sFHDx0Ixi24OEhQ5vvj1r/dVqM
gcCQ9TzUG3SL0V22rvpfW1sTV6faIpdumDMpyMqRI4TC1anwTue0SRO6PpfHG7ct
0j87U+FVVwljkj5aSfVsoq1UlvWjRBhyEFHNq1sKNgeF2hrGcvB7gjrGZIYyftea
QR+Vt/Aw7W2kVGa92ebPusWWrxzPkXZNy7JHKKq+mgSBE9eQ0TFXM4gMP9NZz6or
0gYbu/3w1ZALMC4lH8ZPFMZ3omxF/t7CH8LheBf5y1INjE0cCnSCa/MzohmES/WA
AAZw5y2CeAU+A8V9U7ciogHNDfFsCwkthXbByS4CBQygBxCDICZgqjLjz+Iqz1fv
So/DxNZtnxaWI5CsLrEUOkiG6ZS3wCOVOZf408mcieeWfecP3wqbope4M9VCVwXM
41v4u1YH7lBj26HEmdWhGqGlQiu/c283CeUf3K8ILSmuVgSkryw=
=99Wv
-----END PGP SIGNATURE-----