Build 1e0255d7-f6b2-444e-b79e-b3b56767eac1 — bordeaux.guix.gnu.org
Derivation
/gnu/store/m0ps1azzjdy5xdr6587rnhzaja7paxgf-coq-gappa-1.4.6.drv
Tags
Submitted at
2021-08-01 04:32:28
State
Pending
Priority
0