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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 3.0.0-1
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:
 314aaac4553f525637f881acd17de823f6d961d9 95653 elan_3.0.0.orig.tar.gz
 17dbd54e37599b04e6db11e73caa8ac24ed479fa 5932 elan_3.0.0-1.debian.tar.xz
Checksums-Sha256:
 d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c 95653 elan_3.0.0.orig.tar.gz
 e8f124b5c1d2d70e1773fb1830b44777ba2da34af7093940325c03ef9ea741d3 5932 elan_3.0.0-1.debian.tar.xz
Files:
 e1febb2f00281127804a0a528daf0d8c 95653 elan_3.0.0.orig.tar.gz
 40695c2bd07665efd7c5a197b4dd7683 5932 elan_3.0.0-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmUTMDgACgkQf6qUsnUU
SpqnOg//fujAnGYi7Djzql57gxqXQQDUur+gApjPMDZEVfmaWD7wTFdihDgFf8NC
Vrb4yUJ2hNXn01B8tCFM2ubzhBUeE4Q9/MrUE37HUVUzfr97O+27B5Avpc9730mi
nQPFUStKqYIYXuBvF94TkzMX/RbIpTUsic51iQiR3bmrPBzATG9jLCW3Axofz8zB
O/a6L+08/y0oG7npj7rJSyQV+nsGZ0HV4CTjlpVclh1AV90xnlTqoqDzG0og5y/Y
nJTeivBBmbaTkVJ12dWVQIYN9mgVWH/8a7rj1cOn6T7zs4fft8jMhctsRCLQmz+k
lbF7BiO7jfAhzCGnsQIBTRXH6+oE7DrAmD0YWrFE/u5MMmZm2SeZMb7h2YJeMtz5
ys8fssFEhHKERhxaPRACFvL01WK+GnkBZImalzwOP8ygrHo9+zXtsy2MWo3ZHNVI
O8yvLvjZffh5+Kc3TrxPckpCOK5BC30JEDrYwFjOsp67UwlzDvFayylA9pVxf2vs
chdQJsW1zvj28KUy3JEmSRS+4o+YT1ntKN8fq9mcBi7E9EVDK2/XOdcQy34vbJHQ
s1kUb7hLn5rPhtwZ/vTcF0Ba/bTiMLPyZeZdjPlfwLLDMsQLvEP7HqTA/JCIKvic
C3sOtxHa4EDrsPsicWFMvcAXNUaYE/NPjwyGI8FfUjs1ltmP9WI=
=BJFk
-----END PGP SIGNATURE-----