Build

Derivation: /gnu/store/kr9bym1ynbm7zfv23b0cn6pn0figsf89-texlive-coloredtheorem-2025.2.drv
Build server URL: https://bordeaux.guix.gnu.org/