/gnu/store/x32zngvry26wkhwcrkqsrl9iimbnqx05-idris-1.3.3

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

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

Derivation:

/gnu/store/1kc02154hj66viiw3c4cl49nzviq8zrn-idris-1.3.3.drv

Derivation:

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