Build 634988a6-a9c1-4d95-8b76-e81a9fbead6f — bordeaux.guix.gnu.org
Derivation
/gnu/store/5bghl3x2why4wbbidy8f3dwq1h7zys7g-coq-core-8.15.1.drv
Tags
Submitted at
2022-05-02 01:21:09
State
Succeeded
Agent
5bbaa369-517d-49a1-9875-dc8fcf1e2e9f
Priority
0
View build log