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