Bug#294865: coq-doc: The documentation for coq is non-free (this issue is being solved)

2005-02-12 Thread Samuel Mimram
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

Bug#294865: coq-doc: The documentation for coq is non-free (this issue is being solved)

2005-02-11 Thread Samuel Mimram
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

Bug#294865: coq-doc: The documentation for coq is non-free (this issue is being solved)

2005-02-11 Thread Steve Langasek
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?