Back to metamath PTS page

Accepted metamath 0.180-1 (source amd64) into unstable, unstable



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

Format: 1.8
Date: Sat, 28 Dec 2019 08:09:58 +0100
Source: metamath
Binary: metamath metamath-dbgsym
Architecture: source amd64
Version: 0.180-1
Distribution: unstable
Urgency: medium
Maintainer: Giovanni Mascellani <gio@debian.org>
Changed-By: Giovanni Mascellani <gio@debian.org>
Description:
 metamath   - Language for mathematical proofs
Closes: 947404
Changes:
 metamath (0.180-1) unstable; urgency=medium
 .
   * Initial release (closes: #947404).
Checksums-Sha1:
 dca286f34e2400b8facaea4284a7fe59460a74e4 1208 metamath_0.180-1.dsc
 984473da5952ef79bb53f97b7fdfb1525f013159 444814 metamath_0.180.orig.tar.gz
 49d36e216ff4e8947e673a7d76ae7541a1977839 2088 metamath_0.180-1.debian.tar.xz
 18a3e86fcd40bc7a8c53ebc46c1b94d7923bc739 462296 metamath-dbgsym_0.180-1_amd64.deb
 2eee2d4bba2b3e04a8ce82293f93c2d3cb48a294 5175 metamath_0.180-1_amd64.buildinfo
 e9286b53555979cfb702915928126291cea879fa 331180 metamath_0.180-1_amd64.deb
Checksums-Sha256:
 fa10e05ceb74962d1bc79c8f8f28af6b3871207bb34f656f0a6db1bbfb378e1f 1208 metamath_0.180-1.dsc
 88f115f9236c38d5c90f2f0856485eeb020c1600381277613bfc486cf851d660 444814 metamath_0.180.orig.tar.gz
 d61e871650b24b6355f92b5dd33e9b1a513b8e7da3833799646ecdd43784044a 2088 metamath_0.180-1.debian.tar.xz
 f7b880220400277b3fea30137bcd129e8bd121e827db14aa9ef2347fc1d96834 462296 metamath-dbgsym_0.180-1_amd64.deb
 8d7526d8804f0e2d7015d2b3d9f518cd688b9e8cae832d6e3ad6ffd324da7803 5175 metamath_0.180-1_amd64.buildinfo
 432a5249f12c92e97ac4ebad0a4fbd16d36f8d3a863752c06467ee6bf5d6682c 331180 metamath_0.180-1_amd64.deb
Files:
 3605029f7f3d1ee9b96d70798ddafc00 1208 math optional metamath_0.180-1.dsc
 1a71dd27349ecdbf8a4633c5847db3e5 444814 math optional metamath_0.180.orig.tar.gz
 841dde1f8b3bfe6affebe8a6afa18f27 2088 math optional metamath_0.180-1.debian.tar.xz
 9757288daea5a10e50023401f7ee6c22 462296 debug optional metamath-dbgsym_0.180-1_amd64.deb
 223c7b6527f02095a6503ca72fd1fea7 5175 math optional metamath_0.180-1_amd64.buildinfo
 831f0a670828178c735db4232cf405ca 331180 math optional metamath_0.180-1_amd64.deb

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

iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXgcIrQAKCRCNr8EMz954
STWuAP900nac0nyxGpkBE8YRRWDvmmItkLtDvzxTNbvlBKEmKwEAy3D9ypCGu2kg
35uqYDMMEUXSRJiUHwcCkmgXx8TxVQ0=
=yPuX
-----END PGP SIGNATURE-----