Build c9919fd7-3150-4c47-9d71-64bd42c9f596 — bordeaux.guix.gnu.org

Derivation
/gnu/store/qfbwhws63n7ghfbx3xa423aiqmlrb46j-coq-coquelicot-3.4.0.drv
Tags
Submitted at
2024-03-18 23:35:42
State
Succeeded
Priority
0
View build log