Derivation

/gnu/store/4q10ikp6jc9wkbcr2bl8nh56460s96nb-agda-ial-1.5.0.drv

Tags

• revision: 3d297a0017210f1dd135592efb10846840a8af88
• branch: staging
• category: package

Submitted at

2022-09-17 01:32:13

State

Pending

Priority

0