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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.3.1-1
Maintainer: Christopher Hoskin <mans0954@debian.org>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.5.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
 5f1b93ebe0f7403efa0fdd0bf178593b78054ba3 7104 elan_1.3.1-1.debian.tar.xz
Checksums-Sha256:
 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015 95935 elan_1.3.1.orig.tar.gz
 803d99b13b7d723f70161f558adab18669c41fe7e2441cebc8d9e2c4382fc02e 7104 elan_1.3.1-1.debian.tar.xz
Files:
 2ca7f6af1bdd6b53dda2bf23678bf9d9 95935 elan_1.3.1.orig.tar.gz
 a04829775b818c226eeb5b3c741ffbef 7104 elan_1.3.1-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmHxrTMACgkQf6qUsnUU
Sprciw/9GrRjWJd7U/B2o3Vv4ezPdDM1FzbaBHlF0TnADSwPxjxDsdm6TDU+mlK5
XsZop2suGwwlqfZVRL3l4RQxp7ir5B3ZjWZyDkJ39YsrrBy/OK6wgz8JneUHU3IL
Yo3DE+JSfli/TFBJ0N3LvwVFFVBWBKC8AxkO6WwtLQ7ljKR53Ppe/nTh3J3OXTCP
FkPsjxA6+FvFcHRepSJIuimEort48etghTvXvbfFIGm56UWYgR0O4YsyIfoxboX4
zGBVxVxko3GTT+GLyUTs2Adm8HGIFwQZ3cpR9GLrNUyGl8COKk6F06PmxEivwdLj
lyEdYHl/frFY8TcqTtsjp1TWKLgwc9udASFp0SPzUcxmmh/W4K1zbesCzGn2BVM9
+f46SDw4JpzwJreyVdEfZmdaDC50PHP3BDsqkT74feGwWR/vi050pqO5mBy2xcXE
RVoxPg9DnW4LN9lVDbpJxj28bSGpl6pWPtsD/3FVkQrgS5MXqUtG2BZ+xwxgz/ie
cO7S5GubKgukZzTZpc8ef+BGJXDLH+Mhz/6UVhRMxSDvBouZQDQ6tfQfDZsAXmt9
KOHpFQDyxKyE0t2NG42MISHnD52RENxD3zhgTy4FipAigVRyPBYMJbHNnxQbIYbB
qGr28JLnFJ8YYr1AhchCAsaT7FUA3YkWQAIgeZ175ovAvbfmM8g=
=NsWY
-----END PGP SIGNATURE-----