/gnu/store/f8zn5gqw08wb8wnhklah6bqgz6w31347-idris-1.3.4.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0v6ifvph4crs4qir5d21xdhd05dmc0x2-module-import-compiled.drv
/gnu/store/164h3p5h7r9yg4l6x4pg2r4p0hjflwfd-file-5.39.drv
/gnu/store/331mrjiszlg31b4nk55v7b4il2bydcn2-gcc-10.3.0.drv
/gnu/store/3iybq2jc3f31lkd5vjy21si46f18ssch-sed-4.8.drv
/gnu/store/68bk4p30h0gi27i09vghg8p7na8x5if7-glibc-utf8-locales-2.33.drv
/gnu/store/6n0vkplpyr15qvzc4nc8i4hw4ca9zy3j-ghc-split-0.2.3.4.drv
/gnu/store/71lbjhpsr53k469285np7bi1jcl4ai9m-diffutils-3.8.drv
/gnu/store/78bch2n88arfq8p4vgr0wgx0qagpf9sv-perl-5.34.0.drv
/gnu/store/7rl6mq731wpykzzm9av9s7r4sikpdfpk-ghc-optparse-applicative-0.16.1.0.drv
/gnu/store/8xc1bfjwbpvwsp4k1nyggxanr2myzizy-make-4.3.drv
/gnu/store/95s9im835hic0msl3b98bzbb397s0dsd-ghc-ieee754-0.8.0.drv
/gnu/store/9lymzvnxbp72c95y0hqlzap4sxr52ang-ghc-fingertree-0.1.4.2.drv
/gnu/store/9rgs9xs0yngq7vgavs6g3r6g1c1bajyq-ghc-code-page-0.2.1.drv
/gnu/store/a8ca38xrih16fil2575vn4cndcrr87q8-ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/a8w9gimb194k8lc0q1w5vsd4b7c6kccx-binutils-2.37.drv
/gnu/store/afh2lrbp4c816n0zpk2kbjafp7wkjwja-ghc-terminal-size-0.3.2.1.drv
/gnu/store/ag7c6c4w8izbphplq8fn44jcdsl35sib-findutils-4.8.0.drv
/gnu/store/bwvlgzhxr3dbyzcaq3z87ms28w7690r3-ghc-base64-bytestring-1.1.0.0.drv
/gnu/store/byc025v1xm3cssp7wmshgzf4wwckkday-ghc-8.10.7.drv
/gnu/store/cqahmz789nq0pbf0rrdrdjkhm8afzd09-gmp-6.2.1.drv
/gnu/store/d52s134may167xm6v7d8afry4ybxmlxx-gawk-5.1.0.drv
/gnu/store/dnigpqv3vc8iv2rz5i338mz4q8pp4m04-glibc-2.33.drv
/gnu/store/dpq7d62dar1ymklm0mi07409cmhl7rck-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/dq36cgqiz7f8djr3lg2s0sgsh4g1ckdh-coreutils-8.32.drv
/gnu/store/fdyjy9gxy5gw5y9nic2fsvcw1hwdsy0f-ld-wrapper-0.drv
/gnu/store/fr2b8d6n2jhb3z0qxwx0d65mxmf58wxn-patch-2.7.6.drv
/gnu/store/g5ig91ap7f589qdjl4s6m82cci8q9yqq-gzip-1.10.drv
/gnu/store/gfck4g0ija8xv9fzpxsg35bqhf1k15xz-ghc-async-2.2.4.drv
/gnu/store/gm1fiaks14py7cgm0jwxjrx8iy5z0gym-ghc-libffi-0.1.drv
/gnu/store/h4j105z9d8k1in6g1j4f4mpyg4c4v4dm-ghc-tasty-golden-2.3.4.drv
/gnu/store/hg5r6c5440yw14sjys6vbivjjwcb2nym-bzip2-1.0.8.drv
/gnu/store/hgymp7wrzhqmm4hzwhgn6z1rrv6vhyfm-ghc-zip-archive-0.4.1.drv
/gnu/store/i4j4inygsrvh7nzg0immjzfy34mxw84z-ghc-safe-0.3.19.drv
/gnu/store/i5bya80cxgbfz1858r7a6lkvk2j6ip0i-grep-3.6.drv
/gnu/store/ipjjwraj4qbcl7lvrwrjdijnyp2hj2ff-ghc-tasty-1.4.2.drv
/gnu/store/jbas80a1a2b1xwd8z6fnsirmf995q06n-ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/jmfxyqx7gc79i42i5x9hvyf0kshcq2zs-bash-minimal-5.1.8.drv
/gnu/store/jxycivil7q443wgxx981762bsjcih2qr-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/k170a4v4vw9mja6ka9ill2s1534g2c0g-ghc-tasty-rerun-1.1.18.drv
/gnu/store/k832illfbvkm79r8c4zlfx1qwkq4xyxl-ghc-ansi-terminal-0.11.drv
/gnu/store/lwzzr03gv430p9g2x4vj2jifvv57zbkh-linux-libre-headers-5.10.35.drv
/gnu/store/m40dg3bbwjfkci96m8l21g3pb8hi9j1g-ghc-uniplate-1.6.13.drv
/gnu/store/mk2xpyxhgl4895skrbcp8jraji3ny225-ghc-fsnotify-0.3.0.1.drv
/gnu/store/mr6njkc27qap8hnv5z4lzb8dcn6d48rb-idris-1.3.4-checkout.drv
/gnu/store/qb5anvc5avj8hkwa213zk94jp6idsr4r-ghc-aeson-1.5.6.0.drv
/gnu/store/qrsy7md5fwlnkxcv4vgbip6r3a9d66mg-xz-5.2.5.drv
/gnu/store/rdisbmgprbsw34n66gwvka6dmmq0z855-guile-3.0.7.drv
/gnu/store/riq3fyyw539jw7gf6kbn5ywql306n7x7-ghc-vector-binary-instances-0.2.5.2.drv
/gnu/store/rs930j761sn43zd3gkyyz88i5jjbs4n0-ghc-utf8-string-1.0.2.drv
/gnu/store/sb91lpgmlg58r9fbv1ng2nr9z94pnqqq-tar-1.34.drv
/gnu/store/scdhpvnk8mhn20j29id84lh4yd1nc75q-ghc-blaze-markup-0.8.2.8.drv
/gnu/store/v55whsv6xj4lhrlnmgclk8sx1v0shr1c-ghc-blaze-html-0.9.1.2.drv
/gnu/store/vxlhg1fc427mji1x25hnqfy6ivm8zyl9-ghc-vector-0.12.3.1.drv
/gnu/store/vyb6hqda6sbnp4ah4pphz81j9vpcfwpb-ghc-megaparsec-9.0.1.drv
/gnu/store/w1989rj58sk51iwn633q1jnjqwd2c26x-ghc-network-3.1.1.1.drv
/gnu/store/w38z5qxprvv5a6h2rlblk4pws59dpnr0-ghc-cheapskate-0.1.1.2.drv
/gnu/store/wss8hzpkm9an5mjg4f8n2izmbx5l7ypc-ncurses-6.2.20210619.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org

Outputs

File name
/gnu/store/m16yhbm7fsyan7h8g4lp1f7al7bimg64-idris-1.3.4
/gnu/store/cy54m8bff5nd8941sxbbz0619iandpjg-idris-1.3.4-static