Build 2ed91091-531e-40c6-a20d-cc847b93f3a4 — bordeaux.guix.gnu.org

Derivation
/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-coq-for-coqtail-8.17.1.drv
Tags
Submitted at
2024-03-13 03:21:20
State
Pending
Priority
0