On 2020/03/20 17:37, Jeremie Courreges-Anglas wrote: > +-- The following OPTIONAL packages have not been found:
I'd prefer to disable these when noticed in case the relevant port is added later.. > + * Dwz (required version >= 0.13) > + > We have no dwz package so this looks rather safe. Your choice. ;) If anyone feels like porting this, it looks like it might be quite useful!
