Build adce037b-cdc2-45ce-8080-d744b68a4506 — bordeaux.guix.gnu.org
Derivation
/gnu/store/9xard379dy6bb7vk6cmw8i3f1g6iy3cw-agda-ial-1.5.0.drv
Tags
Submitted at
2021-04-23 12:12:14
State
Succeeded
Agent
0c973ac8-4e62-4889-87b4-31c9536641db
Priority
0
View build log