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