-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 4.1.2-2 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-fslock-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-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-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: 6bb2153c77a7c3b165eb1e2bd52bcb9eb611af32 99734 elan_4.1.2.orig.tar.gz 2d20472fa2aec8485cea9c6d60807186592ffcef 9204 elan_4.1.2-2.debian.tar.xz Checksums-Sha256: 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 99734 elan_4.1.2.orig.tar.gz dbfefe28ad99b16604e61eac870d291191a7db9fe2a2fb9846495f6ba9ec0d2d 9204 elan_4.1.2-2.debian.tar.xz Files: bab9d06bd4f03a2722da1d58e43ceb64 99734 elan_4.1.2.orig.tar.gz b33f4bbc90d475eb4e5ad6f7334bda78 9204 elan_4.1.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmjNBDgUHG1hbnMwOTU0 QGRlYmlhbi5vcmcACgkQf6qUsnUUSpqXoA//ZImyUPiwt2JcY63U31Wn41smoYLK XusihtMjK7W33lgrTwwh8j4rRRdNo8Q7yx82zzt3yQhtCS+Hh3jOSjslTiSkUCSo onmiSw8aVjAbdKERX2QxY0UjdMCegfILvY1sNsQwB4VNFPQCtyUm7FLFOHPE2b4m S+Lh4VPhoT29TAYFWil6/pe7gS05TzKVkaPNxcOZ8xbd8Dnt5pIGoIsQ5ESd1FjS KU+P7z5/4qd7rgx7makJ0p0U/D7UdH8A6e2QudLmyh7/DKzHS51mhk5SA3JAVFiS 8rShP8K5m/c54/3CqgGGU1UFcYCKdf7MQaYuX8oXhzn8rhKDWYJYji6o60nRAqGP JoB/dqf/uJtdRksdPLqs2jG9sSdG8VsPHKta/PXvYADX9b9hMsVQ2jwyZxZwfClD jldjGlAKsX2ISUdeMlpIsVeZMmf5QMx5WaYjwrj6Wzu+WzV8x2GzLaWYSQnxPH1V rxvUrW3+zax5ZSvarzsdlj17LuDwkxXQ52asB8ZZ5ffOXeoacESgvE+x4CqbPpIF OvVqTJzEyUWT+qOS6OVo5OIHtleTjTcFAHMCslSuOsAITYjeG9mLg+1/GEeQpbZY OtO/P1TM8HjBurOOmBCdGgQh2n+fRD7iRXNmTEsMZb4dpPR/WRsmt5O9FfyiJy2x yncKQd8w2cYjIp4= =U1kf -----END PGP SIGNATURE-----