-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 10 May 2021 21:15:09 +0100 Source: elan Binary: elan elan-dbgsym Architecture: source amd64 Version: 1.0.6-1 Distribution: unstable Urgency: medium Maintainer: Christopher Hoskin <mans0954@debian.org> Changed-By: Christopher Hoskin <mans0954@debian.org> Description: elan - tool for managing installations of the Lean theorem prover Closes: 991801 Changes: elan (1.0.6-1) unstable; urgency=medium . * Initial release (Closes: #991801) Checksums-Sha1: cc7de3fde49b25c81c7688a4b6d782e18e91a590 2535 elan_1.0.6-1.dsc 56f6812efa8055e5471c48ae19e40cb3cfa3536c 96051 elan_1.0.6.orig.tar.gz 831374d483a65928050c97e3f7d462f7f967146a 5260 elan_1.0.6-1.debian.tar.xz 08decf81da4f5ddc574f6d23faf139c0b193c118 11710720 elan-dbgsym_1.0.6-1_amd64.deb fc5f4acc85d904a1ca005d1c95c1e26fd05981ae 12351 elan_1.0.6-1_amd64.buildinfo 5f0b62f0318e51fc0d8c2553bdcc2c5f99066209 1148496 elan_1.0.6-1_amd64.deb Checksums-Sha256: 7a589d2c23da63c82a5eef37c8238af4ddccf25a2b2ec3624ee6723891f17170 2535 elan_1.0.6-1.dsc f8865e3ab035a285173ced40024769f6b7149dc7b556c5cf3bd0d0cdc6528197 96051 elan_1.0.6.orig.tar.gz bf874b03472cb901828eaa2eb74a4b9e53755e3d1f57e76cda5dc9490a6da4a9 5260 elan_1.0.6-1.debian.tar.xz b20aded551f4ff7a91481e455b28c05a8f3589d0c4d5f027ca8c6bfc27c37100 11710720 elan-dbgsym_1.0.6-1_amd64.deb 72a73886a5e52c14baeb973b7fb0ea98ff68172fd35e2868c43768e5db436553 12351 elan_1.0.6-1_amd64.buildinfo 51c58fdc66d8d5546ff57c5ae3ce0a400a9d80e40226ef76403b783fe70b25e7 1148496 elan_1.0.6-1_amd64.deb Files: ab0da673b4f13887499bc3f550842a52 2535 math optional elan_1.0.6-1.dsc 89dd78bb4c34ed80a4875a3909cee539 96051 math optional elan_1.0.6.orig.tar.gz 7aac128375abafd3f86b5bae169e7479 5260 math optional elan_1.0.6-1.debian.tar.xz 98016d34a68d89614339d6fe0c8e1df4 11710720 debug optional elan-dbgsym_1.0.6-1_amd64.deb 00939c61599af0fec6502cb4b6fa6f8d 12351 math optional elan_1.0.6-1_amd64.buildinfo 7000fc512b9e7686984c78d05dfebdf7 1148496 math optional elan_1.0.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmEIUK4ACgkQf6qUsnUU SprQ2hAAnu2HkqH06Ypi3621N7fWau6Dkj1ryeMwqbuNTuINO9WeVWWUKMQZ+Xwm tZPJqhr5SIKr+80YI+M9QK1DeK4WPbB65+SNxsE1AbQYuke8x2ksuxmsKgldO0x5 qnZILYg2YQAXxDry2KQoHKTyLEQwFTTerBr8UUJagx/KYn8mhuizEBvB8ShukwxF qI+5LbHnp7A7smAsP8S7p3syoxubFFiDkI05uPO8VZp7ZLUQrrxuIOGU+Nf4KxuJ Yq2BMlo467HB1+LVb97DOG9BlFO+eA8YyzoVF6Euzh2/0v0Y2PUAtj0uGhPEHzce kNCO4+VmObrWSbVIwiQ9mw8n+VQYLdTlVZ/EH7dpgbkHNeXtIvchNiJN8KS4Eh4y 7N+rZqhSuhZy+Lif0N0EcsBK9nywPjWZ2CbwN39jfWXbemyvDIhyFMcjKlTRamVb urHPstochP41DfDMjMoTqcsmpXGsfNPDOHZPpRdP8QWdxMbsTofnokcakdqyNjBx 26rvad/dlvJxb8jjNDVjOYYL0rup2MA+rb8Hxu0uWOhXyWh1vuKWq04UrmVaq4Bk Nkhru3nbt1jSX5bvPgzwf4yYYD3T3qAsduRD3c6YT4VuVdHUbEGCN2DujKRaMr/l kTKTuqnmBWML6Zit+rsL8nclnC/ozRFRNB/mAFxe2KYrLygyKjA= =FJpu -----END PGP SIGNATURE-----