Back to matita PTS page

Accepted matita 0.5.8-2 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 04 Dec 2009 14:32:45 +0100
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-2
Distribution: unstable
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-doc - user manual of the Matita interactive theorem prover
Closes: 559261
Changes: 
 matita (0.5.8-2) unstable; urgency=low
 .
   * Conflict and replace matita-standard-library (Closes: #559261)
   * suggest matita-doc
Checksums-Sha1: 
 d8bb50f8101cb07093b12b73ed2bc70e28079476 1721 matita_0.5.8-2.dsc
 4507fd27deac56322e47ea4eda40952558e5271f 5266 matita_0.5.8-2.diff.gz
 3f032186bf13c0eac61cd85efbdbe2a6e5736f60 1670576 matita-doc_0.5.8-2_all.deb
 08bb6471b8ea289f48cc279b69a43d5c21e6d78e 7278776 matita_0.5.8-2_amd64.deb
Checksums-Sha256: 
 d5b27fdeb7faee028d7b318bbe4f4cb674433b49f8e07b0b9032644acb5ff9ec 1721 matita_0.5.8-2.dsc
 d24027c681922a6065a13e759910ef46e4936380a89d08ec460e845708cdb91a 5266 matita_0.5.8-2.diff.gz
 7bd229efec5455bdae4d9bc4fe42515083508cbac372fa03fe17ce58e74e26ae 1670576 matita-doc_0.5.8-2_all.deb
 33d489e9e76152fdbcbfe56d242e843b99529bf2623558b18bde2cca0a95d099 7278776 matita_0.5.8-2_amd64.deb
Files: 
 0160cf486979eb5aee72d54f43fc8336 1721 math optional matita_0.5.8-2.dsc
 879a6c609a8ea707e5d12711e1808669 5266 math optional matita_0.5.8-2.diff.gz
 55469e9f94760196eba1cde269be2979 1670576 doc optional matita-doc_0.5.8-2_all.deb
 9b69135865aaeed728f6b21c15331ab5 7278776 math optional matita_0.5.8-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAksZEV8ACgkQ7kkcPgEj8vJhOwCdFB5xb41FgeJsjxxeoXsAHzzl
SzMAnjcYBPrcRArd7K6uWvzSwPdGTiom
=0f+S
-----END PGP SIGNATURE-----


Accepted:
matita-doc_0.5.8-2_all.deb
  to main/m/matita/matita-doc_0.5.8-2_all.deb
matita_0.5.8-2.diff.gz
  to main/m/matita/matita_0.5.8-2.diff.gz
matita_0.5.8-2.dsc
  to main/m/matita/matita_0.5.8-2.dsc
matita_0.5.8-2_amd64.deb
  to main/m/matita/matita_0.5.8-2_amd64.deb