/gnu/store/c5lsp7d8g6nfg525kvmwl94pqmmrgz8f-agda-2.6.0.1

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/mmgqgdq74kqqagsmqv862fzmx01dhzvh-agda-2.6.0.1.drv

Derivation:

/gnu/store/k8w4hbmx3r67kwkkq2lhjnnahsg7k8rp-agda-2.6.0.1.drv

Derivation:

/gnu/store/qx5879983w12vdl0x8xiaqgn106rj6ba-agda-2.6.0.1.drv