Build 9e49598e-450c-4bc5-a6b3-2579849215ff — bordeaux.guix.gnu.org

Derivation
/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-coq-for-coqtail-8.17.1.drv
Tags
Submitted at
2024-03-17 12:31:49
State
Succeeded
Priority
0
View build log