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