On 13.12.2023 13:38, Sanjoy Mahajan wrote: Hi,
Upgrading the texlive-base (2023.20231007-1 => 2023.20231207-1) (suggested by Hilmar Preuße) has resurrected them. -Sanjoy
Is it fine to close the case? H. -- sigfault
OpenPGP_signature.asc
Description: OpenPGP digital signature
