Steve Langasek wrote:
I'm dealing this issue with upstream (it should be released under GPL) but
it should not be released with sarge if this issue has been solved in the
meantime which is why I'm filling this RC bug.
Do you mean that the package should not be released with sarge if the issue
has
Package: coq-doc
Version: 8.0pl1.0-2
Severity: serious
Justification: license not DFSG-free
The coq documentation is currently not free (we don't even have the sources of
it excepting for the documentation of the library which is generated by
coq-doc).
I'm dealing this issue with upstream (it
I'm dealing this issue with upstream (it should be released under GPL) but
it should not be released with sarge if this issue has been solved in the
meantime which is why I'm filling this RC bug.
Do you mean that the package should not be released with sarge if the issue
has *not* been solved?
3 matches
Mail list logo