/gnu/store/jsjhsl8ad6gjs2cnwa0mjrlcpm8sahmw-idris-1.3.3-static

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/6k6149bdbai4iz8xyccl0ph0wd6mjss8-idris-1.3.3.drv

Derivation:

/gnu/store/fbgfxkp8ljby42kcbj6ixjg4i7qpnn6h-idris-1.3.3.drv

Derivation:

/gnu/store/wz4rnhmqijisl50ymixxydmix7mys56k-idris-1.3.3.drv