-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.4.2-3
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, librust-zstd-dev, bash-completion
Package-List:
 elan deb math optional arch=any
Checksums-Sha1:
 d4e9ed2980d64467673cfa947ffc3e29a32c3d07 96544 elan_1.4.2.orig.tar.gz
 f31c8d90f04d65642db866c447933572849c3f0d 6284 elan_1.4.2-3.debian.tar.xz
Checksums-Sha256:
 d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def 96544 elan_1.4.2.orig.tar.gz
 b5345081f27f7b5ef46f9af2a3c633e77ac36cb8c376df256873924fb6c09d59 6284 elan_1.4.2-3.debian.tar.xz
Files:
 77e0419cdd4efa29349e24f695a06240 96544 elan_1.4.2.orig.tar.gz
 0da39baa1a9dcc586715388e9013b770 6284 elan_1.4.2-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmOsecAACgkQf6qUsnUU
SppiCw//QBoX+uv1ZMA6wEzSsp0KZ2n3KcuzEW+oDWohRHKiANXVUvnDyipgg4+1
cdForf7/7uhgSX0kDWmgMXDjexQ8Z9h6WXiT6J8B55Iu9n+YbiHgngh+zfdQLYBh
JKOmRluayOHR6aWbbEFyEWKALsIiLDRn4h+TsQAJADVmOdbM6r/5cNyxwmqBNsb1
DjbrRWvQaAfg6uVxhTtqccSLIDUMez0trqrHISbI1BAyT+o7g4jd+O78xXGX0Spu
B27jDU+CBMW0OTbdLM+A8bKIl0Gjg418ohJMQu1SMhyvRxaN2FA2wLVX1q11S+J9
IlloFCDpLzRzkv+htRH5Twee4HptCmbNJxU/zNnZQOc+wpTGOd6KT0Ck5XxXeH9q
xstsJMZD+ILfIYR3w14Hw06j+ciXLeId+aN0by5yITe+r+9xLXl9VfQ1VBGwfBB8
lYe4WvBYB47Dmkp7Kgnryvklux0AlAVEq9pHDb37kAK8awSlpRvHAaU603tvEBWM
QQMMd61FftHY7Yz7enwYnWt2ZYq+NDfgGoVksI4LaBisiDMndMJZLyF0q0EtuacU
cx9pXEdiTkKQzhFgqYc4XNlrmtoZ1Yz9B2sH6GSxq7aPIygGHEVQIuMz8S7OpYTo
s4PRysOY/6BXH4hKlXaWSvrfsY7LPdAknmQuIbTU3zNKNAn7oeg=
=GyWV
-----END PGP SIGNATURE-----