Build 5cac96b2-b5a1-4bf3-818c-1db467ca2203 — bordeaux.guix.gnu.org
Derivation
/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-coq-for-coqtail-8.17.1.drv
Tags
branch: master
revision: 72ca1a336ab296187a4d025c399fade63004c780
category: package
Submitted at
2024-04-01 20:04:12
State
Succeeded
Agent
f67dd3a7-b2b0-4b80-b2d7-e98e258bf943
Priority
0
View build log