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

Inputs

File name
/gnu/store/0xkvrf0f7kc5pjanpi0wm7f54ry8i1as-binutils-2.34.drv
/gnu/store/11darc9ymybf59fkyfi7pn2sacamx0k5-ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/1838v8ss6rzwl9g71m60br9vb5srr9ah-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/1ffypg3jdfzp2y92hbc9dq14h2xk3njn-grep-3.4.drv
/gnu/store/20q8sjbbhxizf3zf3kj17mvikp1vq6k1-ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/2zfs6jblb9irzvvppl5g0ywyaw563hmb-ghc-terminal-size-0.3.2.1.drv
/gnu/store/3nl79cwh6ndz886qiclrzdqyk0mv5yac-gawk-5.0.1.drv
/gnu/store/44b77nkr15ymb2xzls9df2vdwxgra8n4-bzip2-1.0.8.drv
/gnu/store/479pmyhnmg3cdrc3y1jw6cgwzs2v3x4m-ghc-tasty-rerun-1.1.14.drv
/gnu/store/484rmnzz9y90fxi6wy7179wrv6ys4gff-ghc-tasty-golden-2.3.2.drv
/gnu/store/4ihs03ilynrcghdw2p50dn2pa2gqva8i-gmp-6.2.0.drv
/gnu/store/4jlp8a233mwa4xj8yxcwq7afs7ahk3yy-ghc-utf8-string-1.0.1.1.drv
/gnu/store/52nssi2v9ahb7id042lf10pr3vakjm10-ghc-split-0.2.3.3.drv
/gnu/store/5ri6vdrvs39pnmxcpjq05blh6kb9skcy-ghc-8.6.5.drv
/gnu/store/5y6k19nxs9y058s3439qb4r2n6zs0plm-glibc-utf8-locales-2.31.drv
/gnu/store/6a2f0hxrfgj29wjv836w2f7011nxcm8i-guile-3.0.2.drv
/gnu/store/6xc234jkaf3l3yy4lhn2mwbnwl7284w9-file-5.38.drv
/gnu/store/74dajlv8f9r6fwk2v402ya65q3li21v3-ghc-zip-archive-0.4.1.drv
/gnu/store/7cyyvmzhyqqb4zbdjf83x7zn5w600pk0-ghc-network-2.8.0.1.drv
/gnu/store/7yyr1f2f7xqcxab1jls00fadd9n4rlfx-diffutils-3.7.drv
/gnu/store/9a7m11jfwv8z78fzsrlb3z02pmb35nap-ghc-cheapskate-0.1.1.1.drv
/gnu/store/9rdm3xdf06kjwd6r4j0ndb8lj5j2zcz9-patch-2.7.6.drv
/gnu/store/a6bpyniag1w93ill3803jfg2jps40ry5-perl-5.30.2.drv
/gnu/store/arkvw7ij5z7499v8viyqmjglj67s30h4-idris-1.3.3.tar.xz.drv
/gnu/store/ax3j401bbh4j1ggib11xiqy7jaggn17p-ghc-blaze-html-0.9.1.2.drv
/gnu/store/b0z8ar3yn9zmdmg2ps75nmsiy4zxn309-ghc-async-2.2.2.drv
/gnu/store/cn4r1wr9v9al6i0hcyb6gnih5ngyh5b1-ghc-megaparsec-7.0.5.drv
/gnu/store/cv8wyy1yrpaz8xyfpj6kkls2xlmr1px0-ghc-uniplate-1.6.12.drv
/gnu/store/cw09r6ljgwzmys7509p03a7h8szk7n9s-sed-4.8.drv
/gnu/store/dcr7vsp3dclcmg4jdfxkm2x45w3bqcdi-coreutils-8.32.drv
/gnu/store/fsplzmdids1qk9ij91zijh94ld52i0f0-findutils-4.7.0.drv
/gnu/store/g3v32hfzwwyd38a0w5wnh2xvcwixpkwb-tar-1.32.drv
/gnu/store/g77zr5x1vqdf7bf162z1vjng56y58s8p-ghc-fsnotify-0.3.0.1.drv
/gnu/store/gqvnqrw5g5vnvnpnmi7ndmnyasd1icv8-ghc-safe-0.3.17.drv
/gnu/store/gqwmxmpgwizs0qyx7hz8wadwzq4x0kqf-ld-wrapper-0.drv
/gnu/store/h71325gp1gzzzz2zyfy5k6wjbxa7hd6f-ghc-ansi-terminal-0.9.1.drv
/gnu/store/hpwds9bhcdribh5giwc2jqfz5kr7d0xf-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/i9c0ixlrv6v8smg0zp3vzcdf0cv9ipby-gzip-1.10.drv
/gnu/store/jjnryda37bsa0x6nv2m3p1w1karx69j5-xz-5.2.4.drv
/gnu/store/l8z2j3vcrf4z665gj3yiyfpjqrb66icq-ghc-libffi-0.1.drv
/gnu/store/m9r9z7caria270q32fkwn5wy14cjsq54-ghc-vector-0.12.0.3.drv
/gnu/store/n0x8i88635xbnlnfvssj2kvxfcah1zpl-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/pfc7xy217pn68gy5wf7gkm2qn5clvq15-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/qh4xamss8qi3jhqi4kgs20ba4zdbilb3-ghc-tasty-1.2.3.drv
/gnu/store/qm6gcqxaia99zif0sxab4sn9icg93ff3-ncurses-6.2.drv
/gnu/store/qq6hlgjiyqx6m4zyj8ccp1ryinpzlsl1-module-import-compiled.drv
/gnu/store/r0di7nvszw701963qkv0wg3hlc3y7v3b-glibc-2.31.drv
/gnu/store/skk9bsjhy18zngdxx34isv1ancb4r8zd-gcc-7.5.0.drv
/gnu/store/sms049hi10l0haah08q3jdaw1dhizi51-ghc-code-page-0.2.drv
/gnu/store/v61vdxzjkandmzw0bwd5w5clz32gjj1b-make-4.3.drv
/gnu/store/vns55siflx6cmky0n9m32j20vj3hdf0y-ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/w0kmv353ph5ny67ab1ynix3d5iv1qnwl-linux-libre-headers-5.4.20.drv
/gnu/store/wqp4afj6b7by16cqpkld2vfd0z4sbcgr-ghc-aeson-1.4.5.0.drv
/gnu/store/x5cfzql0djphd82ssyvn980bhm5j14nc-ghc-fingertree-0.1.4.2.drv
/gnu/store/yc8dc970h9lsav1ib0pfnphz4vsfqlgx-bash-minimal-5.0.16.drv
/gnu/store/zi4yax7pyk74m69x640dkb5q9b5d3iw7-ghc-ieee754-0.8.0.drv
/gnu/store/zw72p79cd1vm7gmldgm8hrc7n41f7al5-ghc-blaze-markup-0.8.2.3.drv