Build 36875e2e-68d2-4121-b6a9-2ae8e8516f08 — bordeaux.guix.gnu.org
Derivation
/gnu/store/14wybcn3r8vyrqjz4qidmmwxlppbhx9p-agda-ial-1.5.0.drv
Tags
Submitted at
2021-05-09 18:29:12
State
Succeeded
Priority
0
View build log