/gnu/store/dk1fjamygbi2divgs6p0hsf3bh1rqpsh-agda-2.6.0.1-static

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