Build

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