/gnu/store/lxslhv95l4kpyfn40valxhxv7nvg69gs-idris-1.3.3-static

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

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

Derivation:

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

Derivation:

/gnu/store/7z412s7kh2507j6c4bzx9xnpfhhhi8g7-idris-1.3.3.drv