Build cd163bda-4023-4e78-8ef1-99ca3b600ade — bordeaux.guix.gnu.org
Derivation
/gnu/store/sgqc7svb6bf3q8j6m0n6ax7mp65rcrn3-agda-ial-1.5.0-checkout.drv
Tags
Submitted at
2021-05-12 23:25:36
State
Succeeded
Agent
5bbaa369-517d-49a1-9875-dc8fcf1e2e9f
Priority
0
View build log