Build

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