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

Inputs

File name
/gnu/store/006q6w0ffkl0xljpv8cw19hwshi4d878-ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/17gib61daj9gp8myrylcrg4j6cxpzbwc-ghc-vector-0.12.0.3.drv
/gnu/store/17n4gi5f2dlpwv5yamqw79mpnwa0b4zg-tar-1.32.drv
/gnu/store/1iqcm0agfhy10lc32zhr3fp3y3hcc0zn-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/3n9hc7yx2mqg5w52ig22q6dpd7jmln21-make-4.3.drv
/gnu/store/3qq13p7r1h5s0dz8npq18k4lk9flhncs-perl-5.30.2.drv
/gnu/store/4dzf559q7xsrdfxr9gwzfj1p7npr4alz-ghc-tasty-1.2.3.drv
/gnu/store/4z202j54wwv9124ch38f04lhxvjssydg-grep-3.4.drv
/gnu/store/562dk9dj6gh01aj91sinlvqq1hg5xb5x-gmp-6.2.0.drv
/gnu/store/5azbsncr6xsvq0r3lly5ajkhq3yyzgj4-ghc-async-2.2.2.drv
/gnu/store/5fs94jcr364qqlhcr1kqys5mkpxjsz03-ghc-fsnotify-0.3.0.1.drv
/gnu/store/5q915kijg4dn82mj3lv8yhvfyr8m339b-ghc-libffi-0.1.drv
/gnu/store/6w0iry046mab10s5fq7q9qk5f1qwi5xw-ghc-utf8-string-1.0.1.1.drv
/gnu/store/71wiwhw1gkv43rss2ayk55i7di9rfdb6-sed-4.8.drv
/gnu/store/8kyzb38b1hjwby773xgjmkw3a5j0w1hp-ghc-uniplate-1.6.12.drv
/gnu/store/8rnc3bp90w8m5jz4ncggx7i3zqm72w2i-glibc-utf8-locales-2.31.drv
/gnu/store/99xvjhncirdaq9k8gfc34yzc74f95mcg-ghc-aeson-1.4.5.0.drv
/gnu/store/9h4skakya5s8bdimhbxql9q4wjqhlgyx-ghc-terminal-size-0.3.2.1.drv
/gnu/store/9nmdzl17z5p9bq73valkx4h4i1c5gd49-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/9wd5xan8n549d90hfd73d9l68r22krp6-idris-1.3.3.tar.xz.drv
/gnu/store/a2b4hbj5b3k7x3zspp62z2dzl2rcjpmq-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/a4zanjngdbnzgcd607a2bfpyf62pca54-ghc-megaparsec-7.0.5.drv
/gnu/store/b0skzd3kfpph386miz7n9khnmljmprr3-ghc-zip-archive-0.4.1.drv
/gnu/store/bmyxsimhmcjayhwwnqbg21p9nkj1f4jd-ghc-tasty-rerun-1.1.14.drv
/gnu/store/bpxr2wnfv16xmqa0p011764jbiskrp75-bzip2-1.0.8.drv
/gnu/store/bywdn5hb11lp16zpwq2qhh0fkcfranng-ghc-tasty-golden-2.3.2.drv
/gnu/store/c3s71j80l8582d6z2hdlx3pkwgxi3dj2-ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/f79wgvix1gv16bvpdwjn4iqlvrnx3mnc-ncurses-6.2.drv
/gnu/store/g06mlkl74if539jlvxcwz12xv27gixqj-binutils-2.34.drv
/gnu/store/g2p9dhlfsdi45ds2cgkz2gcaq52nawpz-ghc-blaze-markup-0.8.2.3.drv
/gnu/store/g7llm64iq0zbz9s1fsf0ny64fiwy2gm5-gzip-1.10.drv
/gnu/store/gn6lnxz8s6kycdcxkqsxkw7lh6kcm78f-coreutils-8.32.drv
/gnu/store/gq1xbalnfqgy3c7wk0idjgbwkb2c3vbb-guile-3.0.2.drv
/gnu/store/gwfx7rf8c4l9wg1g90sximkvs9dyisxq-file-5.38.drv
/gnu/store/hbls4737raigs7bybvbqh6i3agq0p2nf-ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/hi8sjwssmajvxwf6kn44mj4lnc8q1k81-ghc-split-0.2.3.3.drv
/gnu/store/i6k71jbn3kpqlfxpy7a9nm674myz7vcw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/j31ykbb5jwig0jk48250nj0x4g29cfqk-bash-minimal-5.0.16.drv
/gnu/store/jvgx83v22yqay9203mkpic777ms6xwg3-module-import-compiled.drv
/gnu/store/k5rgkb4h5rnzmj7rhkgzcbg56js3f1n9-diffutils-3.7.drv
/gnu/store/l33w9hmpi7aiq7kam8pryw3z2prv7dw6-patch-2.7.6.drv
/gnu/store/mdyzhg7my76p87f2hl89im0f9i893z9a-xz-5.2.4.drv
/gnu/store/n2hjz30lykqm3ng2ibhqv6nb5a2pcjim-ghc-network-2.8.0.1.drv
/gnu/store/nfr16q2cadh5x4779scppamsl2ai89f7-ghc-ansi-terminal-0.9.1.drv
/gnu/store/pxdr7rf67qrw00k6sfqqxpczd6av73w0-gawk-5.0.1.drv
/gnu/store/qr31kqmdany1yq0pprpvv9mq3dni9840-glibc-2.31.drv
/gnu/store/qzs3krvilnz68y5l8z8v074silhx8f28-ghc-code-page-0.2.drv
/gnu/store/rbqpym91ayb8w9vz62ghxiwg3s9vwzif-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/rf8zwm4a5fblhxnaz31rpjhz01fpzbvn-ghc-cheapskate-0.1.1.1.drv
/gnu/store/s082sbkh2n2aaaj6naz1yl6hzspqkkiq-gcc-7.5.0.drv
/gnu/store/s1b11yci6mdwl1cqf1kv6p0zkw1r7xgp-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/slry6hxnq3rfhc4lsa2hpf1xgbynpvdl-ghc-ieee754-0.8.0.drv
/gnu/store/v2yhhfwa01fz0h4hlv33x9xik7nnc5y8-findutils-4.7.0.drv
/gnu/store/xav1cj988nj6njsmhd543v52nhph28fs-ld-wrapper-0.drv
/gnu/store/y2c0abzpqazybffkbsk52i5qzk4pcasv-ghc-8.6.5.drv
/gnu/store/yhjl6nwjwpdqap8c7yxajnh1fv4pr2dr-ghc-fingertree-0.1.4.2.drv
/gnu/store/z77bax29cz9bmp9ankrh50hng4z8111d-ghc-safe-0.3.17.drv