-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-6 Maintainer: Christopher Hoskin Homepage: https://github.com/leanprover/elan Standards-Version: 4.7.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 6d1d08eab184d16bb4bc407a5d6946568d233691 10592 elan_3.1.1-6.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz d4774004fadc9fbe18fec0e0cac27366dbd172469b624082a7573d424c0a10f3 10592 elan_3.1.1-6.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz a2f25bfd28267d859569cc1a4cecba1a 10592 elan_3.1.1-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmf+A+IUHG1hbnMwOTU0 QGRlYmlhbi5vcmcACgkQf6qUsnUUSppwUg/9Giskvl3Skhd6dsF8ejah8CTioNV9 smaitvMBXw5j3Mus4e7MZX/PKL3VKX2IS+1jfdHFixUkekhzyy1G0V7oFKR+uZv1 V4uLmQec0FmyvX0QehVFwGwdsdauH1Eu35O9l9iI0v8oD6icBZaZ0sgw62DuKl2F mLHlGwMmvWdbOw3nfS+C2qQcSGsTQOLkfkydNH7JWP7CW0QQO/y5jTb/gdGW6HCB UE2l5M9pV8R+IHMHbCLd4GErVh41FfKZoFLzkMahz9fB7Hhkkm67VRGnoXHglBDu RlmyX5tBJg4xMPujfK5x11qFbKccJI66O9pCG8mCM7WURxqn6h5aJTYOgNLmvKlb QXazz+nHUCak7v4pf6gNT+ZxXEBx4PKpaquVeIFQfTHIQNHEdUcyouqqcSg4R+M4 XivRHqnqzhgbaOytVr9mK66SpAB353zX2MX4M7ohVGNfgiZbX739Z5pPeJjgGPjH MjFzsiApWPtXtvE00hDEBE7MLkaK9O0Dmj0aSL5KIqgy5aSJLewb1PQpAyZFQR8q FeLK3fi95fLiXhBPOgnhWRxK/5OAdNxLGgIdXzebklXvgzMUOl3dMp0IYochQcyo RkAGnJXn+bJLKClN18J5x5zMRFnf47Zxl6sXfhPbbQi0mjh0JSwZuTDakOPZRtJ1 OwaWO7kbp/j9kEo= =45UP -----END PGP SIGNATURE-----