[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: License of coq documentation

Scripsit Andrew Donnellan <ajdlinux@gmail.com>

> Yes, it's definately not DFSG-free. Also documentation will have to be
> in non-free (is there a policy against including Debian-specific
> licensing in non-free?) or removed.

No, the "no license specific to Debian" thing is just for DFSG

Of course, the license must not be so specific to Debian that the
mirror operators cannot distribute the software.

Henning Makholm                     "Traner tænker temmelig tumpet tirsdag."

Reply to: