Accepted matita 0.5.2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 02 Jul 2008 11:39:06 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
matita - interactive theorem prover
matita-standard-library - standard library for the Matita interactive theorem prover
Changes:
matita (0.5.2-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
06fe5e2dcafa862fae35404c57d60fbf8f54f002 1660 matita_0.5.2-1.dsc
21dee173f392a9e6c0ae5005ccc81bdfc3a14c10 1923611 matita_0.5.2.orig.tar.gz
f866c004ec83f833b8976b687cac304c8e891179 4386 matita_0.5.2-1.diff.gz
331d69cfbd9bdf329c716ee2285898562085bd0c 11953076 matita-standard-library_0.5.2-1_all.deb
38a14b66cb6b6a1178bb06a1bcabdf610d39144d 3615846 matita_0.5.2-1_amd64.deb
Checksums-Sha256:
d39a7b31cc4000b47bf29654694c09a352ad30985bf95c55162fc27db877071f 1660 matita_0.5.2-1.dsc
d22a898fd190b5471f0385efd7ae163a7b770da798b2067aa3cccd20c80a2288 1923611 matita_0.5.2.orig.tar.gz
76b91a79616eea13652017ff082323d859038092c516e7ee7fc9eb3573efaded 4386 matita_0.5.2-1.diff.gz
b45b3b2c3d86952d4178e1240e0d129cf1798967ab85783fcc5aef6e7b6b6185 11953076 matita-standard-library_0.5.2-1_all.deb
a32c418530ddfb54e85756f2dc06186a580e65be2e5e8f783a5fb58a0184fcdf 3615846 matita_0.5.2-1_amd64.deb
Files:
3e9b7d28c41a97cd7aea1594cf3fffbd 1660 math optional matita_0.5.2-1.dsc
e154bb89a0502142c7e26ca69a2f1cda 1923611 math optional matita_0.5.2.orig.tar.gz
5bf904d66c7c6fb638a692a3efffa7b0 4386 math optional matita_0.5.2-1.diff.gz
54b700932679732c231396ccfc3669a5 11953076 math optional matita-standard-library_0.5.2-1_all.deb
dda3b2d19aabda3ae7549e9db534dcf2 3615846 math optional matita_0.5.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkhrVyMACgkQ7kkcPgEj8vJXzgCcCZpKs5/mSFNk3FHcPBgVZ0Fd
V2sAn0qB72eDn0IvQ9mxHOpmFmPbcPGQ
=tKh5
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.5.2-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.2-1_all.deb
matita_0.5.2-1.diff.gz
to pool/main/m/matita/matita_0.5.2-1.diff.gz
matita_0.5.2-1.dsc
to pool/main/m/matita/matita_0.5.2-1.dsc
matita_0.5.2-1_amd64.deb
to pool/main/m/matita/matita_0.5.2-1_amd64.deb
matita_0.5.2.orig.tar.gz
to pool/main/m/matita/matita_0.5.2.orig.tar.gz