Build 17aceba0-a0eb-4a57-83e5-057bd28384d0 — bordeaux.guix.gnu.org
Derivation
/gnu/store/xnax4bkfjs26ah1wnf3g0l8sm1jqx5rf-coq-stdlib-8.15.1.drv
Tags
Submitted at
2022-05-02 01:12:26
State
Succeeded
Agent
b57898c3-7187-4c56-9d3c-4e68b954b79a
Priority
0
View build log