Build d7d87e9b-4b17-4d7b-be07-122ac6c61fdf — bordeaux.guix.gnu.org

Derivation
/gnu/store/49f97wqwq89zzqy4qjyxjg7wi600wcw5-coq-equations-1.2.3.drv
Tags
    Submitted at
    2021-06-18 15:35:01
    State
    Succeeded
    Priority
    0
    View build log