Build 0aa6c751-29a0-4f85-9fc7-8dfcdcd0a362 — bordeaux.guix.gnu.org

Derivation
/gnu/store/4crwc2jnp1csip19mq6qi881swyxq81f-coq-gappa-1.4.4.drv
Tags
    Submitted at
    2021-06-18 15:43:13
    State
    Pending
    Priority
    0