/gnu/store/qhbgs272y0dw41f7miwrrg93r7albrp7-coq-core-8.14.1-checkout.drv

Derivation details

Builder/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-guile-3.0.7/bin/guile
Systempowerpc-linux

Build status

Unknown