/gnu/store/24vmh0375aawh3h1d6x8wjlz4c27py4z-coq-stdpp-1.4.0.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

Unknown