On deeper inspection, they only have a fraction of the code, along with their own modifications. Also, because there are no location links in the included mpir files, there are no pointers to the original source.
My suggestion is to ask them to include a pointer to the original source in their distribution. From: mpir-devel@googlegroups.com [mailto:mpir-devel@googlegroups.com] On Behalf Of Dann Corbit Sent: Friday, November 02, 2012 12:47 PM To: mpir-devel@googlegroups.com Subject: RE: [mpir-devel] MPIR and MPFR Binary Distribution Did you look? The source appears to be included in the zip file along with the binaries. According to my understanding, it would not be necessary to include the source anyway. Instead, a link to find the source from the original location would suffice. If the license is GPL, and not LGPL, then the project is dead for me anyway. What sort of evil twist is this? From: mpir-devel@googlegroups.com<mailto:mpir-devel@googlegroups.com> [mailto:mpir-devel@googlegroups.com] On Behalf Of Cactus Sent: Friday, November 02, 2012 12:41 PM To: mpir-devel@googlegroups.com<mailto:mpir-devel@googlegroups.com> Subject: [mpir-devel] MPIR and MPFR Binary Distribution I came across this site: http://www.ospv.com/mpir-and-mpfr/ which seems to be distributing MPIR (and MPFR) in binary form without giving any references to where the source code can be found. I may be wrong but it seems to me that this does not comply with our GPL license. Does anyone else have a view on this? Brian -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/mpir-devel/-/nFpNky3k19MJ. To post to this group, send email to mpir-devel@googlegroups.com<mailto:mpir-devel@googlegroups.com>. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com<mailto:mpir-devel+unsubscr...@googlegroups.com>. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en. -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To post to this group, send email to mpir-devel@googlegroups.com<mailto:mpir-devel@googlegroups.com>. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com<mailto:mpir-devel+unsubscr...@googlegroups.com>. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en. -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To post to this group, send email to mpir-devel@googlegroups.com. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en.