/gnu/store/k68dizpwxry15n88d54h45dmymnxa3dc-agda-2.6.2.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0p8lx0n8dc7by061m4qsv2lgs910szcb-ghc-zlib-0.6.2.3.drv
/gnu/store/10rh0cv47xwy250qxz8dccgi729qc3gv-ghc-8.10.7.drv
/gnu/store/2bslkm9k21l4gayps7fd6mk86zhbikk4-xz-5.2.5.drv
/gnu/store/2c510zs6hcwwyyf7ynwiyd1rq9fza3wc-ghc-async-2.2.4.drv
/gnu/store/2l1rw80dlh9k01dsk0ifialhgi4xf916-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/43zgrik92k2k6w3gy6jwdv3hj9raq0wg-module-import-compiled.drv
/gnu/store/4l3fjxfsi218yxr51bq5bfl9k0wn8sks-linux-libre-headers-5.10.35.drv
/gnu/store/62cpfsvzqcvi9d35q41frd2z71acwckj-ghc-edit-distance-0.2.2.1.drv
/gnu/store/7r0hivl7g5v35vf55caqmgjggz3gb9g0-ghc-strict-0.4.0.1.drv
/gnu/store/866c2xb3nvxf75szxzi7fyd6d64d34cj-ghc-gitrev-1.3.1.drv
/gnu/store/8ar6hqm54ajslcq2w01cbnqjiyri44lz-ghc-hashable-1.3.0.0.drv
/gnu/store/8j7q8265n79q3vw90r06117hjs5lpvvl-gawk-5.1.0.drv
/gnu/store/92iac2fmq88lwd56jnbc660aql0gimgs-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/c35cid23q42msqrdh0b1xyfn0dz00f92-glibc-2.33.drv
/gnu/store/dh4ixllg1cw18kp0rk7saf2938fgz41g-file-5.39.drv
/gnu/store/fmg6qj4lz8wsl400lvf2ba2f9rvkzjih-ghc-monad-control-1.0.3.1.drv
/gnu/store/fql59vb16fynbcdzk2scysxvd625hdjb-guile-3.0.7.drv
/gnu/store/fw2605472g7zq08n9zjrp2nhz1y2gv28-patch-2.7.6.drv
/gnu/store/g9zqrvb8dvgvf3wl4n393w5isljnz0h6-bash-minimal-5.1.8.drv
/gnu/store/gnjrb61kv9ivi5q625amk5vvali9aliv-ghc-boxes-0.1.5.drv
/gnu/store/gnn84d6107185v8xwzzwc5zw270l0qa8-gzip-1.10.drv
/gnu/store/h0rbdfrkb7ld4iz49pw0cfbxw6jazvhm-grep-3.6.drv
/gnu/store/hsg4gg83yk5p3jsj8d7gg92g0n4qfp02-binutils-2.37.drv
/gnu/store/j32m47dj6l4wvrb1hxsg0jy170whpgky-ghc-parallel-3.2.2.0.drv
/gnu/store/j6ash915vv47l1my0jk880zhvfrpmrzq-ghc-aeson-1.5.6.0.drv
/gnu/store/jdxm4llmncsj07lx6m7327pz5y0yislf-diffutils-3.8.drv
/gnu/store/k1ca8wpx28v2c3yl8y6r3jzykxqwbxpv-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/k30kyii283jzx9j37cdhrp3kyh6rifvi-Agda-2.6.2.1.tar.gz.drv
/gnu/store/k4gxyk72f64fbpadgzjxxhdniqv73z8r-ghc-uri-encode-1.5.0.7.drv
/gnu/store/k5dvjqna9fydfg8ch0iag1n7aps49m74-coreutils-8.32.drv
/gnu/store/kfafs713bkrh2fsyl7bxw2vpxgv6jsq9-make-4.3.drv
/gnu/store/kikgv9fq2vd6kaldixwxhlvwq3gx18m1-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/ncv57sxdvcgskvpbi3gxc6j52r94c88x-sed-4.8.drv
/gnu/store/pcblj1y5vq8y30pnqsghm6pwq2q9cn9c-ghc-equivalence-0.3.5.drv
/gnu/store/q51bcp7x185pc26dg4vjm65fy27mlnr2-ld-wrapper-0.drv
/gnu/store/qd2gfhbis9rl4qklps519ybpcygxh1k2-tar-1.34.drv
/gnu/store/qsb1yr4h8qqnws219dc5dqlyngwp98gn-ghc-happy-1.20.0.drv
/gnu/store/r73dwcxvj8yvcnffmcg12i4nmwmf0h6c-findutils-4.8.0.drv
/gnu/store/rfm68jj4ppwryvc7xijvm0f4xlhzpy7d-ghc-split-0.2.3.4.drv
/gnu/store/rh07272jnhm65ch1pdf7wjksgr89bpgw-ghc-hashtables-1.2.4.1.drv
/gnu/store/v81npcbjvcfhs0f7ir5531zk5ycvjvhh-glibc-utf8-locales-2.33.drv
/gnu/store/x2qp6avngryrr3jp7qksl7i78s31l1wj-bzip2-1.0.8.drv
/gnu/store/x7m9lm2vm2nxki7cja71yx53nc1wfrl7-ghc-data-hash-0.2.0.1.drv
/gnu/store/xdqpq1q3zqmcpmxns7jbyiycqp34nqds-gcc-10.3.0.drv
/gnu/store/yx1l2dambvy6kj3b6rxa0gfahwz8lfaq-ghc-blaze-html-0.9.1.2.drv
/gnu/store/zph32kvd6qr1g6bwssd34nszcd4j5lgz-ghc-alex-3.2.6.drv

Derivation details

Builder/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/h5vfz12pwhbshqirlfzz6a1161lzjl4g-agda-2.6.2.1
/gnu/store/5isrmjq7xcll80djyy93n8hjk11zpl16-agda-2.6.2.1-static