Derivation

/gnu/store/jyqqcqarl1p9rhvx30j91q2h37vda6sj-agda-stdlib-2.1.1.drv

Tags

• branch: master
• revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
• category: package

Submitted at

2024-10-21 13:34:04

State

Pending

Priority

700