Build 349462e9-385e-4ef6-a9a3-6a0e87f00d8f — bordeaux.guix.gnu.org

Derivation
/gnu/store/hfv7f0ginz1dnlwdachwldznsivyc6qw-coq-stdlib-8.14.0.drv
Tags
    Submitted at
    2021-12-16 02:55:18
    State
    Succeeded
    Priority
    0
    View build log