-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-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-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: 412c6038261661837850e6d50e04c43e67d8d00c 93564 elan_3.1.1.orig.tar.gz afdee7b766809031618013a5a6658cc05c6753c4 6244 elan_3.1.1-1.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz 5b9216d642019415fdf9eef39e17be8ae6704a834ab5f6bb54fe2f2c0875ea68 6244 elan_3.1.1-1.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz ff6ed8edb32e4daca734ba1b54cb1133 6244 elan_3.1.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmY1Nh0ACgkQf6qUsnUU Spqivg//brKndOBx1QrdiHuLurqh+0ysb1OKXYJi4022KMQOndUX3vGbfOqjqbnN ek19AIOxhFjNlILreujmdlmw1f37yRTp/InN9+wLFj2s48qCiNWMhik6HDl3U4k9 SpkpgPWOFqOuP8L1YfeeXMRRAJ1EqsHZ6XfiNpKCeeXpBcC5KSQkTRT9zc78dtnr /vPvy/+ti3tTJNyCexXsoRIeFxqWImOqsXdljdGAV/4PyDe9iRMmEsyTEOozyd8S LdtxBBKfRNvZzxrr2x8Tt3CQ1PUSQoQjsI/Rs424k2uRE8JutrWLhi4MpNducz3j n8QM9XP61DJmgl+OjSHrN5u8Wkzz2bDZsHIqraYo2+01Ye/YoXQqGGpsWEMZvvZO qOHKzrBlJ7DHHG4oZyuWTkE1RHslciZL4Xzm2gA8ZB+CdYPGc1NcBOngzhYg9Ti/ z4V3XOpSENl4esridif8oAZLnsYZdbAzeKBgxWb5zk+6rkE8h03pq43PVjwgyuTR //T62Wn0a+p64G3MAHfyOfYpCWjtAXJR87iW4q0HYiExcqwy/DLuho73GO/ry1dr hAdKJX6PzWvbVJVyl2zVBFZbpfqElhIxYd2lweKFOvYYXmI+Y9WQkKcjLY0CtWIZ 9fzsfJyjdNymK79Lij9zRhAYXX9a1C1PgVTHz3Veq6o9CQMnYt8= =llRI -----END PGP SIGNATURE-----