/gnu/store/qbinffxkbnfrkf25ms0lcyvh9xnfh181-
idris-1.3.3.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0fw6spx3bcx9ir6cs5bgwphdrj1d9pi8-
perl-5.30.2.drv
/gnu/store/0gdw8zl72a1yr6balhkp0r0nh74hypqf-
ghc-terminal-size-0.3.2.1.drv
/gnu/store/1lh0856ddk4yn48hxy3wij5m3yxddljf-
ghc-megaparsec-7.0.5.drv
/gnu/store/1zbxjnjxxwrzx9npbclyg2fr3wxjxsb3-
ld-wrapper-0.drv
/gnu/store/27vaxk1hg6q52106a816gcaq7dl09ss3-
ghc-vector-binary-instances-0.2.5.1.drv
/gnu/store/2c8hpa3wvbwis5l8amaibkfkgl7zgldz-
bash-minimal-5.0.16.drv
/gnu/store/2g9dr9zwqxv21zz85ffj65c5wnravyd5-
ghc-libffi-0.1.drv
/gnu/store/3lpq3ayhpgdd35ik5c60x3q7afrqf2pk-
ghc-async-2.2.2.drv
/gnu/store/3lqlyjvjgjjsi3gvfkfixdpflwr9gvni-
sed-4.8.drv
/gnu/store/4490hc1pangph5zkb6z6jx7a7v08vb33-
glibc-2.31.drv
/gnu/store/499i3zmjvx0j53pnqqbxga5pbqq3y9rr-
linux-libre-headers-5.4.20.drv
/gnu/store/571idciha26p83kf1p9iwqd546j9sq3d-
ghc-ansi-wl-pprint-0.6.9.drv
/gnu/store/5g55a3pg9xj33gc2xg330mzr7dfpxmhv-
binutils-2.34.drv
/gnu/store/5p7jwmv3i86gv87f5v3zwshygr9jd3qc-
ghc-annotated-wl-pprint-0.7.0.drv
/gnu/store/62ak7b6l860rdyq0j6xmy6d57mpcihg2-
ghc-zip-archive-0.4.1.drv
/gnu/store/64grnmk1csqxihwxgvanqkkg9l72shjw-
ghc-fingertree-0.1.4.2.drv
/gnu/store/68bzsm3d8771v30bm55k9izdirxzv56f-
gzip-1.10.drv
/gnu/store/7kip93g2a5apr41vs6lsv9mhkq4aa1vr-
ghc-safe-0.3.17.drv
/gnu/store/85nib8l7lsbyq9yl82p9ddjvpirvahzr-
xz-5.2.4.drv
/gnu/store/8955giz58yy2za3qhvwcxixmvgv1mnr8-
coreutils-8.32.drv
/gnu/store/8dawida0157c31az66jri0m1r393p8y1-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/8qv4yxi4w228s3cr2a6q1lqh8x6qjgjl-
bzip2-1.0.8.drv
/gnu/store/8zc8hkij3jbpghszjrs17m560mzgf2d7-
ghc-blaze-markup-0.8.2.3.drv
/gnu/store/9kl9hhbx7jjs3wmfj7c2hnd68h06xj9i-
module-import-compiled.drv
/gnu/store/ayywhrhf6w8nrw7w1h1fgrbghkc3x1gz-
ghc-tasty-rerun-1.1.14.drv
/gnu/store/bgcppnyq3q8bl8d51i8afpqnclycfxks-
ghc-8.6.5.drv
/gnu/store/bn43mb5gdqz3fd73aqq57yy6jfb3lf1f-
file-5.38.drv
/gnu/store/bw54i0af3qnn0hx7771xbdai80jvzgdp-
ghc-code-page-0.2.drv
/gnu/store/c1n3kqx9aj4ssld15c5611vr89a2za9b-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/cnjqnhg9b186gsr3vvqzkjajbp9h4yw0-
ghc-uniplate-1.6.12.drv
/gnu/store/d3qvg5srqnv8wgqprq1pmqsnxxb8j5n1-
ghc-optparse-applicative-0.14.3.0.drv
/gnu/store/g6rwslfcalarkpcwa0xvk9ygp8a7vy7r-
tar-1.32.drv
/gnu/store/gxqnbcmxrh8hxx2w0lk392gayxxmvda0-
ghc-cheapskate-0.1.1.1.drv
/gnu/store/h0p7kkr44jlrqca7aai5z7gi2nlfxd41-
ghc-aeson-1.4.5.0.drv
/gnu/store/h1aad88ga4whagplasck5nbw6q98k0m5-
patch-2.7.6.drv
/gnu/store/hgpdpwlglkq8z1g15sgjps187rf0xzrw-
ghc-ieee754-0.8.0.drv
/gnu/store/i6mjhhf9prpk5krj8bh284k5c2fqmf0x-
make-4.3.drv
/gnu/store/idb62qz3qqyy0bbddd4sckpv6qinwxcp-
glibc-utf8-locales-2.31.drv
/gnu/store/knnfm43jn9770v9k4bdzsh4gzavpya40-
ghc-base64-bytestring-1.0.0.2.drv
/gnu/store/lkw0rl47i2rffh4iwvzff2c4pzyf2js5-
grep-3.4.drv
/gnu/store/llfvc36p0a24pjp42dk9grwh4k119aw3-
ghc-fsnotify-0.3.0.1.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-
guile-3.0.2.drv
/gnu/store/m1rp3a1i515qryrvsxg7ljlgy3cac4ya-
findutils-4.7.0.drv
/gnu/store/pdiccjyl2mpg7f0364qikj0cq04dmbxn-
ghc-ansi-terminal-0.9.1.drv
/gnu/store/pm4pzx1ngand143lsmzwgn54yjk7wmhr-
ghc-utf8-string-1.0.1.1.drv
/gnu/store/pswrm3yphpl553hxmmi00qkk9d1v8nj9-
ghc-split-0.2.3.3.drv
/gnu/store/qv7dmb0ki2s21g6ifvrs4xa5z9drdxid-
ncurses-6.2.drv
/gnu/store/rk798rdh7dwg58gd5cmxwa5ndmry82sg-
ghc-network-2.8.0.1.drv
/gnu/store/sgkg0l5hn9s8rmr050vvdgbss7nzsy5i-
idris-1.3.3.tar.xz.drv
/gnu/store/si48c9cma9hx06g1hczvdk8l5kr124hi-
ghc-vector-0.12.0.3.drv
/gnu/store/v7b8bqzsk0mvbccvm1akyn0q28kzgnvn-
diffutils-3.7.drv
/gnu/store/v99a218fli74wb0fz2nn4zjlg29awkn0-
gmp-6.2.0.drv
/gnu/store/vmfbdwp17vh6a25qmdi5i5aykma98jdw-
gcc-7.5.0.drv
/gnu/store/w8qa68k4g2l5pr8646km44f4awgf97cr-
ghc-tasty-golden-2.3.2.drv
/gnu/store/xdr1nqhw19dg8mlakv25hh611zbpra3r-
ghc-tasty-1.2.3.drv
/gnu/store/zfbmjbvwf6lis4ccbh70d38hrdli1hpa-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/zp8xk297hiby0l2dairqci0sz8kfv9j2-
gawk-5.0.1.drv
Derivation details
Builder
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile
System
i686-linux
Build status
Unknown
Outputs
File name
/gnu/store/nc15m646iazly02g3yb4p3ijj9vvcb99-
idris-1.3.3
/gnu/store/fcxaay80p52qhgz64q78y15m0qk16d6z-
idris-1.3.3-static