Build 167a2a59-5b21-40e2-96a0-765d31f00bb8 — bordeaux.guix.gnu.org
Derivation
/gnu/store/m1ijqfxf2zqrkx0h1ibpf0pfyycl8mr3-coq-ide-8.14.0.drv
Tags
Submitted at
2021-12-17 02:14:54
State
Pending
Priority
0