Jason Gross (Jun 03 2021 at 23:11): Jason Gross (Jun 03 2021 at 23:11):Did usr/share/coq-core/texmf/tex/latex/misc/coqdoc.sty move somewhere else recently? My launchpad build packages can no longer find it
Jason Gross (Jun 03 2021 at 23:14):Ah, it seems to have moved back to its proper place in /usr/share/texmf/tex/latex/misc/coqdoc.sty
Théo Zimmermann (Jun 04 2021 at 07:09):Yes, you had reported the issue and it has been fixed.
Last updated: Dec 05 2023 at 11:01 UTC