/gnu/store/003vhr9izsn2ajsfavfpqh6k99bly3sa-coq-ide-server-8.15.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1249y56nhn444kacf2ldi27r2jcwwlpz-sed-4.8.drv
/gnu/store/43wfv651zmmkxcvrzwk6k16yc6rj5r2g-glibc-2.33.drv
/gnu/store/5c1qrk6vvsxz35ff7iji5bgj8hndx6ly-module-import-compiled.drv
/gnu/store/653hl85zw59z3xwc465w3762j413xbqj-file-5.39.drv
/gnu/store/667kgmhdcwgif6jgk6ix813abgdr33ir-dune-3.2.0.drv
/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-glibc-utf8-locales-2.33.drv
/gnu/store/6hndagfhglwgsx1fic44lszkgr9gxfnv-gzip-1.10.drv
/gnu/store/8swld43b04hlqrnf4gjcwxf51y3n20rf-gawk-5.1.0.drv
/gnu/store/8yq38gvjv5cc5l46fw6n4acn8csgy1lj-ocaml-result-1.5.drv
/gnu/store/b1yhf0sx5vy98n2rxhzikxfnsaz599r7-findutils-4.8.0.drv
/gnu/store/bn06g3mbzxxv99c05mkhk8gs7w0axcjb-make-4.3.drv
/gnu/store/bngjs6y282gbayp523x6ykrmj5wznfxg-xz-5.2.5.drv
/gnu/store/bsi0cph820rg55i6kl9s3hssdlq5w82r-coreutils-8.32.drv
/gnu/store/bwvcn7p6kk4c6xjh5rw9li9r8slvibdw-tar-1.34.drv
/gnu/store/bzz9k79rj2w55rrhlakhn26r8f3b2sjm-coq-core-8.15.1-checkout.drv
/gnu/store/dba14k4c0pzg2iwkp136l8byzdlsx7n3-coq-stdlib-8.15.1.drv
/gnu/store/dgcw4lx967qxf57nhs7nimwa0jqwaywi-coq-core-8.15.1.drv
/gnu/store/f4g3zhwwyg45h5i5xkr7pg0h7m6vhpya-ld-wrapper-0.drv
/gnu/store/g0nldi2fwhlac0l9jw9qwjd63vj141br-ocaml-csexp-1.5.1.drv
/gnu/store/g38i4zb7b5mxzkv1w9iwhjy8xkkcrkq0-coq-8.15.1.drv
/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-guile-3.0.7.drv
/gnu/store/i9szryaf0kzlz1x0kcx9sv0ybd0nwka5-gcc-10.3.0.drv
/gnu/store/j1mxk644qfx2ax6rjd2kca7k2idqqj6f-ocaml-zarith-1.12.drv
/gnu/store/jrfavwngk0vx0n4lxa0j6wg5z98kb7g8-bzip2-1.0.8.drv
/gnu/store/kynx95xn78h1rnks000ibb45r2an523f-ocaml-findlib-1.9.3.drv
/gnu/store/p33wdi5nqmyfh7kx5yss770g8gccv8hl-linux-libre-headers-5.10.35.drv
/gnu/store/pxhw1w3ja39aznkadjvamzi2xnspky95-patch-2.7.6.drv
/gnu/store/pywhd2va5cg0yziag6ccr15iq27336dv-ocaml-4.14.0.drv
/gnu/store/qc0nkyfdbpd2zbvmlfm8if7vvd0vkv8v-diffutils-3.8.drv
/gnu/store/vgmikhl0w3kph8z7bhcrh279qbq03rcc-gmp-6.2.1.drv
/gnu/store/wn3yvn8vq0phnxdhwv3zvk5m9kk29nf7-binutils-2.37.drv
/gnu/store/wyf7rgzsahmjmag446mxbiji8bk15rj5-dune-configurator-3.2.0.drv
/gnu/store/xskbq2rj7phn3d1sbwvx57qbgcy8r06l-bash-minimal-5.1.8.drv
/gnu/store/z4cnkj6zn8i055wn4k56fs4rz59dcfdj-grep-3.6.drv

Derivation details

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

Build status

Unknown

Outputs

File name
/gnu/store/5n4fi4sfgj6ik7dggdb6vrwdxsj1iwzj-coq-ide-server-8.15.1