bug#33080: [PATCH] gnu: Add inferno.

[Maxim Cournoyer <maxim.cournoyer@gmail.com>]

Hello Diego,

Diego Nicola Barbato <dnbarbato@posteo.de> writes:

> Hello Ludo,
>
> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Hi Diego,
>>
>> Sorry for the late reply.
>>
>> Diego Nicola Barbato <dnbarbato@posteo.de> skribis:
>>
>>> This patch adds inferno as discussed here:
>>> https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00031.html
>>
>> In that thread we discussed the font issue, and I’m unsure if it was
>> resolved:
>>
>>   <https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00265.html>
>>
>> Is everything “known good” with this version of the patch?
>
> Unfortunately it is not.  As you suggested, I wrote to the
> GNU/Linux-libre mailing list asking for advice on the font issues [1]
> and the licensing issues [2].  The only reply I got so far is not very
> encouraging.  Maybe it is best to put this on hold until I receive more
> information?
>

[...]

> If it is OK I will wait for the font and licensing issues to be resolved
> before I update the patch, since, as of now, it looks to me like Inferno
> can not be included in an FSDG distro. 

Sadly, it seems a blocker that there are no sources to rebuild the fonts
from.

We'll have to do without them it seems.

Closing.

Maxim