Build 4f7bf5d1-a03c-465c-80ac-a190a5aaf572 — bordeaux.guix.gnu.org
Derivation
/gnu/store/3h9zp95giry3j22jjmg97hvad40bmy2v-coq-ide-8.14.1.drv
Tags
Submitted at
2021-12-22 13:07:58
State
Pending
Priority
0