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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 4.1.2-3
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+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-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
 4c206281799acc37e5ceeb7a4454b15a5cba7b1b 9724 elan_4.1.2-3.debian.tar.xz
Checksums-Sha256:
 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 99734 elan_4.1.2.orig.tar.gz
 ffdfa5c7c8c0967bcdd7de66d992d85d1b06ec57537dd11b4665e94bf78b8d24 9724 elan_4.1.2-3.debian.tar.xz
Files:
 bab9d06bd4f03a2722da1d58e43ceb64 99734 elan_4.1.2.orig.tar.gz
 661e4e01e7382664666ec624ed7dca84 9724 elan_4.1.2-3.debian.tar.xz

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

iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmjhKM4UHG1hbnMwOTU0
QGRlYmlhbi5vcmcACgkQf6qUsnUUSpriFhAApUtn06c5A0TN+x9iU6WNIrCnDBpn
qC99pnxzJCLIZ/WFxWLv6y98X6+z366EKvm2rPh5Ny1/BmMw3YEen/Na/deW2K5w
H6kXwZYlfa/qO0cAs6R2M1l4jANW+SdS03NCkbe8mcQYXBgJOOXKrYsFum27NZxk
HVAj3yWLx8IIy2an5OpGcPVXZWX+AOJQf54SU0s6SzoGeXyslycP9LGMfMuZ0AJP
wlg8rJt4aVt5hUNVSMMoMNNHcx0NwHXS7L9SVmpFGj+uKd3GLUyIZyY86xPfg2uU
Dq4gZeCZG/mVdOJKXHUX2jcVubg5DmJ8C8+QlmOnwYEU1/mq1MqAIrdtWT7iq6dD
24ardhF5z996HyG8os+YHWrFw8kHtC+hMiKyq4MWThOEui8RR9ZH4V7D3VY9kEwH
ZXwzcW2BQgRxp7Z5Ges/Bz570E/FzuJsTxIWQy2Nlp4qyllVSog5MlXSZkTAuCQX
WGgMk+QEMjDOiuEsQc0cLtbAO3Ly+jva3Scw4CoP7i80TGibInO6JWGDJEYMuKi4
eIVeucY5WN5gyxwcAJ7eCCWPdXbHr72d3rej81p2COvURtRXvYWB0QOqgJFkX6Qf
xqp1CwBzya+1MVLslu9ABB9m3tZ4alNuI5q/0136T6wLHS8h/52h5SjxcYJ9nLP2
p6IoguzMHe0HmhE=
=KFCh
-----END PGP SIGNATURE-----