Build dd213191-7de3-460a-9919-15ac1be9ad62 — bordeaux.guix.gnu.org

Derivation
/gnu/store/lj9b9c7ld54g79akzpyi27d2c6gax4ri-coq-stdpp-1.5.0.drv
Tags
    Submitted at
    2021-08-01 04:31:16
    State
    Succeeded
    Priority
    0
    View build log