Build 5cac96b2-b5a1-4bf3-818c-1db467ca2203 — bordeaux.guix.gnu.org

Derivation
/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-coq-for-coqtail-8.17.1.drv
Tags
Submitted at
2024-04-01 20:04:12
State
Succeeded
Priority
0
View build log