Build be48eb15-539c-40e6-a8c1-3b9c3d3c3f14 — bordeaux.guix.gnu.org
Derivation
/gnu/store/2bbcmnrh8wz5866lc1h2d0sjwg1yg35h-coq-core-8.14.1.drv
Tags
Submitted at
2021-12-22 13:07:26
State
Pending
Priority
0