/gnu/store/185cvfxfj6nhv4pk4yxz3m3zfhmrb10q-idris-1.3.3.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0drqxar2gw1d8jg2zc4y4p1gd8r7gf70-xz-5.2.5.drv
/gnu/store/18nyxai3i6hw53pjyhbmag93qh21khw1-patch-2.7.6.drv
/gnu/store/2rnm17gx7bz85yszf6qlj9b2sdmr1y0y-ghc-base64-bytestring-1.1.0.0.drv
/gnu/store/2zjc8kcw4g3d28dkcrf20gmdc7nl59a1-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/3iz6dn1hkf9x046lcvkx10q4jfmxhj1b-diffutils-3.8.drv
/gnu/store/3izdcxb8q6060ppkbqrdsv24b04qaz1m-ghc-cheapskate-0.1.1.2.drv
/gnu/store/3ljs6xnhyzan04lb2d035snh5nv5s0zk-ghc-zip-archive-0.4.1.drv
/gnu/store/3prd394amn8fmlas1ih9y7q3gihwv1mj-ghc-fsnotify-0.3.0.1.drv
/gnu/store/3yd74gah7zhfif4fgqyp1p05347wi12j-ghc-safe-0.3.19.drv
/gnu/store/4091ab7cjwyyhgwk3blcn166g9nsvdq2-ghc-uniplate-1.6.13.drv
/gnu/store/4599fxjgnq4q89zhisac89ryz5l9zxxk-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/4qw7hj4v1dn9xg97cz3g711mivcl44l4-ghc-tasty-golden-2.3.4.drv
/gnu/store/54qczj52i1yxnkf6h3c30pjf2pcmsqs8-ghc-code-page-0.2.1.drv
/gnu/store/56lpi2nixl8bq56a0nj4zr23fwb8nni5-ghc-split-0.2.3.4.drv
/gnu/store/59f35j9sliwphhyp4jw07nabxcg8lkr5-ghc-ansi-terminal-0.11.drv
/gnu/store/6a3kkcazcgms1fdlgd69qggziw61xdim-gcc-10.3.0.drv
/gnu/store/6iv4jzffh6fgcc5hp93imm0lv64yvwls-gawk-5.1.0.drv
/gnu/store/72a9ggqys376b8yrir1byvdy0733cxll-glibc-2.33.drv
/gnu/store/7ib0gd4g05gbfw46cmvp73bfqd3d6bbn-file-5.39.drv
/gnu/store/9ai3lrhaksa3a89nykhdbb05ray96jjh-gzip-1.10.drv
/gnu/store/a03v44350jwf0dh3979fq4j2dcnphgmi-ghc-fingertree-0.1.4.2.drv
/gnu/store/avv7h58dm04d389s5kz5pxlcnyc1pvsp-make-4.3.drv
/gnu/store/bi56f2vp7f4f5vr9z1jqwzd9vcddcdpk-ghc-optparse-applicative-0.16.1.0.drv
/gnu/store/bj28z85492jbb74dlkn57g4sg310d9f7-ghc-tasty-1.4.2.drv
/gnu/store/by9w2xgig7sxlb3r35g13cd9wzl1ng08-ghc-aeson-1.5.6.0.drv
/gnu/store/c7w63vg95sazj33nszlj9m1rwfhfqz96-bzip2-1.0.8.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-guile-3.0.7.drv
/gnu/store/crq71hg7ni2iy59s8briwwryiff8qikz-perl-5.34.0.drv
/gnu/store/dshqni6bjy1q9a90kyrh1bgr5860dfck-gmp-6.2.1.drv
/gnu/store/f8pj4ml9fk0blzj9p8s4wzkacvw11gkk-findutils-4.8.0.drv
/gnu/store/fvspwfm5khzyd2wzfvz6z90cy6ph653y-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/h09r2yg4dqw291h7g7xw8zrkwck95kg5-ghc-libffi-0.1.drv
/gnu/store/hf5d2n6xhf30k9nm999wj65m1wp6kvgm-sed-4.8.drv
/gnu/store/j3sfb5lnbw3cd68gskq2izxbgfr3i0r6-ghc-8.10.7.drv
/gnu/store/j5l611aaj1jj0537ihjd5z6ipv8p0zrj-ghc-terminal-size-0.3.2.1.drv
/gnu/store/jhf4zqx0690f1m41xcslmc9jd68fddzn-ghc-blaze-markup-0.8.2.8.drv
/gnu/store/l809svwr059k59939043vkfqdp6n8zz9-idris-1.3.3.tar.xz.drv
/gnu/store/m70zxz4dhf73d48s15q0vqm9dmca0yfw-ghc-async-2.2.4.drv
/gnu/store/mvmf58pacf10bnymcjkyicaw791fhr30-ghc-blaze-html-0.9.1.2.drv
/gnu/store/my6w6sj99prqayr40dqsx2qjm7bb32qs-tar-1.34.drv
/gnu/store/n27ncvyw3br0nl5kvzz32gajy9v5q7ni-grep-3.6.drv
/gnu/store/p9cjv0qnliavh9gpl448kqmwxh4nsrbw-ghc-network-3.1.1.1.drv
/gnu/store/pd8p7cx1qbpgg3msqaky0dvigafxnpcf-module-import-compiled.drv
/gnu/store/pnav2k6kfw0076dclpf0skswv9wadpfn-ghc-utf8-string-1.0.2.drv
/gnu/store/rhwjycyxpb1lcvljbdm1zkjq6mzviivj-glibc-utf8-locales-2.33.drv
/gnu/store/sdk7cks72iz7swcjblhvyw1wjcdq2i5j-ncurses-6.2.20210619.drv
/gnu/store/vpiaj03d3gv5092vhy04wsmg7la0dy3s-ghc-ieee754-0.8.0.drv
/gnu/store/wh971x8aj349gspmcibhma8kzgpjby8m-ghc-megaparsec-9.0.1.drv
/gnu/store/x17sa5qgfpj8kg8v0xpq7fv488k2jllf-coreutils-8.32.drv
/gnu/store/x6mrf682p4px9l2g2frf04gkh80prjz4-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/xf2pzbqlnh1pyb224plsi8wzgnwgw83g-ghc-tasty-rerun-1.1.18.drv
/gnu/store/xxkl69yab6jh1sjhm175drwx8iwx8x5x-ghc-vector-0.12.3.1.drv
/gnu/store/y14axzb299yjc8d7s2yhavi63sdfg8jr-linux-libre-headers-5.10.35.drv
/gnu/store/y462c2avv0jscvhxcfraq8k0885dgw7z-ld-wrapper-0.drv
/gnu/store/y9wzzvy68ndisc327lg36nfmypm2fbjw-ghc-vector-binary-instances-0.2.5.2.drv
/gnu/store/ydf5rigp79i2hpzz9wi4856wmm01xpgk-binutils-2.37.drv
/gnu/store/ypgcf3rwybzjk1zyxhikp7zxfr13z5b6-bash-minimal-5.1.8.drv

Derivation details

Builder/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Unknown

Outputs

File name
/gnu/store/1ssygvsb2ax6w6nszxw814camik7cmhn-idris-1.3.3
/gnu/store/43mggwzdfgmpjjg15mg13dys6il8hx2x-idris-1.3.3-static