-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-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-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 492d4feb9b3e7d80509f619866c20aced2cb0201 9788 elan_3.1.1-3.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz 772d8a39342767e664bcd5e01db5ac45e2891fa359aa193e6206e52a447d0944 9788 elan_3.1.1-3.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz f7fdccc9ea83e3bd28c0265eb6224ad9 9788 elan_3.1.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmainyMACgkQf6qUsnUU SppuHw/+Nc+QsiR+mMJFg3nScMXge00v1BZRsiDWrg01t+E4vGuPY2gpEz5FOzGK v51gsg7qhWE453jxsZKx7TN1G8Ln+atMLJMfpFRCeFDJIlvv0pG7LqnbTtf8o0db SXXizQTvipc9gu2fPpnwf4io+aORD5j462knwbyybsHOQxwjv31RurL/XFQSlEpY JPzAjBaRHmlOd9C0wLZoVk+syAY95kM325Ps7dbgY94tzT2aItcpFJ8YYlvmHpow Y/5IpPHa+X4vEtEMPdzi+15TwqjtGCkkqVf+US149oX7GyuzEYAoELyY3osCfp0n /vesKu+CS6ui4wR/cMjWn4QRNITpZWFg66cmCzHSTJ28Su/2CXItErTZDR8BhYNA 39kMIENiv4+lCFE0prxMX3ehvKoWHk5VUoWdOwNCEm/JoubNhQRt4tna2uPNvvJ0 OvNXALa/0u/BeRh9RN5b2S8zUAkLeNSAvNDdSAm62eP+yh7Yvqw2Z6oqcEx8EQkV vsG5ObL/IP1CqpJ2U4tfUeKmorTFBHFhdF3+d3SoNUxdUO2FrwXOJCL3heUV0Ueg /h+NjIMnW9nEycYEKca2n3f8gHgzqeDUlWywJESw6pOXWVGUHoVq53B7qc3FYa04 j/6NygD8I4+KzsYvEASTeDS0B0oCcjn/fjYpObu9Q1z6NwSCKyM= =LytF -----END PGP SIGNATURE-----