Build 25e34970-8a66-4ced-a855-c8b47b9ccd58 — bordeaux.guix.gnu.org

Derivation
/gnu/store/mmgqgdq74kqqagsmqv862fzmx01dhzvh-agda-2.6.0.1.drv
Tags
    Submitted at
    2021-05-14 07:43:36
    State
    Pending
    Priority
    0