[Pkg-haskell-maintainers] Bug#722134: pandoc: includes unmodifiable documents

[Francesco Poli (wintermute)]

Package: pandoc
Version: 1.9.4.2-2
Severity: serious
Justification: Policy 2.2.1
User: debian-release at lists.debian.org
Usertags: nonfree-doc unmodifiable

Hello!
Thanks for maintaining pandoc in Debian.

By looking at its debian/copyright file:
http://ftp-master.metadata.debian.org/changelogs//main/p/pandoc/pandoc_1.9.4.2-2_copyright
http://ftp-master.metadata.debian.org/changelogs/main/p/pandoc/unstable_copyright
I see that it includes some files

| Files: slidy/*
| Copyright: 2005-2010, W3C (MIT, ERCIM, Keio)
| License: W3C-Document and W3C-Software

which are released under the terms of this "W3C-Document" license:

| License: W3C-Document
|  By using and/or copying this document, or the W3C document from which
|  this statement is linked, you (the licensee) agree that you have read,
|  understood, and will comply with the following terms and conditions:
|  .
|  Permission to copy, and distribute the contents of this document, or
|  the W3C document from which this statement is linked, in any medium for
|  any purpose and without fee or royalty is hereby granted, provided that
|  you include the following on ALL copies of the document, or portions
|  thereof, that you use:
|  .
|     A link or URL to the original W3C document.
|     The pre-existing copyright notice of the original author, or if it
|     doesn't exist, a notice (hypertext is preferred, but a textual
|     representation is permitted) of the form: "Copyright ©
|     [$date-of-document] World Wide Web Consortium, (Massachusetts
|     Institute of Technology, European Research Consortium for
|     Informatics and Mathematics, Keio University). All Rights Reserved.
|     http://www.w3.org/Consortium/Legal/2002/copyright-documents-20021231"
|     If it exists, the STATUS of the W3C document.
|  .
|  When space permits, inclusion of the full text of this NOTICE should be
|  provided. We request that authorship attribution be provided in any
|  software, documents, or other items or products that you create
|  pursuant to the implementation of the contents of this document, or any
|  portion thereof.
|  .
|  No right to create modifications or derivatives of W3C documents is
   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|  granted pursuant to this license. However, if additional requirements
   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|  (documented in the Copyright FAQ) are satisfied, the right to create
|  modifications or derivatives is sometimes granted by the W3C to
|  individuals complying with those requirements.
|  .
|  Disclaimers
|  .
|  THIS DOCUMENT IS PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO
|  REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT
|  LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
|  PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF THE DOCUMENT
|  ARE SUITABLE FOR ANY PURPOSE; NOR THAT THE IMPLEMENTATION OF SUCH
|  CONTENTS WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS,
|  TRADEMARKS OR OTHER RIGHTS.
|  .
|  COPYRIGHT HOLDERS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, SPECIAL
|  OR CONSEQUENTIAL DAMAGES ARISING OUT OF ANY USE OF THE DOCUMENT OR THE
|  PERFORMANCE OR IMPLEMENTATION OF THE CONTENTS THEREOF.
|  .
|  The name and trademarks of copyright holders may NOT be used in
|  advertising or publicity pertaining to this document or its contents
|  without specific, written prior permission. Title to copyright in this
|  document will at all times remain with copyright holders.

[underlining added by me]

These files seem to fail DFSG#3, unless additional permissions have
been obtained (but I don't see any additional permission documented
in the debian/copyright file...).

If confirmed, I think this is a serious bug.

Possible solutions I can think of:

 • persuading the copyright holders of those files to re-license
   them in a DFSG-free manner (for instance, under the Expat license,
   under the zlib license, or under the GNU GPL v2)
 
 • dropping those files from the Debian package

Please fix this issue.
Thanks for your time!