Build 5b707ba5-7d1f-481f-b937-247fb7dd6976 — bordeaux.guix.gnu.org
Derivation
/gnu/store/a08qa9w0zby4lvbfh6s8chgp1lh95m64-coq-stdlib-8.15.1.drv
Tags
Submitted at
2022-05-02 04:16:32
State
Succeeded
Agent
5bbaa369-517d-49a1-9875-dc8fcf1e2e9f
Priority
0
View build log