-----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
