Build bf139c54-577a-4f92-8506-b4991b0ae68d — bordeaux.guix.gnu.org
Derivation
/gnu/store/2pbpqna4a6z20v43d3vibgqqz1284khm-coq-8.15.1.drv
Tags
Submitted at
2022-05-02 01:21:09
State
Succeeded
Priority
0
View build log