Build

Derivation: /gnu/store/lqpqir5fhssrnmwp8697kzl29b24xdz3-coq-mathcomp-1.19.0-checkout.drv
Build server URL: https://bordeaux.guix.gnu.org/