Package: src:hevea Version: 1.10-12 Severity: wishlist User: debian-ocaml-maint@lists.debian.org Usertags: dh-ocaml-migration Hello, hevea should be migrated to dh-ocaml >= 0.9. Best regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/