Back to metamath-databases PTS page

Accepted metamath-databases 0.0.0~20200715.git5b44899-1 (source all) into unstable, unstable



-----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-----