-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.0.0-3 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.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: 314aaac4553f525637f881acd17de823f6d961d9 95653 elan_3.0.0.orig.tar.gz 0c8bb603f0da1eec345c589ba2054249fe786a24 6200 elan_3.0.0-3.debian.tar.xz Checksums-Sha256: d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c 95653 elan_3.0.0.orig.tar.gz 06afe0d4ed6d5bbe452212709394ae7d536998f8aa2b0c3946a4672c5182adac 6200 elan_3.0.0-3.debian.tar.xz Files: e1febb2f00281127804a0a528daf0d8c 95653 elan_3.0.0.orig.tar.gz 4e059a36c302909a0244214d24c047e8 6200 elan_3.0.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmW5VXwACgkQf6qUsnUU Spo6ww//ev/+h2skeS1ktDE60wBZMkTXQ7YpeOs6l/y/zcpEw7cY54n6lZo78wX1 pOxqnhCTWXC/kEV84rMH8nbt9YpVIBoP/sJA4bRC0dmxo2CABGcJEyCHPoKlhqno ZgqkETo1CrWF9ujhA/khpFrjG6YV50nrAq7G2ct4EEQxRDICT4TE5jqqeTiFg5k1 dDJC8VXqu/MkECku1wkLjNEdadNkfpYay7SdxT1brl5bJunhhBjW56Sr5zgASbx7 9A0hNMBFHgOUHTzno3SBVyK+nKPKEmpY3+djsCwGEPJrQ8ASg0XgrvHGgA7XQxTe BE0Fl/Ut59bCHW62kJDEKZ//b2MOkf/gD76/3MT7lIDMoIfD8qke/sVs5W0lw2gs uVbTOIst4yUuvp6VB+hfJ2OWYvyslH8SRRjDS6BRYHYjOVCZS+atXSjT0jEdyXLr 24mYbJu1vWuVVdDfj3z7NzvDzbetsxUGH4Tx8fb2rJ5rgiJ5uYM8gc+AuO+tih+X DpNebZ1nJflgWRax60IBh+uTKbGBHUS8F15sJD3CyNs1C7oUo0xcjkhGELwuu3Lp 6xFGGrT8ubkWZk8rI3Qb2I8ijNv/q5j/y/iGhoFRzwJ+/etNbgHWsbSfW+KR9xu4 jTFL8beqF1B5uNwuenFbJY4qq89bSHy9X2uTElnxPj+Gt/m+ggw= =A/eu -----END PGP SIGNATURE-----