Derivation

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

Tags

• branch: master
• revision: 40b6729fd78ea53ac339257aea798d625e16894d
• category: package

Submitted at

2024-11-07 10:17:10

State

Pending

Priority

700