Build 4e483c06-f2d8-4f93-968f-61ca04cfbf15 — bordeaux.guix.gnu.org
Derivation
/gnu/store/pq1wnv1bq84s7997n95rsf5ll2lhw8gp-coq-equations-1.2.4.drv
Tags
Submitted at
2021-08-01 04:32:33
State
Pending
Priority
0