4 ms·

I found someone requesting that it be added to Debian: https://bugs.debian.org/cgi-bin/%3Ca%20href=%22bugreport.cgi?bug=1078132%22%3E1078132%3C/a%3E https://bu

I found someone requesting that it be added to Debian: https://bugs.debian.org/cgi-bin/%3Ca%20href=%22bugreport.cgi?bug=1078132%22%3E1078132%3C/a%3E https://bugs.debian.org/cgi-bin/%3Ca%20href=%22bugreport.cgi... So far no one has mentioned licensing being an issue.

kragen 2y ago
that's great! possibly the link you meant was https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078132 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078132 that seems to be from only a few weeks ago though it doesn't seem to have come up on debian-legal in the last year or so https://lists.debian.org/debian-legal/ https://lists.debian.org/debian-legal/ but debian-legal is also kind of a shadow of its former self
- InfiniteRand 2y ago
  Notably in that bug report the reporter says they cannot maintain it (not that I blame them, not a small work)