Back to matita PTS page

Accepted matita 0.5.5-2 (source all amd64)



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