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