/gnu/store/w88zl067sa674fpn4imk1a1nipllrqla-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/01mc6hwf5zl8jzqq2js24lglkddpnp0p-make-4.3.drv
/gnu/store/10g6s5fa6x229dqqnva4rpmywlc2ixx6-coreutils-8.32.drv
/gnu/store/2ig8zycf1n5sijhz1jshvjba3vrshq11-ghc-alex-3.2.4.drv
/gnu/store/2k449d9sc2xzbk0q3bkrr1jk8nzf8ah8-patch-2.7.6.drv
/gnu/store/34hdfglxkki70v5av46l265ki284x9c1-ld-wrapper-0.drv
/gnu/store/3akf4nq1vs7f8lw6h79icxczy41793n5-ghc-strict-0.3.2.drv
/gnu/store/49iyxczsj9hiq5vs0zn2lfx28xps1pmg-ghc-equivalence-0.3.5.drv
/gnu/store/4gl40dhjzr91m313zr8jciq6v4mmsfch-bzip2-1.0.8.drv
/gnu/store/5dyaixxm3244151ibb4h5mjrpr0ifbi2-xz-5.2.4.drv
/gnu/store/5sxhfpx4h52akljarz1kx9rkbnizgp08-bash-minimal-5.0.16.drv
/gnu/store/7f665mghn60vals61brslznzs90342xm-sed-4.8.drv
/gnu/store/81g3w4x0vrsi8qzcjzfgn42kv90dnc6n-glibc-utf8-locales-2.31.drv
/gnu/store/82cdl1r1c8ymn3xb8409879lfkp29px6-gawk-5.0.1.drv
/gnu/store/8zdbnpfkis7ghpxg3pnxbbgn298mfpy2-tar-1.32.drv
/gnu/store/96v026m48xnxb7fa3k6wrzi7ca9dahsb-glibc-2.31.drv
/gnu/store/9xr2p30qq6j5p6kg0s22sdk7z9cbayws-guile-3.0.2.drv
/gnu/store/a59dpp7dp6qa1y366rk63is613i9032k-ghc-8.6.5.drv
/gnu/store/blv7gb4w22jkz73bzf2bf3h9w7kf3izq-findutils-4.7.0.drv
/gnu/store/br3z9cyszfxd3cbrghd8j1dpr5va9fvl-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/ciqv8jw8ivm0fldf8sshxm9zxfknsr0y-ghc-hashtables-1.2.3.4.drv
/gnu/store/d5viwx6rmmcnr9qn8vc5v70ka44ymg4s-ghc-aeson-1.4.5.0.drv
/gnu/store/dfz0lmhsm8rgdjyrphkdxxj61x3chj5k-ghc-exceptions-0.10.3.drv
/gnu/store/dwnb0b3z01f27fnndz02ya3hbnzms3yi-gcc-7.5.0.drv
/gnu/store/h87ccj3pgzzl7g9q65kmvm71zv997lap-ghc-blaze-html-0.9.1.2.drv
/gnu/store/isfjriljpnaipd086fqkrqy4hh25rxnd-ghc-gitrev-1.3.1.drv
/gnu/store/j9ixh5jcr4vjavs9gzyxwcdzgpfrxb8w-ghc-hashable-1.2.7.0.drv
/gnu/store/jsfqprvsi1hwn14h0v6bikv0pn1vlq35-ghc-edisoncore-1.3.2.1.drv
/gnu/store/k3lj930j64zl4ksyhl449zb6aqz3c5mw-ghc-filemanip-0.3.6.3.drv
/gnu/store/kjb46gc05yd6g4izdmd44wf5gwgszrfj-module-import-compiled.drv
/gnu/store/lgdyj4by245q6x58kabl6lf737jbsail-file-5.38.drv
/gnu/store/my54k00bpf150k4a1nrrjbmyx1qhpymz-gzip-1.10.drv
/gnu/store/nh7fxnd2aj4p6r0g31syq53qdxkgvhxi-ghc-ieee754-0.8.0.drv
/gnu/store/nv0c7dnn7jr5r3la4v88sxhjx0138xzz-ghc-happy-1.19.12.drv
/gnu/store/nvkd9g9b4cyc71kvxjn175i32mm7pgji-ghc-data-hash-0.2.0.1.drv
/gnu/store/p2m79lk364rvdsir02y53k07bnsczndr-binutils-2.34.drv
/gnu/store/pdljn9ls35skbpqiwav6czmw5kqppwif-diffutils-3.7.drv
/gnu/store/r5qg1r1isrx2ciz8qrmzsmlvqs3zxp0l-ghc-async-2.2.2.drv
/gnu/store/s0djs4qxhqqbnbya5wcs9pbl8565vljc-ghc-edit-distance-0.2.2.1.drv
/gnu/store/v17v20rcsblv4cr3q9g1v8nh8fnbw22i-grep-3.4.drv
/gnu/store/w779aik022zvwvbg1cpaybiq6frcydk1-Agda-2.6.0.1.tar.gz.drv
/gnu/store/x30klawjjxi3vhl07hi679ky0gaymhi1-ghc-zlib-0.6.2.1.drv
/gnu/store/xad782s7k36pr8d8afw6wm34vx5f8k7g-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/xdarby37jpswwqaf4n30xf96j6s23bx8-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/xlmbmbvdj1idlzp8zl6hki2lq6qm6hka-ghc-uri-encode-1.5.0.5.drv
/gnu/store/xvgqmcmbdmdvw93aqjpndhsv1sg46ynv-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/ym9ajqs5iznyqspcfy4c608329p908ms-linux-libre-headers-5.4.20.drv
/gnu/store/zzwqlqgcyngxg2wg9sccl8zm7yyihnaa-ghc-boxes-0.1.5.drv

Derivation details

Builder/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
Systempowerpc64le-linux

Build status

Unknown

Outputs

File name
/gnu/store/d90c1z1ygfdm1x91d33sscgliqgsiw3n-agda-2.6.0.1
/gnu/store/ms0f37ag5k8c0bag7yzs1y7jxizy8kl4-agda-2.6.0.1-static