/gnu/store/wjpn02m4b6k7rssas51kssldnhf7gw6g-agda-categories-0.2.0

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

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

Derivation:

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