Build 0e727f80-4f7f-4364-8f67-f6ace39d19fe — bordeaux.guix.gnu.org
Derivation
/gnu/store/ccp20211yihv0clcjmnnis4m548xm335-coq-interval-4.3.0-checkout.drv
Tags
Submitted at
2021-08-01 04:32:26
State
Pending
Priority
0