Derivation

/gnu/store/rz6nhjb3bw9dpspni9nz4nzzzllcwz20-agda-categories-0.2.0.drv

Tags

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

Submitted at

2024-10-21 18:19:37

State

Pending

Priority

700