Build 22b18a00-ff1f-451e-b34e-87a548595d36 — bordeaux.guix.gnu.org
Derivation
/gnu/store/417clan2pfy6ghgf0csxzhc16cmz6k1j-coq-core-8.14.0.drv
Tags
Submitted at
2021-12-15 21:32:22
State
Pending
Priority
0