1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Request: autobuild src:coq-doc

    From julien.puydt@gmail.com@21:1/5 to All on Thu Jun 16 07:20:01 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Philipp Kern@21:1/5 to julien.puydt@gmail.com on Fri Jun 24 11:20:01 2022
    Hi Julien,

    On 16.06.22 08:14, julien.puydt@gmail.com wrote:
    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.

    I added it to the allowlist. It should start building after the next
    dinstall run.

    Kind regards and thanks
    Philipp Kern

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)