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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/02sbsqhwqnw9x7bp0xl4ajh53z8p6632-xz-5.2.4.drv
/gnu/store/0bwj5nc08ancybh1n0cwz8fiirddj49h-tar-1.32.drv
/gnu/store/0kvxdbsqp9vcbzhpi2jwnpn7k1r0g43q-ghc-zlib-0.6.2.1.drv
/gnu/store/0v5z2qhi750z7pc3kbz8k0mlvgwdl8sl-ghc-gitrev-1.3.1.drv
/gnu/store/102fbl26ms95f0xhmxfg71vypxrrgzzb-make-4.3.drv
/gnu/store/1g21kkham41zvv1jzalab5cwyffqnv59-ghc-ieee754-0.8.0.drv
/gnu/store/22g8smirpxjjr8zc39jdqq2y5l7zwyvd-Agda-2.6.0.1.tar.gz.drv
/gnu/store/271yfb54fn2c6irqjpmbss6qxj6wxj1k-ghc-aeson-1.4.5.0.drv
/gnu/store/2qh21vmkzarlxrxkpw9xhwkywcy11y4v-ghc-boxes-0.1.5.drv
/gnu/store/33sc310hs131rzbjnv5nddpcqq5x4k2a-ghc-exceptions-0.10.3.drv
/gnu/store/3n4i7rjq8012fwidvahqdcni7d1ig6h9-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/4kym53fk5xsy14ji76pljrr4ksc5n4d0-grep-3.4.drv
/gnu/store/53g4g9amlc8win34jh7m1kjlpv6zhm5m-ghc-alex-3.2.4.drv
/gnu/store/5kyxfq2fhgary506s64vhmbvixyz4882-diffutils-3.7.drv
/gnu/store/881vn2s031wpyb9a43dqz1wn7w8h9zhq-bzip2-1.0.8.drv
/gnu/store/9dkd5dki432i0ah93545v2aggkvqyg63-guile-3.0.2.drv
/gnu/store/a4zzzcrqwiya1rpm48ch3hjgx8myhmcn-ghc-happy-1.19.12.drv
/gnu/store/apk74a38jcr4cimk1kwrahzh2g71glc6-ghc-async-2.2.2.drv
/gnu/store/bxsig0l2xbckxask9ddca0g6a2z91alm-patch-2.7.6.drv
/gnu/store/cpfrgbhnp49nl8p1z94s2yf1cgvi9qkn-sed-4.8.drv
/gnu/store/cr5jjg5map7sawxbzn60y1wbg2nfcpvq-ghc-hashtables-1.2.3.4.drv
/gnu/store/cxa5q6c5psf098bjqa256b7n5gvv2b0s-module-import-compiled.drv
/gnu/store/dnzxqhpf56qh7aix4r11n1sqa03d1qan-ghc-strict-0.3.2.drv
/gnu/store/dy5vpwixyj44c4nls029l50f1813x0bc-ghc-equivalence-0.3.5.drv
/gnu/store/fjva24lpsqn9dq80dyd26h7nx7y5rpm2-glibc-utf8-locales-2.31.drv
/gnu/store/g31r6j32yxhvl83rnsj02v5ja4ah5vl0-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/gpnqw54znkynw8niwrfpwsk618ykprry-gawk-5.0.1.drv
/gnu/store/hcga86x9z8j65a88g1ylqrff5012pb8q-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/i0gnivvg6fflf4vswkdp65fp75basczs-ghc-filemanip-0.3.6.3.drv
/gnu/store/i3j0kfiln56axjnhd45ank324ba4jaq0-ghc-blaze-html-0.9.1.2.drv
/gnu/store/j977m5qybfgzbklmfzlj706nv874jqs1-coreutils-8.32.drv
/gnu/store/k8baphv2waq3kcw82lawwi16rqy6a4xw-gcc-7.5.0.drv
/gnu/store/ky0h15vxmm52ljsm01r8w2jjm73rcpgv-ghc-data-hash-0.2.0.1.drv
/gnu/store/kznf3jywqha2wxanahggh6zwcyjnq8bc-ld-wrapper-0.drv
/gnu/store/lk6lgb7w5lmrrds85wf2sfyj09mbj71a-findutils-4.7.0.drv
/gnu/store/mwyq4s676fbjdcq9sba48m2ny0rifas7-gzip-1.10.drv
/gnu/store/nfimk308y6mi0sqsppmccw591gja01p8-glibc-2.31.drv
/gnu/store/qf4qs9pqf3m45z9x98ad2hf4ldzs771b-ghc-edit-distance-0.2.2.1.drv
/gnu/store/qgb1y5730jrx2y959yhjp39dngl5klm9-ghc-hashable-1.2.7.0.drv
/gnu/store/r2j4damy82zsgww6dqrwcdgbgmwdwlkj-ghc-8.6.5.drv
/gnu/store/r3r7ypyh7srk1wncikqm4d3a21rcwzqq-linux-libre-headers-5.4.20.drv
/gnu/store/r9hva1ibv8k4ih7yp7nm2dladag7jg86-binutils-2.34.drv
/gnu/store/s106ms1y7cblycx5az9rjdvx237gbyfw-ghc-uri-encode-1.5.0.5.drv
/gnu/store/vd0jyx7x2lalqdbg7znnksmjpfwibwph-file-5.38.drv
/gnu/store/w118cqvdnccy7982m5994w7yxrhzqxx0-bash-minimal-5.0.16.drv
/gnu/store/wrhd0z1wks9vq0qsgj3pa5j8jlm571v0-ghc-edisoncore-1.3.2.1.drv
/gnu/store/xvxn8hpf0agiy51sapnw9y4d5rmyz4r8-ghc-unordered-containers-0.2.10.0.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

File name
/gnu/store/71bz7nd33anac70csdck2c9mjab8kkp9-agda-2.6.0.1