/gnu/store/hl4yw8w9gb0prpi76ma3ndqmsk2f25cy-agda-2.5.4.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1bgzbd64z3xi4cq70ksy89q7m4f2l3q6-gcc-5.5.0.drv
/gnu/store/2krg4afb8k4rj1gsy1cxajry92r4q0vn-file-5.33.drv
/gnu/store/2l3vjdw0zzy4jpq1iiyz7pm72090l80s-ghc-text-1.2.3.0.drv
/gnu/store/3dssmzs9c6wak74zbvsimjjfi5ay8fwh-gawk-4.2.1.drv
/gnu/store/3dym34gm4h596rbkp9sndvsss20gsln7-ghc-data-hash-0.2.0.1.drv
/gnu/store/3m10i8dhgsyqpxnbhvrx0q9x3dd4i6yj-grep-3.1.drv
/gnu/store/4dnv19sbg3chjdwsw4rw5yn6lp395byc-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/58h6swhmrg8s63l53rbhbacdx3i59509-ghc-alex-3.2.4.drv
/gnu/store/6q76xw0qzvbpadj51cjdlvnn2q3kqbhh-ghc-uri-encode-1.5.0.5.drv
/gnu/store/77k1kjkir0zscip04ibs2sswx8gmcbqg-ghc-stm-2.4.5.0.drv
/gnu/store/a797nbfbc437jrmcvvfx0ynsxm3ydpbk-bzip2-1.0.6.drv
/gnu/store/b7l9ggr7y677sbgb6lpqm37y96szjmi9-binutils-2.31.1.drv
/gnu/store/bq4vrjrnhhvyjqmazy5vm1ycvsygxcva-ghc-gitrev-1.3.1.drv
/gnu/store/c5ydjsvrkpfmrfzykv1x56nzxjib35n7-diffutils-3.6.drv
/gnu/store/clcbv2w33yln7kny0wfcxzk5hccx807i-coreutils-8.30.drv
/gnu/store/cvidc1aa06qay9sacfijjflkfnka5h61-ghc-filemanip-0.3.6.3.drv
/gnu/store/dd2zg4cs62q3lyy1k58fn24xn0s2g137-linux-libre-headers-4.14.67.drv
/gnu/store/dxfdkw7r15sc047vjg2nyllvmprj6q4d-ghc-8.4.3.drv
/gnu/store/fwv2yybbikl0g7qc1bnklaj68fc3s9mn-make-4.2.1.drv
/gnu/store/fysdsdhgy21xrppfb1pszz16pbf2xcm0-xz-5.2.4.drv
/gnu/store/g8849zvnxyszjlq1zdp67hxsdhjj6bdp-tar-1.30.drv
/gnu/store/gvr7y2i2n3qr1zn610656qcrsf3bqkzq-sed-4.5.drv
/gnu/store/h2flfw6lagvh70ppi83prd8zbmrdinyy-gzip-1.9.drv
/gnu/store/h6x8k0kid799rz34dwa5qbnn3rb4v0c8-ghc-ieee754-0.8.0.drv
/gnu/store/j5ch16qpi5n81771m8q1sq867d65yn2m-ghc-hashtables-1.2.3.1.drv
/gnu/store/jqisvbsp6lp43i9z9wzkj9wkzipqidn9-guile-2.2.4.drv
/gnu/store/k1gwg88g66qsjh6m9cmms7r6v0zihvx1-glibc-utf8-locales-2.28.drv
/gnu/store/k2qg1rfim1yza8d938941yd2qy8zgjjs-ghc-boxes-0.1.5.drv
/gnu/store/kwkg04s822xss4siay99gs0rsdyissm5-ghc-zlib-0.6.2.drv
/gnu/store/l7vqba24qa1q6r87b0nfz5y7hhr2fk0d-ghc-hashable-1.2.7.0.drv
/gnu/store/lm2pv5rsvhn05cgw1bk146rhz5jjpmk5-ghc-edit-distance-0.2.2.1.drv
/gnu/store/nnxhx5abndy1mq0rd57y8j9vfk748593-bash-minimal-4.4.23.drv
/gnu/store/q32a1vqgksg3q2skigxr38xcyys61m27-ghc-parallel-3.2.2.0.drv
/gnu/store/qg9fgr6xnym5qnyvvnl4ma113vkr9clm-module-import.drv
/gnu/store/qjzgmj716wphw7ign46sxzw58bf6jc25-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/qkxsc9l2aabylmrp7m9iysy6ii0wcdkq-Agda-2.5.4.2.tar.gz.drv
/gnu/store/r5hqsglzya4fnsdm2rs6gdjpb4d04bhm-module-import-compiled.drv
/gnu/store/rd184a7bwvasv3nsh82r5c1jnwm4dvf4-ghc-strict-0.3.2.drv
/gnu/store/rhrlxxyhlfm76bki1k7m1jxnl8fw5dqy-ghc-blaze-html-0.9.1.1.drv
/gnu/store/vbr6x31s0kxrq3ivj4m7wxln452br2bk-ghc-happy-1.19.9.drv
/gnu/store/wb6lqbrs2j82ks3ghjhy7zxfsmqynq6i-ld-wrapper-0.drv
/gnu/store/wffav0yg3vpn9rfblyx48yn7lv2c6lds-findutils-4.6.0.drv
/gnu/store/yi7z3kcal36idw6pw2rnrbnivn0ifypz-glibc-2.28.drv
/gnu/store/yn2wgmhnrzyn0y7bl1lnc8qypvvhas46-ghc-equivalence-0.3.2.drv
/gnu/store/yscg0nrf555n5vjfkxh6mfnrvpccm9h1-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/yz8k828dnm08682l03fsl6dnnqwby1bn-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/zhijxgyx985q8z5b5jyc9yi4dd24ir71-patch-2.7.6.drv
/gnu/store/zmwk2pp4i51i2c4p8h8v89kna005m07q-ghc-edisoncore-1.3.2.1.drv
/gnu/store/zpwlygfykjc85ksc77q18x8v2npcbmq6-ghc-async-2.2.1.drv

Derivation details

Builder/gnu/store/jv6bvbw00qmhjx4asvhjs5w5nwi2y9lg-guile-2.2.4/bin/guile
Systemi686-linux

Build status

Unknown

Outputs

File name
/gnu/store/zsh9xq0819619mjwf57yk4dww4gad6cf-agda-2.5.4.2