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

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 1.4.1-2
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:
 ac0cac5c545ac739786972120eff84f4f1da84b0 96616 elan_1.4.1.orig.tar.gz
 c8c7ab14939f7159e69c4479abb647d4a4d8530f 7256 elan_1.4.1-2.debian.tar.xz
Checksums-Sha256:
 eac4925100624e1d77d70a35408805fb88672e87b60a44fd93c31e8cfa4bfa91 96616 elan_1.4.1.orig.tar.gz
 49f20c7f33777f0ce400f5cee0e37968ca1217eb9d597c40ad2658fe1666fa27 7256 elan_1.4.1-2.debian.tar.xz
Files:
 e0c6617b0ebde2143ac76382cd579923 96616 elan_1.4.1.orig.tar.gz
 3fe60626b22e046df3eb439ed80154d3 7256 elan_1.4.1-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmMtRr4ACgkQf6qUsnUU
SpowcQ/+K0u9oDE9ovFzKouBvQRsnBSJWfAIUzBhIU8jnrvDc+l32yiv7ikCg12P
l23Qebn+PMY1B9nRMmNsnikKsBxk1Lie1QUmqh3ZTLBP67ztgNU+5mJStGQ2lhRD
c90Ww/UanfOI9gIHY1IrwvOw28A8+nGBmyEtj26furFXVCMTK2Zpx9Zm/EkoWiFw
RMZIX8kRbbxTXEIqOMZJ3qWKXncvNezafP9VC2n+oXhXZeaQTjPO2RVUQdjSuXoT
M4Y2gZqMK4GQ2ZshqUIxEzNMeUTzHaaURcxTLeLDtFdh1sNCzhyKOSwChz7dN3hW
nC7c0340CJxSTDZ9lzw/82zMDYtM9rca6NZWG39MRp/wSm1n+NpToOSwI2RaZveC
kOi0inZXD0A3wcmRoPuweFocbybr4KZLcAD06DURntZaHfWzNpHD6ENhG50r/i4Q
/CCks8YoUVRJjEYdwAgUVW1SLfnldUL1FIq4/ZPrjLrFI9y8kWFpVYAFhqYq3b30
Oz5T4t7fdJCWw+ThZvEG1JxENHvCrF6l+L8Iq4Uglp4zqeuulj7cARnKo9I4dzrb
8hqqUIQE/NP69Jc7/zCYeQRg1IBF0mDMh/s1LdfBziSoL9bYWRd7ZxAAOXQcvhel
PMLIM7ilENqzL2F1MfsbhtjhpNXOkZR93x5BLoAZm4kmaveiP6o=
=Lra7
-----END PGP SIGNATURE-----