Comparing derivations

Outputs

	Name	Path	Hash algorithm	Hash	Recursive
	out	/gnu/store/q6r2r96x77i0wqzjirb4vq8613ysdijq-coq-8.11.2	null	null	#f
	ide	/gnu/store/w42n6b1l6kbki0132w0qiw7vg8gw72pi-coq-8.11.2-ide	null	null	#f
	out	/gnu/store/89j4pzdlpr434yf8sqyp95hjnrpxf6xw-coq-8.11.2	null	null	#f
	ide	/gnu/store/9lm13jxl5snxdzaz3ddkdvdg309l4gpg-coq-8.11.2-ide	null	null	#f

Inputs

	Derivation	Outputs
	/gnu/store/5dxhfncrxri3bp8ycdmx4piglij46iff-ocaml-num-1.1.drv	out
	/gnu/store/f88hw90qqqc8qfym56g88xgilhab5p0y-ocaml-findlib-1.8.1.drv	out
	/gnu/store/gan6qv134fa2y30ghw7ih6wbpg3d55db-camlp5-7.13.drv	out
	/gnu/store/8fl6l26690alhb8skvn6m8if5281khn1-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/0dgcag57jc1w8j3nmil4np35jwa53ffh-lablgtk-3.1.1.drv	out
	/gnu/store/sd8fqyxxbr2bi5nw5cqkvsra7sfvrxwx-ocaml-ounit-2.0.8.drv	out
	/gnu/store/zjr22mswi5h1jj9nmzkc21imr3gvczzw-ocaml-4.11.1.drv	out
	/gnu/store/nakckq8k89c8mf9n2r6cxs1dd36pmhmj-ocaml-findlib-1.8.1.drv	out
	/gnu/store/50zlymzcvdvvz6rrcf6c1acrlkscbgfs-ocaml-num-1.1.drv	out
	/gnu/store/ggxjkh9k64zsgpda57x3lghw78ph0nf4-ocaml-cairo2-0.6.1.drv	out
	/gnu/store/3q2a7hamcfa7819csa19lmszf86mi2nb-ocaml-ounit-2.0.8.drv	out
	/gnu/store/z226ldx23hqiqshmzpqdld9zrn3aym5a-camlp5-7.13.drv	out
	/gnu/store/chw4i6w5jx8b9095q488wlk1zb2lap1j-ocaml-4.11.1.drv	out
	/gnu/store/9pbscdplhchisb57akgffkgqm7a0mypj-lablgtk-3.1.1.drv	out

Common inputs are omitted.

Sources

	Derivation
	/gnu/store/ik804fpzp6xcbjai7v24mainr1pnj2vc-coq-8.11.2-guile-builder
	/gnu/store/6043a24q67rcb3rrbrwfxxnmr52bdjnv-coq-8.11.2-guile-builder
Common	/gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import

System

mips64el-linux

Builder and arguments

	Builder	Arguments
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/ik804fpzp6xcbjai7v24mainr1pnj2vc-coq-8.11.2-guile-builder
	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile	--no-auto-compile -L /gnu/store/wbpp9qwzynxynxw8fipz5i50djl5k9fx-module-import /gnu/store/6043a24q67rcb3rrbrwfxxnmr52bdjnv-coq-8.11.2-guile-builder

Environment variables

Name
GUILE_LOAD_COMPILED_PATH	/gnu/store/rgfi6lqhz9f5d5xvfc410v4zriijz9z5-module-import-compiled
ide	/gnu/store/w42n6b1l6kbki0132w0qiw7vg8gw72pi-coq-8.11.2-ide
	/gnu/store/9lm13jxl5snxdzaz3ddkdvdg309l4gpg-coq-8.11.2-ide
out	/gnu/store/q6r2r96x77i0wqzjirb4vq8613ysdijq-coq-8.11.2
	/gnu/store/89j4pzdlpr434yf8sqyp95hjnrpxf6xw-coq-8.11.2