Build 8cedae00-530d-4ac2-a09d-6070e8246384 — bordeaux.guix.gnu.org

Derivation
/gnu/store/wd8vwwj5agaqayn8igyj3i4bnmaicr3i-coq-gappa-1.4.6.drv
Tags
    Submitted at
    2021-08-01 04:30:33
    State
    Succeeded
    Priority
    0
    View build log