Back to matita PTS page

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