-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2020 19:23:29 +0200 Source: metamath-databases Binary: metamath-databases Architecture: source all Version: 0.0.0~20200715.git5b44899-1 Distribution: unstable Urgency: medium Maintainer: Giovanni Mascellani <gio@debian.org> Changed-By: Giovanni Mascellani <gio@debian.org> Description: metamath-databases - Sample databases for Metamath Closes: 947405 Changes: metamath-databases (0.0.0~20200715.git5b44899-1) unstable; urgency=medium . * Initial release (closes: #947405). Checksums-Sha1: e1ae24c060fa6e68f84c6f658a21f7c30faf1463 1474 metamath-databases_0.0.0~20200715.git5b44899-1.dsc 1950065beb948bd1c7e0ce38e9c9545e31a6a15d 12101452 metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 19f57c0652ca03dc88e9208c4038a2f4c5b95f6d 3092 metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz ecb85f138bb9ccfc75a8c6da3311d10da226154d 12132088 metamath-databases_0.0.0~20200715.git5b44899-1_all.deb 1228187bed1817b25f777fa027f2401372b90b79 7282 metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo Checksums-Sha256: 18343d3556f295bb993e2cba30339c4925dc701714f3237e4a4dae042de2d5dc 1474 metamath-databases_0.0.0~20200715.git5b44899-1.dsc ab8ac96eb09b56253c476cb81d56993661915f59f7836915bc92b611f973b95f 12101452 metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 528a66d03b46ee07aa8c5217e2519e7b45501df54fb4dfa79bb173f388327ea7 3092 metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz 71b185c96ad17a45d8d71169358ea392263368fd3631325aa8d81e8285d1f81b 12132088 metamath-databases_0.0.0~20200715.git5b44899-1_all.deb d5439c6430a11b89a81996cfc6600e37b3394269b591b7ee38b6ffdb69584c98 7282 metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo Files: a022745801dcc172c4d53aca40224832 1474 math optional metamath-databases_0.0.0~20200715.git5b44899-1.dsc 2b6cd095f91f7e205e8e920669aa0dbb 12101452 math optional metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 8c13a474531032ce420aeef14285d0fa 3092 math optional metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz a7fa58c8ae8080e2d2dac426b0449e9d 12132088 math optional metamath-databases_0.0.0~20200715.git5b44899-1_all.deb 801fbac8198396bb2bf532bce0a0b210 7282 math optional metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXw879QAKCRCNr8EMz954 SUGDAQD+ooyy3m8nmB8iRl5n0EEu5DEzYYXFaf7TO99e82vHUwD/cgrbB5N5sL+j eRmXbMEsmsQAhcqNAaLw3sVEKncMYAQ= =ysGa -----END PGP SIGNATURE-----