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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 4.1.2-3.1
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-5+default-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-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
 e7bf53e4553433632ef473559e5787a5c68789df 9748 elan_4.1.2-3.1.debian.tar.xz
Checksums-Sha256:
 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 99734 elan_4.1.2.orig.tar.gz
 4c232d0d2dc9698b108f0c8110f9900b81ecb4f9eaeb4d6063e6564177d28d79 9748 elan_4.1.2-3.1.debian.tar.xz
Files:
 bab9d06bd4f03a2722da1d58e43ceb64 99734 elan_4.1.2.orig.tar.gz
 baf057f3a5f68d2a46b8ab1d2bac8ee5 9748 elan_4.1.2-3.1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmkESCAACgkQ5mx3Wuv+
bH2r2RAAneZABlfgZt2iG4t5Nht12agnqbVTKFmV1OFWHUuLsr0vivICBQt4QDHT
cUV+3VatX+9770tW6TEbeeWX5jsIaXL2El9FasfJSQ+wkqOaffjtgcpe3Y/ioYi7
B3SARtEmDoPJBsoPVCDxiBZRDSmOPunwCTElK1r4gMjFV5AIJNH0FV5zx5EbFC0+
zPuFZKm7ZkMsTdeEnQtPHjXsj7qo/a7m/qNGRHM1XkiFLELvCaPKvEERHK5xcBRQ
IktqxsMgZkB6cdEEY/nS+Jt2DAwdC/cCwbOKw3F8Cg1TYARgso75kqBfq5RO0ij0
CYtjIwGPRdw3FxoJ+/g2j02V5BRAJu3tBKyMviSdRDCKQxxeodywahgctLKrZ903
bBAFFW95hco1gjIvsk8T9cEV0pfQ4Zykz5/jE818cUBANyPpfAtcOIYcses60o1i
qn0B+JPCPzqBQl9r3RbVZ46I83zsQYPxnwOzc2qu9lcIyV5yWmIyZlpIcwTV9czx
QPR180ZSAnp41ZKVPlBYkdmMVAuLDtDVnyx1/0vcQww8hs0/rE4gr07XrKRUJ9k3
ZwliVvo+MEpVSlLp8BC2dnSk/102Y8FC7f/unVJ+V25nQJQz8wUqG39+stax4Qrn
2inmIqwBF2tU2XB5od/u7ONZYGJd79PTOvwhUCkyrDQ5+yZO+dY=
=o7mz
-----END PGP SIGNATURE-----