Derivation

/gnu/store/i6qn4nbzrpqqaf8lciqxrfyhpn4kpy1p-agda-categories-0.2.0-checkout.drv

Tags

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

Submitted at

2024-10-12 13:31:43

State

Succeeded

• Agent 83547148-d0a2-485f-835d-47bee57a4f09

Priority

0

View build log