Build 2eb10a79-0895-40f3-a2d4-3911bfd77d7f — bordeaux.guix.gnu.org

Derivation
/gnu/store/mf7x8sv22ccqmy5ny97jx066mqynypcm-coq-coquelicot-3.4.0.drv
Tags
Submitted at
2024-03-12 22:56:32
State
Succeeded
Priority
350
View build log