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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/012ki30s2rixrvsgcr4k40156w1hiyfa-patch-2.7.6.drv
/gnu/store/0yavhwz1q2xpznkkcnbnyhjwkyaws0pb-findutils-4.8.0.drv
/gnu/store/19n176g84p1viyixfxyh3ddk01vmws8q-ld-wrapper-0.drv
/gnu/store/1dqa6icd3jaa31r7fzhv7zpf2xn9vwcg-make-4.3.drv
/gnu/store/1gmf0l547rv7ikzrbr5kgngyskbl8shh-file-5.39.drv
/gnu/store/2g61cw3jrsdyaw9z765a849770scl879-ghc-boxes-0.1.5.drv
/gnu/store/30v72y5dc7qvx6p2ir3akd4hkfyfh0gc-bzip2-1.0.8.drv
/gnu/store/3l3y1chjql142w4n60qn1a67d3vcjlkm-ghc-gitrev-1.3.1.drv
/gnu/store/5hxr42wslvpc976i0914ggla0hrwfq1n-ghc-data-hash-0.2.0.1.drv
/gnu/store/5q4963cb7vyiq8daa5rbhnrzg3ahyz7j-binutils-2.37.drv
/gnu/store/6cbahsgnh2dcinv9g41sll6jav1s9is1-ghc-async-2.2.4.drv
/gnu/store/6pygjr3w8wfib232201r2dfd9ybzchvq-ghc-uri-encode-1.5.0.7.drv
/gnu/store/6zhanwpbkyjpsn9xcyi3pjgvl9yf778i-ghc-hashable-1.3.0.0.drv
/gnu/store/76fv335awpz5c1b1pfz0jzvznpagvjsl-diffutils-3.8.drv
/gnu/store/7s7fpsa5rph2bz95f4svdyix758ziycl-sed-4.8.drv
/gnu/store/a1kq5dd8q0icyr70m63d0ariz6gpvcxp-ghc-aeson-1.5.6.0.drv
/gnu/store/acicd4d531p7wak9a8vk5wsrdyp36b22-glibc-2.33.drv
/gnu/store/ap6095w5g0hxg0468vfnync5gndjpzdi-ghc-alex-3.2.6.drv
/gnu/store/ayl5f78c9fsp9vmqsg1wkf8al9491pi2-linux-libre-headers-5.10.35.drv
/gnu/store/b3vil0kn9ffcisjxvq8w9zgvkkkqgv0k-guile-3.0.7.drv
/gnu/store/bzi9lw4xcb5ck4w311k0s1wjhz2nw7h8-ghc-happy-1.20.0.drv
/gnu/store/c5fk3qmdd2clv567gp6apw055bgk5mds-coreutils-8.32.drv
/gnu/store/c9j9i1lab00rj02z57j0gyl53fr8ihvm-module-import-compiled.drv
/gnu/store/d3s5p465yg9a6dswj8wxfjx0l22kjq3f-ghc-strict-0.4.0.1.drv
/gnu/store/dqlqicv9sgwdz5msc0p00irq3lsgml67-ghc-split-0.2.3.4.drv
/gnu/store/grxhfx4afmxa4azxvn2y250dh49hmqaq-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/hqik6vfbq0s5cv2kvk3dwrscgc9851kk-gcc-10.3.0.drv
/gnu/store/jhn9i9gbwzjbw5p2855hdp9nvli6z28h-ghc-blaze-html-0.9.1.2.drv
/gnu/store/jx3d5gz9kmfy8iwzkxrvh6gy3zmzr3kq-ghc-8.10.7.drv
/gnu/store/kn8h6ybwd3c8ynnvjzbxsak68jymdz15-bash-minimal-5.1.8.drv
/gnu/store/kxghwpqdlv126a366c2vwd6xw2vjd7y4-ghc-edit-distance-0.2.2.1.drv
/gnu/store/lil6aafjj13n0ky5f57cyc4bdgdb5lp3-glibc-utf8-locales-2.33.drv
/gnu/store/m8hg46ppbwqff13wgpn439nij4i45qh6-tar-1.34.drv
/gnu/store/n4pnbby3vsai06syh9lv48147g6bhi5m-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/n7dw9s8kg2kr5ip5dr9hvfqn9hhjnm1k-xz-5.2.5.drv
/gnu/store/p4801g78jz7x95rimi9f22qirrj83whd-gzip-1.10.drv
/gnu/store/p7rslwsld885gqx6wwlz8ram9f3m6gjw-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/pxvrjxffkq07p27p0cdkfnca9ysgvy97-Agda-2.6.2.1.tar.gz.drv
/gnu/store/qlv4l45lnjii96x3pd6wfgks36y0580f-grep-3.6.drv
/gnu/store/r5l14crp9dpbdqjsag6bqmg8i45lf27n-gawk-5.1.0.drv
/gnu/store/s7apxbsgzbd5g315yx5dzclqz92si19v-ghc-equivalence-0.3.5.drv
/gnu/store/v3zihscbbz59v2w1as83jn6ai845h9zw-ghc-hashtables-1.2.4.1.drv
/gnu/store/vsqi5bwapl5z28iq018h4qh008rjhgpl-ghc-zlib-0.6.2.3.drv
/gnu/store/wh0r588y538mhrny5hdqxwf8i1k3x1rw-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/xfcvz8qk5hb2z6k8jqwl1ch9l7ma5ssq-ghc-monad-control-1.0.3.1.drv
/gnu/store/zsykrg1ird22yixhki321x5xwp9xp0s7-ghc-parallel-3.2.2.0.drv

Derivation details

Builder/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
Systempowerpc-linux

Build status

Unknown

Outputs

File name
/gnu/store/1927y9khpbd5d0ls5sa7ij9w242pyahg-agda-2.6.2.1
/gnu/store/9jmkkk99ql1fvvc8ic5d9cq35rbbzayb-agda-2.6.2.1-static