/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-agda-1lab-0.0-3.afcf848

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/3hm4gkicqlxnw0kygn5gdh94qwrk56vi-agda-1lab-0.0-3.afcf848.drv

Derivation:

/gnu/store/rkbbc8v62z2pylprnilq9v6pak11bb9r-agda-1lab-0.0-3.afcf848.drv