https://ctan.org/ctan-ann/id/mailman.4010.1676717393.3715.ctan-ann@ctan.org
CTAN: CTAN-ann - CTAN update: thmtools
ctanannupdate
https://ctan.org/ctan-ann/id/mailman.684.1596397695.2548.ctan-ann@ctan.org?lang=de
CTAN: CTAN-ann - CTAN update: thmtools
ctanannupdate
https://www.ctan.org/pkg/thmtools
CTAN: Package thmtools
ctanpackage