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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.3.1-3
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
 26dca57889b7002c4df44290f644e43c67b1d54e 7268 elan_1.3.1-3.debian.tar.xz
Checksums-Sha256:
 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015 95935 elan_1.3.1.orig.tar.gz
 9365ac7f64ca769e6c0f81ca7086a0e1952669905f2899dca269e294176bbda3 7268 elan_1.3.1-3.debian.tar.xz
Files:
 2ca7f6af1bdd6b53dda2bf23678bf9d9 95935 elan_1.3.1.orig.tar.gz
 3de076c944938a0644639dc3275c9500 7268 elan_1.3.1-3.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmIXEDcACgkQf6qUsnUU
SppFdg/+K6SBNFgerZS7TavE+K94qzq9WDmP3CR3oO97hfJtF7qrlH4/72kNdA+R
PNB4ls6LE1DnyRZeBjj2d13b+HpBx9P2JHk7/0QJbSMrshZRGdfM30o3dAl8mo3J
JaoJOybvECRf9o2h8yUWBXcsKpy0MlAvyY7bs1ArKtSsV7arVw7Cse6f0TMnXWtm
gGR/RZHC3iGynXFA3fQSn3Z2sh/3QTT67LOB5NC0v10xTLICsjuXZlCJs+j3TOHt
SyIbfFE/ah9pdlY//3/tUaex3H6nE8KTq8n4dSzsD6rkEFSsjxD6ntg2fB1fytfC
Cork6jOE2LIVgL96ZkVBGsLTyFK2jq2NRz4YTJVKnyVz5igvEHzQNAsk6wm/Wdaq
pgLgFS4VLt9S3Ylg68KEtWBqwXIztWNBE7qMV5zIrv7dmrOqbejM6vPQmyBTfgOH
NuS3echcGPwtVLCsNYA04sZGjyMO+uMnpERD327qwF/VfuVublG1ZS6h4qMRrZKC
T3sBD3NKGCQ2UwCBNq6mdGmU+s9G49d+Q0mF84DkZ8Ncy7tW0wy8WmVYGyyYbUEg
VgyByt4LdgTsh+8L/Td90/II84And0d1hawt87SjrgJueMx4DQGjmHhH3oanx7N0
74RPbdkSxuvi7es/gmEAC0jd9KBTGFocxraTHtt1WLY6eJWuvRs=
=vwVR
-----END PGP SIGNATURE-----