/gnu/store/14n2q76v6vw087fn5n2p03dqyf2gr7mv-coq-8.10.2.drv

Inputs

File name
/gnu/store/09hhdxcfrm56afpglx3ff2dj4ibfl92x-sed-4.7.drv
/gnu/store/0afbxr7962z9ci6kw840n088qsmyz8lr-guile-2.2.6.drv
/gnu/store/284dp81nvvfxam22k061ilg501m88cf6-xz-5.2.4.drv
/gnu/store/3yq18z7rnid2alg6yvmks31snvcfk07y-bzip2-1.0.6.drv
/gnu/store/43l343yjl7cjxyj73r2lx6vbj5dysp03-findutils-4.6.0.drv
/gnu/store/74qzf3hyhyn122aqj501y8q6yxr2ig3y-grep-3.3.drv
/gnu/store/7lf7bvhi3rf5dxj1g2fjszbllag9274y-ocaml-cairo2-0.6.1.drv
/gnu/store/7my38s1rvmr3mxg621sp9qv2pd9ci7jj-module-import-compiled.drv
/gnu/store/7z8dz67gcl3fdar4g23h2xdch4cqs7gq-python2-2.7.16.drv
/gnu/store/95i7q1rncd4yzpr9aq7jvm69y5xskm5a-ocaml-num-1.1.drv
/gnu/store/96dshs734kp0rsbvpmaafrzp13qjz2h7-make-4.2.1.drv
/gnu/store/aysg1nlkqn2700d67qgrylydw3qnf95p-diffutils-3.7.drv
/gnu/store/c2a6hihynamxd1wza7lvj2xbwns6dwnz-ocaml-findlib-1.8.1.drv
/gnu/store/f4syxfmzwjylqsk6szg5j1527zm4kp25-coq-8.10.2-checkout.drv
/gnu/store/f95v3iba9anh2hcp7y7z5pvqwnvp98y9-glibc-2.29.drv
/gnu/store/h1q6v67639m2yg48zaj7cqkhx54a708q-lablgtk-3.0.beta8.drv
/gnu/store/haldc2kjxign0zxjfi7a82wpg72r1hnb-file-5.33.drv
/gnu/store/if15xm31gp7ma94z3rpymgn1zzjqwk42-gawk-5.0.1.drv
/gnu/store/ik44dahmffhlvdfh3w1xp7jvvqw1i4j6-coreutils-8.31.drv
/gnu/store/iqa54p4nykamjign32rp43gvgy8125fj-linux-libre-headers-4.19.56.drv
/gnu/store/kp57348wa3yxvvvbni9hi08x7swc6x70-glibc-utf8-locales-2.29.drv
/gnu/store/kqamikiahdnkzbm8j7x545875763rr58-patch-2.7.6.drv
/gnu/store/n2fs948jz05cqj4vysh2a4xf7a37ln2y-binutils-2.32.drv
/gnu/store/nafq00a4abh4dfnwva498d44r7799zbx-camlp5-7.07.drv
/gnu/store/nzjq794w7vv5g2ns3mifn3d26sqs9asj-gcc-7.4.0.drv
/gnu/store/pfk0m2v9kbq9gnyql1a987m800zk5mgw-tar-1.32.drv
/gnu/store/qx04aqiihmv07qdcqjy4afi2iq1bg6p0-bash-minimal-5.0.7.drv
/gnu/store/rd7111w4asmb0jm7cr7pq2hnc3mkpffn-ld-wrapper-0.drv
/gnu/store/s46g42f3zv5sxzimqvzhmzc0krxmh788-gzip-1.10.drv
/gnu/store/w114i7mg7wk3x8m7fn9fgf8xlflgv0id-ocaml-ounit-2.0.8.drv
/gnu/store/w5bzlskhx9gsrvzyd58x10h76b10ar8k-ocaml-4.07.1.drv
/gnu/store/yizbbx6iyxp6677xirgynzsqdvwzdp88-module-import.drv

Derivation details

Builder/gnu/store/cccin2fkgdw199ksp0g1gppis0dgzp8b-guile-2.2.6/bin/guile
Systemaarch64-linux

Build status

Unknown