Build 6eb0278c-70b8-484f-8277-718b8249ddb1 — bordeaux.guix.gnu.org
Derivation
/gnu/store/w9p2iq3y5w46fdyrcdd682j13zwpgqsa-agda-ial-1.5.0.drv
Tags
Submitted at
2021-08-11 17:44:43
State
Pending
Priority
0