/gnu/store/32w7vkn6kikfiliyv36kbw6ffcy38r8p-coq-core-8.15.1-checkout.drv

Derivation details

Builder/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile
Systemmips64el-linux

Build status

Unknown