-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 3.1.1-6ubuntu0.1 Maintainer: Ubuntu Developers 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 b2bd9a1a6e6ab700fa25c16eb252a741671cc5fa 10716 elan_3.1.1-6ubuntu0.1.debian.tar.xz Checksums-Sha256: b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c 93564 elan_3.1.1.orig.tar.gz bbed8bfd5872a6962a19b17a401f9535ab11126a44412139b43c2dba44d6a15f 10716 elan_3.1.1-6ubuntu0.1.debian.tar.xz Files: 4425407238845ce13882eabff7dda283 93564 elan_3.1.1.orig.tar.gz ab713a8e1f465aa609983b4d7e4e89da 10716 elan_3.1.1-6ubuntu0.1.debian.tar.xz Original-Maintainer: Christopher Hoskin -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEUMSg3c8x5FLOsZtRZWnYVadEvpMFAmnmYzMACgkQZWnYVadE vpPT8hAAupwXpBbj2+LhsOCDMYIl3AaP5CA2ffnkmme923einAT7G8aP+aLWOd66 9B1HhEOberXxmFNfCbD6dE7BnauwhZp3dBgmhEszTn9ugcSeDhQTL93ufokiAe9i kRZRSaNAJAl1v1ErNPruS9P7ONtz1CUbPbZPB/LWB42UGwOuXLAynaBi9Tza6hJB y77lf4RSBOS7H5VWzxPwmQdCTz9TIW0LzUGtWn8ndXgWSufBIjda/k+nmLgNpbOJ F+4DBNn75bPYkccJo2eVdB2FX6WdmvQpRc4xlDZipjCB72OJfh+ijVR2wdJCT8d6 Lohoa81kgPwf1sPm3hAsarbApzMR5KbrC2yzKD0/QSOVZOCVaBO16UI4SZMfmnqn Jc6/WXF4ngQuFEp06Zh3cbudi75+7pwQj4Kbp3D1D/jyPPFWSaW5x5hVZ41Uyko1 aWpHPU9AMeV3P3w5FNGkV1uYhgAUgwFbxj7AVHTQA0McQgOOWkH4TQqys0MIEzAn DS8JgW4bNBCIol5+2J0u14Fv/rOdf4WpG/T/EJAxvkeEYwU44ClhDeM8dVsENk1F H7H+b7kY8SMPC8GvJuoumLurgGFaJTU5YXiwLZm4k6v6eKiA/245KJ+ghhU91MM2 tlBAJYyj2Ak2ivs1qSyd0nJpY8yxxPHOLJxBcPE5GEjUYbG392w= =ZEG1 -----END PGP SIGNATURE-----