-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.0.0-2 Maintainer: Christopher Hoskin 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.7+default-dev (>= 0.7.6), 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: 314aaac4553f525637f881acd17de823f6d961d9 95653 elan_3.0.0.orig.tar.gz 145595fded6594577bef430b49ca01fe7f9094a1 6144 elan_3.0.0-2.debian.tar.xz Checksums-Sha256: d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c 95653 elan_3.0.0.orig.tar.gz 9b29d512d350809a041392bee37a86730ea66fc18c633842d4a5986e58c447ff 6144 elan_3.0.0-2.debian.tar.xz Files: e1febb2f00281127804a0a528daf0d8c 95653 elan_3.0.0.orig.tar.gz 8d02ae13229d6248a99d3b61ae0a5cef 6144 elan_3.0.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmWg77IACgkQf6qUsnUU Spqi0A//dr796Oi7dwnbAUGdomkdPZyJg0MmwsJH7L9QRIXOi9Nly9UPHmHkjCs5 c8vWGs0QwHolY5A7Fahmjaf+CPVml8K8CkGjk0uPhD0OFH4Oi5k7WpttTM7xBJK5 HP1TZ98zUKPmxbYp+SUQYvLV+S8SoGdTRPGwQUoSxQANoWATjY0aY02A83LNz2gV AEnwR7a/UPBv16eQ41vp8VBmdoTQbtzJddb/yvv/nCM1L8LvlrCj3FWjTZa0BO8i JEF4v5H+8LZ/jDmuqkCs0KzQ/DyF4JJ/gGVadXRiDdt9atm2gbc1f2ivF7DW2dZl 99J5xfoAP++8mzy4t8U7QkqZ0SMzA2mobABbFWBjYiLLWfJQo5nwA8oZ/YoKQ6BR W1T4LCo6fN1B85UUMQOz6aXFNdGVQ/gFAgIiBlsptK8gqqVOVL9jEOb7CgQ6TdLg WJuvNuYdME0FGo+xqo2dW7tWimw5dsPGDU7Are/Ta8NXrlGstqOhIeBF+MvZh7aT anEa7Bdwhmn1N0F+jIcsAoCu1REaTDulmYx5tZaLl4yY945saXi6UCpWl+HXDuM6 iuDFtYzId3DELN1BFlWvaB8mTiFHqs4JEiW5yWIeIE6azPjhhDzNELOKa1dlVZT4 ecg7FQYqfUHfoKjqIWg4A758iyTnQi3aLMMHXm9di0MfJWKhdEY= =yCXN -----END PGP SIGNATURE-----