Build 6bbba0ab-18ae-4ce8-86ba-7bfb215c18a1 — bordeaux.guix.gnu.org
Derivation
/gnu/store/7fcbbfsf1vcyl77gy19g284vpv0mk0im-coq-core-8.15.2.drv
Tags
Submitted at
2022-08-14 19:10:42
State
Succeeded
Agent
b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb
Priority
0
View build log