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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 4.1.2-3.2
Maintainer: Christopher Hoskin <mans0954@debian.org>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.7.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-fslock-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-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-dev (>= 2.33.3), librust-curl-dev, librust-dirs+default-dev (>= 3.0.1), 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:
 6bb2153c77a7c3b165eb1e2bd52bcb9eb611af32 99734 elan_4.1.2.orig.tar.gz
 3e0e704635a6983b849bdf042b5d1b086478f5f3 9792 elan_4.1.2-3.2.debian.tar.xz
Checksums-Sha256:
 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 99734 elan_4.1.2.orig.tar.gz
 8f159a3a249716f9f4aa9571b37a9f715d99ea2dc8430f375f9528d2ed7099b3 9792 elan_4.1.2-3.2.debian.tar.xz
Files:
 bab9d06bd4f03a2722da1d58e43ceb64 99734 elan_4.1.2.orig.tar.gz
 289f2c061bcc487d4dd462f54ceaa398 9792 elan_4.1.2-3.2.debian.tar.xz

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

iQIzBAEBCgAdFiEEU5UdlScuDFuCvoxKLOzpNQ7OvkoFAmpSfcUACgkQLOzpNQ7O
vkoQPBAAkc+jvM/qdT9gddoLYNCVE888wtIik9K4nWU2QHzmHYmYgBf4wZ3/H5Fl
XlEE6f+KCswQOzH+lGlpexLPrSCPvc3mIhMwDBImUI4LMWgrIhPeTkQT00D7+VyP
Zj56dZMHaM+nGqEA4K+qfi1RMDrXaoQT94iNgjvpbC9HlD+MBpy09mIovpXSTcoE
6OFbpIiVWGs2/p5Nd44prA72D+XThZxqJ9/vIxlJ0D0PwDaa2ih2AxZDMYxCxPoG
+vzAFZ8JppsxzMdpspxpKPdda4BEocH82wpeAcAj8ysin4FGnFlrcXzdO0IR7oI9
BCvXnoRaBkHIelKCvtz7sRjUfgfUdHPqOGlC0ac2gyMVYUCd+oAWMyD22t+P8ShI
ovJdz127m6igfqwBRXXWGZVjXMFIXFJamyNmdCY7i6X0fVBHxdzjtRF7Ilc8QzeJ
IIcvibDbhQoT8d1C3a6a0iA+t/Yh4FwEBd/lDeziA4Wh9AHbfpjsHlv8/GMOUrY6
h5LENNzxB9SH/APnOu1rhdSDEADjFKUHo5/5MUIjiyKV4yDgKjNbTPIyCdK+VPz5
TyroR8NBR+GCSUomenP0b7CXFVrJ4GRBw3Z++qjjEQBS5a/JfDIO1wGWNigKiBiB
yaNqOVseyIPy/1hrpM2Z5YYZDCseAnl1LK22VwuhxroYkGOjPcY=
=MJbo
-----END PGP SIGNATURE-----