-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.0-1ubuntu0.1 Maintainer: Ubuntu Developers 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: f6cf3fc6ddc19f796c1b4ef6b352639e7bf2dacb 93545 elan_3.1.0.orig.tar.gz 38744a80313750043ed238be99a2fb530247497a 6444 elan_3.1.0-1ubuntu0.1.debian.tar.xz Checksums-Sha256: 634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a 93545 elan_3.1.0.orig.tar.gz 8a508553abf61d0dc4796c37f4943b6bcbb62d8ced08bf3bc7f7ae6a1fdbacc8 6444 elan_3.1.0-1ubuntu0.1.debian.tar.xz Files: 1f5489a77c471d2b44fad456f9e52577 93545 elan_3.1.0.orig.tar.gz 8d89d90dc45014aa9d2755e8bc834780 6444 elan_3.1.0-1ubuntu0.1.debian.tar.xz Original-Maintainer: Christopher Hoskin -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEUMSg3c8x5FLOsZtRZWnYVadEvpMFAmnmPY0ACgkQZWnYVadE vpPt6A//UC/4PbGTxhwnWhx9ooduKvSy6iHStnfyI76fcreo35mddwBZNqeoNK+B Js1GgZGKoCh77HkxG/PJA140YiIZ54Utd75yQ3hMxg/EdVx1nIQ67l2QoGU5LSlE f4W/Fz37oRuN0LIviu5aOfO/AiKc4dw2Y7YuTUngLb/edl+puFypUQdG94U6Y/rD jTRJUU861Uup1JZmwn9BFd216RCp/2BAPYXXE5dBzue+s0CnJdkttYPlkLZloPl4 yNi2JfYYMIHjAxVSozBDT3CHqP8/g5lo+4/on3eoqROOu0eGD0Cqi4BOcla3feb7 YbFKnpZNkI7HnnGwOi9KOVkulZZ506yAPl0qxtt6z98PMBtbDNadfuZdmCQ+3EFE GbVAea+FFPcjfY1NhePeQhPfOvWsGQIqys49T4YQzgw/n/KSFlFNFdT1791xpct8 NRkaZ6kVhaliXZNkDailhB5OWuuT5IEV07E5ZtgRVRBmQWrA3jhSLLfD6rVNvP22 Sz6oFpBY3rfTJQwgT7V8g+VK1ZDawcfhxnD3CwFb1mR3BQUofdGPnqNiX5GJaIfC R+4WGGh5GdFCgBFOMVuc+CHjiI14yw0lYAuv8j8WaYe+lAdCupcsewLlRwb7KV8D 2A+TmFMtl708ZyXXCX+lEIfThItF5Dk7wqTFsAGE3nPgs9zF4HY= =mvL3 -----END PGP SIGNATURE-----