-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: elan
Binary: elan
Architecture: any
Version: 4.1.2-1
Maintainer: Christopher Hoskin <mans0954@debian.org>
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
 bea191886701357a01b9783a08e8ccf6849fa7e3 8848 elan_4.1.2-1.debian.tar.xz
Checksums-Sha256:
 7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350 99734 elan_4.1.2.orig.tar.gz
 14af559fe44fba14725bb15f2ab6262ddfbd57c2c98c49c98db6dcabb9ab4690 8848 elan_4.1.2-1.debian.tar.xz
Files:
 bab9d06bd4f03a2722da1d58e43ceb64 99734 elan_4.1.2.orig.tar.gz
 ecd3d231d89ca8154009f9d83eaea0e7 8848 elan_4.1.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmjIxg4UHG1hbnMwOTU0
QGRlYmlhbi5vcmcACgkQf6qUsnUUSpoiYQ/9EzZNmy9OQ4ne7O41VCocG4lgl+ga
+n+iZ9j0cUG5pxBwkctNGTpezT0ICHo81mfm0tGoRDNzb2WfFNzokvt48YNGnvdc
+bn1u+jHzL0GnuOa/M5bgeVhweo+75vGx1Hxp2ddNwRzSbg+kNqIJEzRfYYv5aWO
PYpCTxsLc0osZ5Of0R43yCP7RAavLXMY1GWs/N+Wjf6J+Nr74Fv1CfXbLHYzFTKh
y7m+kRTbTyH5TkDaAD1W/HNLx1pB3ccDlrtjBuUdmu0IgTBBuBqhHd17kB/jegUR
CYQbo+i3U91jOBM70KbRd/VrdeNU9/OipxI3nJ6guA2tiQvkRklR9atS+i8/XESy
SrfAJBy4FyG+jzoHPACxGtX25MVOTu/zKggq1Y5i5juICrCr0PTQz1IEhAmfoXC6
5com2ibllOfLud9lF4mWBo5StNtxHFC1qZP7OVa01aGhaTOJpQ/T5exeFBOUkPth
/4ZAbdBKvd6jmrTnhqMNP44ulQ7eVL3wY7TKxbhNBJC53fD6JySdQ7MtQdtIvEmm
IIUsHY5QpD1itYJQoqHv4LGsd0/KVShddelfsY0msme1WjuFkezgE9B0oEg8z4Vg
sa4CR+15H/N/kmahbRi7TiQn1gNTRZnDEIUsFVumMJigyINqQDz6taN9NmQ+gGqv
QXUoNd2vQHZGtoM=
=1ZZo
-----END PGP SIGNATURE-----