Build 91afdf27-2e21-4378-878a-1f69580dc680 — bordeaux.guix.gnu.org
Derivation
/gnu/store/mf686zgsmc0rjddmnxh4vp3r04zvancv-coq-flocq-3.4.2.drv
Tags
Submitted at
2022-01-09 13:03:57
State
Pending
Priority
0