Build 39d63890-eb39-4bf6-8aa7-e647963af300 — bordeaux.guix.gnu.org

Derivation
/gnu/store/6wjx1s7ffy3dppnpj6s40dvxrmg35hmw-agda-stdlib-2.1.1.drv
Tags
Submitted at
2024-10-20 20:57:19
State
Succeeded
Priority
800
View build log