Build 16e425bb-1d4b-4a6a-a88f-7e061c7679a7 — bordeaux.guix.gnu.org

Derivation
/gnu/store/jyqqcqarl1p9rhvx30j91q2h37vda6sj-agda-stdlib-2.1.1.drv
Tags
Submitted at
2024-10-21 13:34:04
State
Pending
Priority
700