Accepted elan 1.0.6-1 (source amd64) into unstable, unstable
-----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-----
Reply to: