elaexuotee@wilsonb.com writes: >> At least the question “is texlive-amsfonts broken” is definitively >> answered. This was what this issue was about, no? I’d rather keep the >> other issue separate. > > Well, it's still broken in the sense that we're not able to typeset with > eufm10, no? Something might be broken, but it’s not texlive-amsfonts. Going back to the first message in this bug report here I can no longer reproduce the problem. I used this manifest: