-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 22 Nov 2008 15:45:34 +0100 Source: matita Binary: matita matita-standard-library matita-doc Architecture: source all amd64 Version: 0.5.5-2 Distribution: experimental 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 matita-standard-library - standard library for the Matita interactive theorem prover Closes: 454176 Changes: matita (0.5.5-2) experimental; urgency=low . * Bumped standards-version to 3.8.0, no changes needed * Added matita-doc package to contain the .html and .pdf versions of the user manual * Added matita-doc.doc-base to register the user manual shipped by matita-doc * Relaxed dependency of matita-standard-library to >= making it bin-nmuable. The bin-nmu is safe only if the OCaml compiler used to build the binary package has the same marshalling convention of the one used to build the arch-all package. (Closes: #454176) Checksums-Sha1: 93dddb4db1c14e6cc67384da2a6c3b8437b64f6e 1711 matita_0.5.5-2.dsc ddb794f35e397650a3da030f679e37b3eea5cb19 6093 matita_0.5.5-2.diff.gz 86c7e2428f5bb5da9bb6ea2c2531ea891452b44a 17507352 matita-standard-library_0.5.5-2_all.deb 76cc200fe86fcf96ac2ee08ad87743bcb2109cbf 385006 matita-doc_0.5.5-2_all.deb 4f697296d55064c797aaa974b649c723606d39e1 4040846 matita_0.5.5-2_amd64.deb Checksums-Sha256: 7d6a09af3c53ec21038bcc78cb824f54ea2ff684da402472b37d6ed42560f1ba 1711 matita_0.5.5-2.dsc fc784fa9bcc450c5e54082c878adf229853980b511e57d47619abfae82bf459b 6093 matita_0.5.5-2.diff.gz fa41a42e697c228d479e89ce73feaf73b7557bf87d4c09c8bfbe684e9ba47d96 17507352 matita-standard-library_0.5.5-2_all.deb c763f9d00be5b31210c7c51c25685e7464fd10f7d24cb64bf8bdaee234f47278 385006 matita-doc_0.5.5-2_all.deb 24c12cc7207d1c47afbec0d049880653b8f59655ab994bbe51e2c3275e0fe9dd 4040846 matita_0.5.5-2_amd64.deb Files: d592cef1c7967d390848c729ecfa25e8 1711 math optional matita_0.5.5-2.dsc 0eb2c8121bedec967129e982872c211b 6093 math optional matita_0.5.5-2.diff.gz 0071da49c2d3e9a3704bfb48065657c0 17507352 math optional matita-standard-library_0.5.5-2_all.deb e6be14c2e22db53ffd75ba02a08be1dc 385006 doc optional matita-doc_0.5.5-2_all.deb 704a58aece117be1d9cd1e80359f5e1b 4040846 math optional matita_0.5.5-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkkoM9QACgkQ7kkcPgEj8vIsaQCeL3nGmjCKLYCq6DCjypx6gliU qbUAn26kwm6//8k+qkHxSX6YKwA/wSPy =6iIV -----END PGP SIGNATURE----- Accepted: matita-doc_0.5.5-2_all.deb to pool/main/m/matita/matita-doc_0.5.5-2_all.deb matita-standard-library_0.5.5-2_all.deb to pool/main/m/matita/matita-standard-library_0.5.5-2_all.deb matita_0.5.5-2.diff.gz to pool/main/m/matita/matita_0.5.5-2.diff.gz matita_0.5.5-2.dsc to pool/main/m/matita/matita_0.5.5-2.dsc matita_0.5.5-2_amd64.deb to pool/main/m/matita/matita_0.5.5-2_amd64.deb
