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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/04iafwp3bskwwny16a5qxb9fgyimv3i9-ghc-filemanip-0.3.6.3.drv
/gnu/store/125nagdnrl9q2mcp7vdx423gfyya7hzh-ghc-ieee754-0.8.0.drv
/gnu/store/1y2gdvxn10q7jsfr18zkjc9ijn917cij-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/1zbxjnjxxwrzx9npbclyg2fr3wxjxsb3-ld-wrapper-0.drv
/gnu/store/2c8hpa3wvbwis5l8amaibkfkgl7zgldz-bash-minimal-5.0.16.drv
/gnu/store/2wfcd5incczkx9jda0ldlwvc7m4pf3d3-ghc-8.6.5.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/4ch7465awngav3q4whb57gy0ym329l7h-ghc-hashable-1.2.7.0.drv
/gnu/store/4iywqyzfc7zq6jgwl8p8jf1zfpbvc83d-ghc-zlib-0.6.2.1.drv
/gnu/store/5g55a3pg9xj33gc2xg330mzr7dfpxmhv-binutils-2.34.drv
/gnu/store/5p5y353flhln3ynz0a2ga5qvg3ps2vjy-ghc-aeson-1.4.5.0.drv
/gnu/store/68bzsm3d8771v30bm55k9izdirxzv56f-gzip-1.10.drv
/gnu/store/85nib8l7lsbyq9yl82p9ddjvpirvahzr-xz-5.2.4.drv
/gnu/store/8955giz58yy2za3qhvwcxixmvgv1mnr8-coreutils-8.32.drv
/gnu/store/8qv4yxi4w228s3cr2a6q1lqh8x6qjgjl-bzip2-1.0.8.drv
/gnu/store/9dj1r5rdparv9d5zb7a58zjsjinw0fm3-ghc-strict-0.3.2.drv
/gnu/store/9kl9hhbx7jjs3wmfj7c2hnd68h06xj9i-module-import-compiled.drv
/gnu/store/b4y7mjicrvnvysvja8j710nk4jfr7j2q-ghc-async-2.2.2.drv
/gnu/store/bn43mb5gdqz3fd73aqq57yy6jfb3lf1f-file-5.38.drv
/gnu/store/cf91x1d1qs2jy8dlpl48aj19m1f0jivv-Agda-2.6.0.1.tar.gz.drv
/gnu/store/ffgjllfr0zgmgzzw2j3c233nw74pw9df-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/fn7anzk6rbq69682ffd3ix5bm0bwl9v5-ghc-boxes-0.1.5.drv
/gnu/store/g3djk6dzc7p55h9ydb1sqbsbdgjqchdy-ghc-exceptions-0.10.3.drv
/gnu/store/g6rwslfcalarkpcwa0xvk9ygp8a7vy7r-tar-1.32.drv
/gnu/store/gmxy1gfp42ibw69f8p75xdy9p3sq76mb-ghc-uri-encode-1.5.0.5.drv
/gnu/store/gw9sl28phfmswjhah6ynvwhg7wvm22nf-ghc-blaze-html-0.9.1.2.drv
/gnu/store/h1aad88ga4whagplasck5nbw6q98k0m5-patch-2.7.6.drv
/gnu/store/hqq3bznyirzkjiq6s5mqj39zy5hn5z90-ghc-edit-distance-0.2.2.1.drv
/gnu/store/i6mjhhf9prpk5krj8bh284k5c2fqmf0x-make-4.3.drv
/gnu/store/idb62qz3qqyy0bbddd4sckpv6qinwxcp-glibc-utf8-locales-2.31.drv
/gnu/store/ijnhls4pica4h62cfa896xjic3bz1d45-ghc-equivalence-0.3.5.drv
/gnu/store/jg09h692ixhzp50kmbknpfv6zkxjcq2k-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/lkw0rl47i2rffh4iwvzff2c4pzyf2js5-grep-3.4.drv
/gnu/store/lvwchw0i9yyzv0j8bx3v256ynqhlx61q-ghc-happy-1.19.12.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv
/gnu/store/m1rp3a1i515qryrvsxg7ljlgy3cac4ya-findutils-4.7.0.drv
/gnu/store/pxh515p1j1vk3wchkb058clkvfpf18yh-ghc-data-hash-0.2.0.1.drv
/gnu/store/s44dzc35asdk8xmf89sv0pnvdayr4aml-ghc-edisoncore-1.3.2.1.drv
/gnu/store/v7b8bqzsk0mvbccvm1akyn0q28kzgnvn-diffutils-3.7.drv
/gnu/store/vmfbdwp17vh6a25qmdi5i5aykma98jdw-gcc-7.5.0.drv
/gnu/store/w03jy69fdpljys731hw3fy5ljf2704xa-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/y6v2jdcrifnwb16b1g5r3lij4fy3lrma-ghc-alex-3.2.4.drv
/gnu/store/zfk5i4yx2frjqyajdbnsr3mggzfni3gi-ghc-gitrev-1.3.1.drv
/gnu/store/zp8xk297hiby0l2dairqci0sz8kfv9j2-gawk-5.0.1.drv
/gnu/store/zr7aiyp5xqpa1kw9xzbxghsdcgspls2v-ghc-hashtables-1.2.3.4.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Unknown

Outputs

File name
/gnu/store/v7dl2dpgsj6bnrc0hk7fi45h94f84rnj-agda-2.6.0.1
/gnu/store/fq2lw3c3ksypclqn47lvy3hik304q9qv-agda-2.6.0.1-static