Request: autobuild src:coq-doc
Hi,
the Coq software is DFSG-free provided by the src:coq package. But its
documentation is under the OPL-1.0 -- hence not DFSG-free because of
restrictions on modification [see 1 below].
In the users' interest this documentation has hence been split in a
non-free src:coq-doc package providing binary packages coq-doc-html and
coq-doc-pdf -- with a third one coq-doc to get both.
That means there's no problem with building such a package on the
buildd network. I propose to add "XS-Autobuild: yes" to its
debian/control.
Cheers,
J.Puydt
[1] http://lists.debian.org/debian-legal/2004/03/msg00226.html
Reply to: