matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2017-09-20 It (build-)depends on packages with these RC bugs: 871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump

gmetadom is marked for autoremoval from testing

gmetadom 0.2.6-6.2 is marked for autoremoval from testing on 2017-09-20 It is affected by these RC bugs: 871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump

Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile

> Did you try using dh_ocamldoc? It can be as easy as dropping an empty > libcmdliner-ocaml-dev.ocamldoc into debian/... It works quite well, after adding a few options to this .ocamldoc file... Is there a way to modify or overwrite the generated doc-base file? I guess it is not essential, but i