-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 2.0.0-1 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-dev, librust-time-dev, librust-toml-dev, 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-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: 1a2742d66d0518d79737c0335c94ced8e4086e93 95296 elan_2.0.0.orig.tar.gz c966aaae5ecf0c636c8d666d28e39e28501a689b 5784 elan_2.0.0-1.debian.tar.xz Checksums-Sha256: defa9272887312038e4154aea0ab7e6864eb08ac10aa815616aa06569d1b32a1 95296 elan_2.0.0.orig.tar.gz f6ab4255b7c15f6c63031dc681fa16f992285ed883c3393e5abfbe848480e0bb 5784 elan_2.0.0-1.debian.tar.xz Files: b6057c55c559b8c3fdeff744fb1eedb0 95296 elan_2.0.0.orig.tar.gz 83ef4cd9b8cd7da1e96f072448383a5a 5784 elan_2.0.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmSpW9UACgkQf6qUsnUU Spp3Gg//XYHJAhOxT/h5aRK2+2tke0lYNyg/kU2X5cRt3Y/Rh0zfGR1B7qO8ipJH WplXyBgdeDH2FDhDRfeXgKeNk+VVS8GdmZD/qLbcSmTykQyPWVrm3+zO6ZmuIloA hzaEfIkNqcKdIWvMDQlj0WGmL4VEwmqmDfQ5E7F3YMiTzLgxFpBkTLwtMQGOB82t LMGiTwNC4ocN+LHHRnp86i1yWpZN7NpSbeKA1QycE/UPgGVbyHeEpcI+AhPEUk0R 8hkCs0K7QaF+WUG9sKozHxePHN2s+0K1+ILZsqtDF0KzlSgv6sBU6QGJzYhN8cvM PZQMU1bZlNzhHevclvIAR4PP0oxnLElxVz8avv66cwKH5nCEMnJbD8VA/OZosVMj uD0+aIkdrWA8wMiWMQqs4QRLiyvxgMJwdKKMh+Ype4Hm5BVQtKVPWKsJf3KfZnZo l3gm+4H+nPDd58SNdW9h+5NYzByQ2yaV1EL5TxO9RPp8c8BYIHr71AH3UJPUrE4K ZQcG6HfvgHLonAcVkEfQcXasTPa4UCkjvnvb4js65gqYiszPKhbqp9lMpyC046ib RxgNT31f2ts8UaufQchsJ9g4ESNXNWnSitXwz7oCQvg6/O1fuuOPeQK2ikW41CbQ Znuqqc0J7s3ajBHgti8JDH2uF1M4kMb2I8Q01iCq9dbKot31eeM= =LFWZ -----END PGP SIGNATURE-----