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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.4.2-1
Maintainer: Christopher Hoskin <mans0954@debian.org>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.6.1.0
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+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:
 d4e9ed2980d64467673cfa947ffc3e29a32c3d07 96544 elan_1.4.2.orig.tar.gz
 0f6ead229a2d0f3b488eef37e7de936b68707b52 7272 elan_1.4.2-1.debian.tar.xz
Checksums-Sha256:
 d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def 96544 elan_1.4.2.orig.tar.gz
 4c38bf7ef60ed83ce2bf3a7f58e4e19157605e49b41cfff4344d924a1e348e15 7272 elan_1.4.2-1.debian.tar.xz
Files:
 77e0419cdd4efa29349e24f695a06240 96544 elan_1.4.2.orig.tar.gz
 8833bab91695f201f937b35fab892f19 7272 elan_1.4.2-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmMx9B0ACgkQf6qUsnUU
SppIlw/9Fv/mI6bNZafX37kz2njBP05vSt3/Ry70TrEiqaHPpa/gyqk5Aaj/ZtxS
2Zcs8/BxquH9w13YyOGH5qHqE1KTEvGj8PFkvnYlBnUmPqqGmBeitvstXAfyL5w1
sLpt5uj/+qb2ua2TTYTFRbn6WVx5wdhYtsahaN55hdNKctmHWSOaQStDgF9GXHfg
Ib8roOnm0eLI0MAfisuKzdd7b+IQZycUm5OVU4diFV3j6+tYxHfGHwRV4U4T6Hwk
DIHkF6O3NkuvsckTr83ktkkNFNl5tyuUdEGx4DYGD8LVe71AmvxqYRiLXWa6lz2Y
N8oL8uEh6F/ouGYaLc4n/fLzP2CBWpvNlUUDV6c1tI9z4zcKahEfter6+VqwN2Bd
iude5VM7FE1j6trpDZ4LuRjhUM0yiA4U+X7IAyXVFade1E4mHCbd/ZbxOMLEOQmP
iTWvWjclpO7KeU2UhU/pZLI/mBRj5vtBQZqzqBlhvSx92G3TB3Hnex3rGRAxxArf
HRvl048VTBV50uHdO/SBDablhcXc2t9rcyF9N5k/I1wWYQPawGipYdO0RGGocPT/
Fo8eYj6OcmLuUf2QBlsInO4H3szCLXryy5tR/xa5/9UDf3WAbU47NjexuolIfK0c
OJF+zjSplVkKRrGt9fALn50wrArbieFb5M9eTMgsyCXudIWVtj4=
=v04c
-----END PGP SIGNATURE-----