Did usr/share/coq-core/texmf/tex/latex/misc/coqdoc.sty
move somewhere else recently? My launchpad build packages can no longer find it
Ah, it seems to have moved back to its proper place in /usr/share/texmf/tex/latex/misc/coqdoc.sty
Yes, you had reported the issue and it has been fixed.
Last updated: Dec 05 2023 at 11:01 UTC