Re: ubutnu 20.10

[Daniel Leidert]

Am Dienstag, den 27.10.2020, 15:40 +0100 schrieb Daniel Leidert:
> Am Dienstag, den 27.10.2020, 13:20 +0100 schrieb Jean Brefort:
>
> > These are dead projects, unfortunately. That's probably why they
> > dropped the packages. You should ask them.
>
> I don't know why they dropped it. It is also possible they removed it
> because of its usage of gnome-doc-utils. I'm trying to fix this in the Debian
> package. Maybe they will re-add it afterwards.

Uploaded a fixed package. Maybe this is suitable to be re-added to Ubuntu.
Otherwise I suggest to use the source package and simply rebuild it for Ubuntu
(and maybe put the resulting packages in a PPA).

Regards, Daniel