Build 942a8e3e-951a-4160-916e-2fe6fabe13c3 — bordeaux.guix.gnu.org
Derivation
/gnu/store/1h6jip9z1s54g14d7jnipa7glfskj5ba-coq-stdpp-1.5.0.drv
Tags
Submitted at
2021-08-01 04:31:28
State
Succeeded
Agent
b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb
Priority
0
View build log