/gnu/store/s7h8n7kib5s4lkf9x6bk5q1qqv4jjpcf-coq-core-8.15.1-checkout.drv

Derivation details

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

Build status

Unknown