Accepted matita 0.5.5-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 17 Nov 2008 18:24:52 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.5-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.5-1) experimental; urgency=low
.
* New upstream bugfix release
Checksums-Sha1:
96b269d797f875c9484a9e522fd1e972f2cc0fda 1660 matita_0.5.5-1.dsc
ee5ac017c34c29c67a9feaf15fc5950084dc440c 2008994 matita_0.5.5.orig.tar.gz
bff24df8aa7f5b71f9cf9c5f987a27a9d0d4f145 4414 matita_0.5.5-1.diff.gz
09980364a6f184d3a3c12cd1055c6efbd17bc87a 17515832 matita-standard-library_0.5.5-1_all.deb
881c9d168e9ddee1615a048bc325dc0cb76158e5 3680296 matita_0.5.5-1_amd64.deb
Checksums-Sha256:
58de0e9c119858e0fc24f9bec80aa95082f1ed9c1095c182952091e9820ab648 1660 matita_0.5.5-1.dsc
b604a6a24f3b8ac4e51b58fe46dea10acfad539b6bf8df40a0c938f11edc5bd7 2008994 matita_0.5.5.orig.tar.gz
3002b959478488a3626674cd100293842c46795d8321b635fb1cecba7e4e70db 4414 matita_0.5.5-1.diff.gz
37342c9c963c74d26405b5de588799560f607e95b3d058cd0b640f5d2128b234 17515832 matita-standard-library_0.5.5-1_all.deb
21258c8c73fa6f3e9b48c7c70ac816b3d25cddee7639ca074812af58d87849c7 3680296 matita_0.5.5-1_amd64.deb
Files:
d24a21bdf2fe7150866ddf06212e22e0 1660 math optional matita_0.5.5-1.dsc
e22f3c313f3291400f2912cc24eaa591 2008994 math optional matita_0.5.5.orig.tar.gz
222219eb602f1d627e9362b4cf08d777 4414 math optional matita_0.5.5-1.diff.gz
074734bed849db74384ee4965f7d52d9 17515832 math optional matita-standard-library_0.5.5-1_all.deb
d7394c7478d2f859db29967c72d907cb 3680296 math optional matita_0.5.5-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkkhrcMACgkQ7kkcPgEj8vIHhACgkE+CqOMkqTjZYLvIphH76IM/
4oEAnRd2E75qSthxmkprATVQw+gY2nq9
=bHnb
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.5.5-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.5-1_all.deb
matita_0.5.5-1.diff.gz
to pool/main/m/matita/matita_0.5.5-1.diff.gz
matita_0.5.5-1.dsc
to pool/main/m/matita/matita_0.5.5-1.dsc
matita_0.5.5-1_amd64.deb
to pool/main/m/matita/matita_0.5.5-1_amd64.deb
matita_0.5.5.orig.tar.gz
to pool/main/m/matita/matita_0.5.5.orig.tar.gz