Stream: Coq devs & plugin devs

Topic: usr/share/coq-core/texmf/tex/latex/misc/coqdoc.sty


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Théo Zimmermann (Jun 04 2021 at 07:09):

Yes, you had reported the issue and it has been fixed.


Last updated: Oct 16 2021 at 07:02 UTC