Build d433d1ee-15d9-45f5-9f92-03ec37e0dfa1 — bordeaux.guix.gnu.org
Derivation
/gnu/store/7bkihgm2wcadka5wdf2zz5rfap6bvkdp-proof-general-4.4-1.1b1083e.drv
Tags
Submitted at
2022-08-04 10:50:33
State
Pending
Priority
0