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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0d51nlm17zanxlc0wsb6a4d6chc93h3z-ghc-hashtables-1.2.3.1.drv
/gnu/store/15d2fxd1k1cv2hb97lms977ckls354wg-diffutils-3.6.drv
/gnu/store/16c8c8hm1qdn6xz8014939mirc7c4d4j-guile-2.2.4.drv
/gnu/store/21gyffm20r40rzf21mnr5kdn92wha0rc-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/2iy8bjj9lqj0kx3djjyxwrvc5vin3sp9-sed-4.5.drv
/gnu/store/2raf5kyhd9i41hf835gvl58mqzs2x27h-gawk-4.2.1.drv
/gnu/store/2xw4c00n1cr5ccryknklrsiri4bqchjy-findutils-4.6.0.drv
/gnu/store/34sh0rr7gkyp106nr0bpx3awy7xf5xax-tar-1.30.drv
/gnu/store/3858n47m3529jr1rs6jq5x7nc8ppz1px-ghc-text-1.2.3.0.drv
/gnu/store/3c9spvq9cgack8g0sznr6mv4b2vbag8v-gzip-1.9.drv
/gnu/store/3gz7766lh6y0paanzb2spabkvb2xmp8n-ghc-alex-3.2.4.drv
/gnu/store/3k8mhb6a5gd639vr68lbdf8c091nznic-ghc-stm-2.4.5.0.drv
/gnu/store/3s98ya9qc65qf0paxi49lkkkbhxlg80q-xz-5.2.4.drv
/gnu/store/4g0k1d9agfr6m28l53zi2x6wzvragbf0-ghc-blaze-html-0.9.1.1.drv
/gnu/store/6d4lg29p7x0kacbr5a9c0jiki7a0vsyh-ghc-hashable-1.2.7.0.drv
/gnu/store/6rgvz1f92inxzc5h8mnzh5s5wswhvf1i-ghc-edisoncore-1.3.2.1.drv
/gnu/store/7mi0nshw5igq0246jj95kq5qhar3h0qa-module-import.drv
/gnu/store/8h8mlbfw7ygv5l73va28hbafnqk3g0y9-Agda-2.5.4.2.tar.gz.drv
/gnu/store/9f8sqdsrqhay0j83cf936m92pz321krw-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/9vz00dzc42nmqrazfyc1x1j1x57nx6sw-linux-libre-headers-4.14.67.drv
/gnu/store/a99z0k3pz7d0w1rjdh650vpdh60z8ngj-coreutils-8.30.drv
/gnu/store/b14r9561y75k5zr5cgkrp0ip9v81pw3l-ghc-data-hash-0.2.0.1.drv
/gnu/store/c4ni4sq1sb9vv5w3a06jnbwy2j0w819k-glibc-utf8-locales-2.28.drv
/gnu/store/dnyh6iqjs5gyjlil0894jr1hvslc7fh5-module-import-compiled.drv
/gnu/store/fr7q70icg3in659d3mc0vq2n5j5zpkpl-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/gha5ivvp2hgpnqxj82c9znh07qvspn90-file-5.33.drv
/gnu/store/gjd1hz887ksgd0657c7a8k8dbznzv5mg-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/gldmzqvkr3b4mmfhk9qgbn042ldy2nn8-patch-2.7.6.drv
/gnu/store/hn36fh4khyc3n3skac5p111cb7mss72n-ghc-async-2.2.1.drv
/gnu/store/ija8c004i5zp4rd9k6b3npds18zgfc0z-ghc-filemanip-0.3.6.3.drv
/gnu/store/ikxs02hnn5k5q7yvmq7zf0b344j1wl6j-ghc-8.4.3.drv
/gnu/store/iq3k77v6fhzcs85q325kx3s19nxfhx7z-ghc-boxes-0.1.5.drv
/gnu/store/jasnr4aaj334ppyqwm0mz0xjb65f0ggl-bash-minimal-4.4.23.drv
/gnu/store/jvf65wm6inm4zgawv20qmxn36vpva0kh-bzip2-1.0.6.drv
/gnu/store/kw39wmkv8aw2blp17997ihs3n8bvjbw9-binutils-2.31.1.drv
/gnu/store/l2hgmw7lsp0zm5ma3qv7mzml33vws53k-grep-3.1.drv
/gnu/store/l8znzcfv3cwdj0jjdg8jb6qb2l7ckavy-ghc-happy-1.19.9.drv
/gnu/store/m399dmmx10hkwz25ia4hv9b8nx5yfx8n-ghc-parallel-3.2.2.0.drv
/gnu/store/mb8c89wcrnsjpzw9vydpfkk2w0s0lbb6-ghc-gitrev-1.3.1.drv
/gnu/store/mp1bgj8j704yhvy2b5h3ih5dicch7hb7-gcc-5.5.0.drv
/gnu/store/n6aaqv7py7zwjxmrq4gdd7nln0yd5lp6-ghc-strict-0.3.2.drv
/gnu/store/n72zkpvgydhf2ygd0cr7miwsk734cwv5-ghc-zlib-0.6.2.drv
/gnu/store/qp55kh56l0avbgc1rrfambfm9d3w53si-make-4.2.1.drv
/gnu/store/rb7vpmcrrjp9j9cbnkl4mmj4zzmkmd47-ghc-uri-encode-1.5.0.5.drv
/gnu/store/y0pmjyv582709z6nvwis6snapmn05l80-ld-wrapper-0.drv
/gnu/store/y6c6sha2r5j1rsppksbvmsq1bs9sb1k8-ghc-equivalence-0.3.2.drv
/gnu/store/yjaw92s076arg8yi2hyfvwm3c2r6w2x4-ghc-ieee754-0.8.0.drv
/gnu/store/z113ln2x56kiqm06a2hapnvqv43k7w1k-ghc-edit-distance-0.2.2.1.drv
/gnu/store/zlarpjla570axb9hi6c78njaf4y9ffci-glibc-2.28.drv

Derivation details

Builder/gnu/store/r658y3cgpnf99nxjxqgjiaizx20ac4k0-guile-2.2.4/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

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