Derivation

/gnu/store/1x5d4bxkckgf7328za20gqmkxmz507l9-agda-2.5.4.1.drv

Tags

• branch: master
• revision: 897f303d2fa61497a931cf5fcb43349eb5f44c14
• category: package

Submitted at

2024-03-14 14:14:32

State

Pending

Priority

-500