-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-5 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-pulldown-cmark-dev, librust-zstd-dev (>= 0.12.1), bash-completion Package-List: elan deb math optional arch=any Checksums-Sha1: 412c6038261661837850e6d50e04c43e67d8d00c 93564 elan_3.1.1.orig.tar.gz c515f434fb583f1274b7bb9d1edabf4fcc152c02 10484 elan_3.1.1-5.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz c36362bdd556f770d4687e75be355aff6aba9e07e57b3f87672f7ab8c49ebb3d 10484 elan_3.1.1-5.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz 32380a85caa5f44cdb6975b6deb2d0a1 10484 elan_3.1.1-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmf4v8AUHG1hbnMwOTU0 QGRlYmlhbi5vcmcACgkQf6qUsnUUSpoBrxAAoOF3TlXiU5ZPd9StoggRH+XFcMfn TIB6bx3CLWlvFZr1AP69/31dAoE9UVaSE+XsZGLYrSUWytZPKknr21i6Ct4ss39b PJ+OsG75ITJdD9ihdmAs/wwP1kMn6+CSdfo3We+9NN8q4CKQPZxnco+/2NoR07vB fPC+Z85LTbWo2SGfjQON/ArCQaYoKHf7x533X8iKnKa/V2OqlVUPx6//3Hu/bJKC LGHwmcv1+/JFeW4AlGsgoAKgALRjSsvns/TkRQGWDZMebadS7B8LT+oVvPjYq9wl MEGhp4Lwi3/iTbjtM6m/BtjGMSjXPYcyQyVDU2YBEixV6w7psUg+k4l+vhLlrVod exmIGx5ISjDvaLmHBkRVVJi16vOi2VwCmd9YnoHV4j1OFd2bC1dDESbZ+5/oeRlQ plimDS6AaJEhGESdZ/GNBH34wY7MMtETG7roHSJNqiaX8W8defewkZ0MBQrSfKvV 2uy566JgIWWSdPuIvvw4IZIhiOAxH2pPxvOSgvb2t9z9qyZENYg3KronWUmQ01GK gI4aivCDFK8jYrP599oshdIb0+cngJcaEeKWbRJrzMDocIlQRIwyqbCbLP5HNOx2 s5Zll9ZzjscX4r3EV2M1cgWcEXR4r4ffaWDMclWaszCGyo6nkMALbK97tN59Twsk 2vwCz/9l/ISRVSg= =mN4P -----END PGP SIGNATURE-----