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!