https://bugzilla.redhat.com/show_bug.cgi?id=1249473
--- Comment #6 from Dave Love <d.love(a)liverpool.ac.uk> ---
(In reply to Orion Poplawski from comment #4)
Well the mpi README states the files are in the public domain.
Yes, it's just that I missed that originally, and it's inconsistent with the
actual copyright headers, so I thought a note was helpful. The mpi source is
actually patched from the original in txr-specific ways (?), and the original
is apparently now only available in the txr repo. (I'm surprised licensecheck
doesn't complain at "All rights reserved".)
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component