Accepted matita 0.5.1-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 29 May 2008 10:14:28 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.1-1
Distribution: unstable
Urgency: medium
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.1-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
ebd05664a807814ce74eaf63394292a290a40b65 1652 matita_0.5.1-1.dsc
54ded7ae218eb914f5794beeff94ccb6e74277e9 1917721 matita_0.5.1.orig.tar.gz
3009182cdef3034f156a57183b4772f4216ba05e 4328 matita_0.5.1-1.diff.gz
c2105b8b5008ed608e337f64686222ba5d585053 10461554 matita-standard-library_0.5.1-1_all.deb
d8753de4c2a452db32071775bb466284cbe2b755 3595016 matita_0.5.1-1_amd64.deb
Checksums-Sha256:
1dfd3217d79f8ef7ccc9b0c6b588e1e97900425275293a03eed16640bf10e98b 1652 matita_0.5.1-1.dsc
88155adede7d7eddbe4125edfffa634fb8fe9df445c2b683c541f27404e0df45 1917721 matita_0.5.1.orig.tar.gz
48e94632362a1d694246c83d05be5fd941bf65b6ef5f8b6abf92e8da99a2ab8b 4328 matita_0.5.1-1.diff.gz
997a399ea432d6eaa885525fa11e447b13cecadcc4a1592cf2a98a257cf391bc 10461554 matita-standard-library_0.5.1-1_all.deb
163ecfd135de19e4de294da798950d8a88ead6abcaf6b22d882d8cde2d4391ef 3595016 matita_0.5.1-1_amd64.deb
Files:
908c3546c06512a5290a76be3569ca39 1652 math optional matita_0.5.1-1.dsc
4a9f141d70238733594c414babdf7f63 1917721 math optional matita_0.5.1.orig.tar.gz
ba1ca099bd78110fcf1ae6b55bc73f9d 4328 math optional matita_0.5.1-1.diff.gz
4506bd85f4a2ce16659467d81409b908 10461554 math optional matita-standard-library_0.5.1-1_all.deb
cd65c7ae796ce039cf2a5067268e89db 3595016 math optional matita_0.5.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIPm6F7kkcPgEj8vIRAv+GAJsG8mJds+e7WErkkh4eC7WUniS2HwCeNoN1
evuib0VQSO94W6ROQqLc3rI=
=E0tv
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.5.1-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.1-1_all.deb
matita_0.5.1-1.diff.gz
to pool/main/m/matita/matita_0.5.1-1.diff.gz
matita_0.5.1-1.dsc
to pool/main/m/matita/matita_0.5.1-1.dsc
matita_0.5.1-1_amd64.deb
to pool/main/m/matita/matita_0.5.1-1_amd64.deb
matita_0.5.1.orig.tar.gz
to pool/main/m/matita/matita_0.5.1.orig.tar.gz