TeX Live: Issue with thm-restate in latest docker release
Leon Kellerhals <[email protected]> Wed, 15 Jul 2026 11:00:38 +0200
| Newsgroups | gmane.comp.tex.live |
|---|---|
| Message-ID | <[email protected]> |
The TeX Live version of the latest docker release seems to have an issue
with thm-restate (or thmtools, in general).
Using the command
docker run --rm -it -v $(pwd):/workdir texlive/texlive latexmk -pdf test.tex
on the minimum working example test.tex:
\documentclass{article}
\usepackage{thmtools}
\declaretheorem{theorem}
\declaretheorem[sibling=theorem]{proposition}
\begin{document}\end{document}
yields the following error (full log below):
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-restate.sty))
! LaTeX Error: Command \c@proposition already defined.
Or name \end... illegal, see p.192 of the manual.
The same error does not happen on my TexLive 2026 install on arch linux.
The only difference I could spot is that the arch install contains
keyval in version 2022/05/29 v1.15 (Unfortunately, I am not an expert in
managing my TexLive installations with tlmgr or the like...)
I am not entirely sure whether this is the correct address for this. Any
help is very welcome, thank you very much!
Best,
Leon
-- full log:
This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026)
(preloaded format=pdflatex 2026.7.12) 15 JUL 2026 08:46
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**test.tex
(./test.tex
LaTeX2e <2026-06-01>
L3 programming layer <2026-06-18>
(/usr/local/texlive/2026/texmf-dist/tex/latex/base/article.cls
Document Class: article 2025/01/22 v1.4n Standard LaTeX document class
(/usr/local/texlive/2026/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2025/01/22 v1.4n Standard LaTeX file (size option)
)
\c@part=\count276
\c@section=\count277
\c@subsection=\count278
\c@subsubsection=\count279
\c@paragraph=\count280
\c@subparagraph=\count281
\c@figure=\count282
\c@table=\count283
\abovecaptionskip=\skip49
\belowcaptionskip=\skip50
\bibindent=\dimen150
)
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thmtools.sty
Package: thmtools 2023/05/04 v0.76
\thmt@toks=\toks17
\c@thmt@dummyctr=\count284
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-patch.sty
Package: thm-patch 2023/05/04 v0.76
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/parseargs.sty
Package: parseargs 2023/05/04 v0.76
\@parsespec=\toks18
))
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-kv.sty
Package: thm-kv 2023/05/04 v0.76
Package thm-kv Info: Theorem names will be uppercased on input line 42.
(/usr/local/texlive/2026/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2026-05-17 v1.15 key=value parser (DPC)
\KV@toks@=\toks19
)
(/usr/local/texlive/2026/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
)
Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 158.
)
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-autoref.sty
Package: thm-autoref 2023/05/04 v0.76
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/aliasctr.sty
Package: aliasctr 2023/05/04 v0.76
))
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-listof.sty
Package: thm-listof 2023/05/04 v0.76
)
(/usr/local/texlive/2026/texmf-dist/tex/latex/thmtools/thm-restate.sty
Package: thm-restate 2023/05/04 v0.76
))
\c@theorem=\count285
! LaTeX Error: Command \c@proposition already defined.
Or name \end... illegal, see p.192 of the manual.
See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
...
l.5 \begin
{document}\end{document}
?
! Emergency stop.
...
l.5 \begin
{document}\end{document}
Your command was ignored.
Type I <command> <return> to replace it with another command,
or <return> to continue without it.
Here is how much of TeX's memory you used:
815 strings out of 467168
14952 string characters out of 5409468
435362 words of memory out of 5000000
30136 multiletter control sequences out of 15000+600000
627721 words of font info for 40 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
57i,0n,65p,144b,36s stack positions out of
10000i,1000n,20000p,200000b,200000s
! ==> Fatal error occurred, no output PDF file produced!