matita_0.5.5-2_amd64.changes is NEW
(new) matita-doc_0.5.5-2_all.deb optional doc
user manual of the Matita interactive theorem prover
This package contains the PDF and HTML formatted Matita user manual.
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
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)
Override entries for your package:
matita-standard-library_0.5.5-2_all.deb - optional math
matita_0.5.5-2.dsc - source math
matita_0.5.5-2_amd64.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 454176
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: