Back to matita PTS page

Accepted matita 0.5.4-1 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 19 Oct 2008 10:24:36 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.4-1
Distribution: experimental
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.4-1) experimental; urgency=low
 .
   * New upstream bugfix release
Checksums-Sha1: 
 af0ad49cc949755d2c0061383e425c94c7e473c1 1660 matita_0.5.4-1.dsc
 c3cf164fe35378bb3a4f184fc11bc48892ec0f7b 1986045 matita_0.5.4.orig.tar.gz
 91ee12c2c409ee15b578806c027f196b9f389a76 4417 matita_0.5.4-1.diff.gz
 85291cc47fbdc856b2045b93ad380e8472df45d0 17037828 matita-standard-library_0.5.4-1_all.deb
 d9ee377f4ecc7e9dabbe85ecd61770352c7023c7 3664518 matita_0.5.4-1_amd64.deb
Checksums-Sha256: 
 64e89f55d0d3c867f06c978dba51a3fb63b61913341f126ea55c3e1873a7c3f6 1660 matita_0.5.4-1.dsc
 ab59636cf7a3d560d6614a1750c576d9e70652cb01a338b6b6149119e9b8863e 1986045 matita_0.5.4.orig.tar.gz
 3a1c2cdd41d3e2d56d6b01a3f10ff95750f622acaf80229755b366de7dcc971c 4417 matita_0.5.4-1.diff.gz
 a8fa70089e58ddc27bab784f4c2502c20e1f459ac11b6ee0eef9e6a52268405a 17037828 matita-standard-library_0.5.4-1_all.deb
 bea5598f9ea72d1f86d4c233419db796d2cfbfea733e28510974f941d2e55f34 3664518 matita_0.5.4-1_amd64.deb
Files: 
 322c2b440b92883d0685439abb483aac 1660 math optional matita_0.5.4-1.dsc
 a338276c63408de78852a914d753a1ca 1986045 math optional matita_0.5.4.orig.tar.gz
 5622f67983255e24752a65c4637b97dd 4417 math optional matita_0.5.4-1.diff.gz
 97dd31362df6d1ccd1728c72427668f5 17037828 math optional matita-standard-library_0.5.4-1_all.deb
 e5666df50f25e9fc9ed67d007374737b 3664518 math optional matita_0.5.4-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkj7CpIACgkQ7kkcPgEj8vLsQwCdFoZcThUwb0u+u2/1LQSQszO1
+ZYAoIw+Lll3pTcDVyCEnVfeYkpBp8qA
=I3xG
-----END PGP SIGNATURE-----


Accepted:
matita-standard-library_0.5.4-1_all.deb
  to pool/main/m/matita/matita-standard-library_0.5.4-1_all.deb
matita_0.5.4-1.diff.gz
  to pool/main/m/matita/matita_0.5.4-1.diff.gz
matita_0.5.4-1.dsc
  to pool/main/m/matita/matita_0.5.4-1.dsc
matita_0.5.4-1_amd64.deb
  to pool/main/m/matita/matita_0.5.4-1_amd64.deb
matita_0.5.4.orig.tar.gz
  to pool/main/m/matita/matita_0.5.4.orig.tar.gz