Bug#599319: matita: should use dh-ocaml >= 0.9

[Mehdi Dogguy <mehdi@dogguy.org>]

Package: src:matita
Version: 0.5.8-2
Severity: wishlist
User: debian-ocaml-maint@lists.debian.org
Usertags: dh-ocaml-migration

Hello,

dh_ocaml is able to compute automatically dependencies for OCaml packages.
Using this new feature has several advantages:
- be sure that all dependencies are correctly set
- prevents the installation of a broken package (example: when a library
  has been updated and your package wasn't rebuilt against the new version
  of the library)
- makes OCaml transitions easier to manage (broken packages are those that
  should be rebuilt).

Some useful informations can be found at:

  http://wiki.debian.org/Teams/OCamlTaskForce/DhOCamlTransition

Please try to migrate matita to dh-ocaml >= 0.9~ or ask us for advice.

Best regards,

-- 
Mehdi Dogguy