-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elan Binary: elan Architecture: any Version: 1.4.2-4 Maintainer: Christopher Hoskin Homepage: https://github.com/leanprover/elan Standards-Version: 4.6.1.0 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-dev, librust-time-dev, librust-toml-dev, 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-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-zip+time-dev, librust-zstd-0.12-dev, bash-completion Package-List: elan deb math optional arch=any Checksums-Sha1: d4e9ed2980d64467673cfa947ffc3e29a32c3d07 96544 elan_1.4.2.orig.tar.gz eacbf82ac90d3fdcd7bbae5f9337e0eb968a4e51 6404 elan_1.4.2-4.debian.tar.xz Checksums-Sha256: d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def 96544 elan_1.4.2.orig.tar.gz 56bfd88c405f2a00df07a1d6e14b19437b1a5066dfab16b48ddd44046d827e7f 6404 elan_1.4.2-4.debian.tar.xz Files: 77e0419cdd4efa29349e24f695a06240 96544 elan_1.4.2.orig.tar.gz 9bbd56253c58123a252271081a28fbaa 6404 elan_1.4.2-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmPFv6cACgkQf6qUsnUU SpqRkA//WActJKuGmEWweaQOIUs9V4ci5hqaK2EK2TwlFoVSgI5Bqn+hY3dPdUh6 ylsaPD3dX1Nx/8B5gzimsMeDTzcD/zKA8X4+KsxFS8CRA/Wyu/lpNsXUQTZKQ+or ZqV96OMQq79PRBJ+OH83Nwe8nRyNxe14QTmgl542ynSR/9QxZHTWa1mnt4lYIXwQ jGBPosmf8GhumnS8ur5mkNRIgX3l50cyYrWZi3VkFr8uQ1RLE/h/bqGSEYA+lpgG +o23DsA0f1LV4ST7nCdNvsQyT4zY9Bi6KNzumpEmZ+mpzN8xN9kxnqycupOZG0R4 ZxxCpGgHf1xzu+rVG9tI23JF2UldIffDX2gyeiuJuJ4XRNHphimTlQSW7/X1Osp7 mxk+51oRRmfK2CjeFE/QhmUzbGchStZ5lLz5SShbV4K5RyxtHT6l/ZlWAJF9mxbW fFzTqX2qKZ3Tw0BQNpz9U5f01Rddf+63GIW8+T0Irp4P8xS7n/4lVON0wrvztz4I DgZs6+R1HeO+xxYXiZ9n7OSYHHfrCniGVHRKRctqGxwTGobkiIAUyOOQccWe/ka+ RJhnvUgKdtUhPdVjity12seLoDVd+5eNgt2GbD3SnYVrgB74joIEki/LFktKgzv+ kRqom1zMw4Pe7qA5JRM2fl5mxTSkakyhbNxYHdTxBLYKRuzh/ms= =3eC1 -----END PGP SIGNATURE-----