Hi,

On 20.07.2018 20:26, Andrej Shadura wrote:
> On 26 June 2018 at 17:25, Andrej Shadura <andre...@debian.org> wrote:
>> On 26 June 2018 at 17:12, Philipp Kern <pk...@debian.org> wrote:
>>>>> I suppose
>>>>>
>>>>> https://www.debian.org/doc/manuals/developers-reference/pkgs.html#non-free-buildd
>>>>> might help you?
>>>>
>>>> I think we did all of that?
>>>
>>>
>>> I don't see (3) satisfied in this case.
>>>
>>> Kind regards
>>> Philipp Kern
>>
>> Is https://bugs.debian.org/690097#15 not meeting some requirements?

so I dug up that old mail. How do we know that those microcode blobs are
distributable? We seem to assume that they are GPL-2+ without source?
How so?

Kind regards and thanks
Philipp Kern

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to