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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 3.1.0-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.6.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-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-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-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-zstd-0.12-dev, bash-completion
Package-List:
 elan deb math optional arch=any
Checksums-Sha1:
 f6cf3fc6ddc19f796c1b4ef6b352639e7bf2dacb 93545 elan_3.1.0.orig.tar.gz
 cda5c454e4452d876411497fd037f2c9776e80eb 6384 elan_3.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a 93545 elan_3.1.0.orig.tar.gz
 22173465bf5796edec1fe5ac83d9196c4298287a9c457388f01d56ddbdf197aa 6384 elan_3.1.0-1build2.debian.tar.xz
Files:
 1f5489a77c471d2b44fad456f9e52577 93545 elan_3.1.0.orig.tar.gz
 198ca69e1638e03e86f3d1ff2e129048 6384 elan_3.1.0-1build2.debian.tar.xz
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKSmoACgkQafeQFxoh
CYQNyhAAg3O5QHKpVe1EZJE+/dYjd/URZRhc/AN5XOKn123tT6DaGyu9d8QiUkVs
1qEg51aV8+Bfst/g81MWUv432kwpnbM8emAPpKIobrGaiqiYTDlC09+TX7+at7St
Tt8Qw/0AabimpvlFY1d/VaWssJyCJzybX9GLZ+eJUW+V/s1EdwSU0yHJFc0KYjWo
b1zOfKsh5DnEVtIGB0443tdQ7M4v2bREJbxVtslb0HHW1189AS3yzIRjCDJgllA+
URWDRYzKmIHQZ5yLBktO5lxOa7U4KARBElDa7NBgSx9CYvzi07FHD4zPfsDDDyF8
QEglR9Q6nWKXUwlzCkQJ+fFhEWZouRrvva4HrmtFj+VpmSMaIOkjcljLkT1773Vt
r+Bkt5No0C6BLDHL9GhPRV2SaWcspcdAyd4IOe6eiz+kTl8eRB0Uf7glBdQ2jT0i
K+WrDJ2amvPLMVpqKY7kjL1W/8QJPvrdQtj+mtzt87QRQa+KK0mvdzEfWSWNf9Yq
R0ooL7fi8hw+Y0BNHpaMH/B1IdKR/So7JEFqOpKYn+if3XPgfoFTAx37JxpabOIH
B0pQRL33Y0OfLdSAzldH7Rq++gozslhms3a9EGzG1onQc5IW/6uu/lLlyPjsXLEd
E/9D819aivuuLiperLIxdKKZe3r23agWiu8NQgKMnjJHqAXviXA=
=z7q+
-----END PGP SIGNATURE-----