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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.3.1-3ubuntu0.1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: https://github.com/leanprover/elan
Standards-Version: 4.6.0.1
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:
 ba8d925dbc16927efaa80bc4d2619fa61e1d6a32 95935 elan_1.3.1.orig.tar.gz
 35c45a5311f2d2cffc7f1701697ef2d4619488a4 7384 elan_1.3.1-3ubuntu0.1.debian.tar.xz
Checksums-Sha256:
 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015 95935 elan_1.3.1.orig.tar.gz
 481e207736751b34e819132bcb20ae379342931091e2be4ff5d8ff9b472e9704 7384 elan_1.3.1-3ubuntu0.1.debian.tar.xz
Files:
 2ca7f6af1bdd6b53dda2bf23678bf9d9 95935 elan_1.3.1.orig.tar.gz
 a3b9a69aec360eec018f6748f4ec6d11 7384 elan_1.3.1-3ubuntu0.1.debian.tar.xz
Original-Maintainer: Christopher Hoskin <mans0954@debian.org>

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

iQIzBAEBCgAdFiEEUMSg3c8x5FLOsZtRZWnYVadEvpMFAmnmJ3gACgkQZWnYVadE
vpOI+xAAiAtwdMr//NaU62bYq/xEH8bxe0GM/eYkeZH9F7+WuEjt0FcCBaWxl19L
AUvgSEkZ7DY8hLkUcCAOgs7gGEyIQmEWJfbSHDceWN0FlDjXOqHCaBSEiBHqvbjm
6MQt8al66GXZrtJ0HWM9Qqi+JGp0Fc0Sqt/aAxtumtnPH94UKc28DYxPnyVrpcbr
xYUR+6JZJbip+9+kAHcNsHAGte1Uj1Hb2nInpEh3oG2q2PNxvqZ5EWrFW61D695Y
AISad7i8L6Ew9nnLB65JaU41Ah9nVYORD6/oZboMd9GMw8PR3ioBpidLXKpx7J4G
QNb7AjnpHl3bVfb5nCTNZh3aTQ/TrdCIx0u59x89LAC2SnBIUHGRZ+CZPmawYbTl
sXgT8Kw95hZPXVMMWkik8N+zG6gKtjfK+PnZ8yHB/NDxhT4QDCx5K0o2uos5ptnL
Tz9aOMLQHN4JaAPsV7lS794fbd+eUXwc91jyGWIYhTfpCsEI3PxQr12A/6wjvx63
5IkJAd4J0q54I3+7vf+44zwngDj3Y9mnBp1A4fRpS7HjfelSHudYww/kruLJYnZe
AdjCsxL9EG3NFGsSK/zklj8LCJYFM2AMpUXwls9GWk7CF6j33KmucW5bPJkMFsDo
hqx/00BHkOSAVfaNExTbNqQNr25/KeqgPqB+q0NlFA2tfIWiPqo=
=0e+W
-----END PGP SIGNATURE-----