Build 8afc0558-7eff-4f96-a826-1e6cd15f7130 — bordeaux.guix.gnu.org
Derivation
/gnu/store/s51byikl3jw62lscn7afs92g75q6wz5q-agda-ial-1.5.0-checkout.drv
Tags
Submitted at
2021-04-23 12:12:14
State
Succeeded
Priority
0
View build log