Derivation

/gnu/store/fk1bvqb7884pfhr0wf9lfh7ihbbifd6q-agda-stdlib-2.1.1-checkout.drv

Tags

• branch: master
• revision: bea5e1e2392a2557c8f01f6fdfffb936af891557
• category: package

Submitted at

2024-10-12 13:31:18

State

Succeeded

• Agent 3089cd9a-ad5a-4e80-9a24-7c9b3a14cfe3

Priority

0

View build log