/gnu/store/w55rslby2v3cscn32wyysdp3a3vz2hvq-
coq-coquelicot-3.4.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1fqjlzqv32adrvwiwfca2fwcacn6h5l1-
coq-coquelicot-3.4.1-checkout.drv
/gnu/store/1lr41kwfsss66h37lchbk7icz74yj0p1-
binutils-2.38.drv
/gnu/store/23201bjiyxi0q3fkvd84kc62v1rl0pp0-
xz-5.2.8.drv
/gnu/store/34i09xrz49phnkij2c8k6ps37na6cr74-
make-4.3.drv
/gnu/store/3ds56xg6njpw6hnp2w4xpx4psw5mka5q-
glibc-2.35.drv
/gnu/store/3nk2iml8bzn9bx1cfkjkc0625mrdx7vf-
patch-2.7.6.drv
/gnu/store/4220x2mav9gr6m2hvnnz6fyvgdin5hjq-
linux-libre-headers-5.15.49.drv
/gnu/store/4kjp42vhi9j4snrm4w7liqwjf1260cma-
gzip-1.12.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-
diffutils-3.8.drv
/gnu/store/7fsz44vifdc0ws0amnpwnmig3ra6hb53-
gcc-11.3.0.drv
/gnu/store/82f7nr1h69vb3mz34sjdzqlbi30iw56y-
grep-3.8.drv
/gnu/store/83rd4k9ddh4ka89mk16ffnkchd688gla-
module-import-compiled.drv
/gnu/store/9brich9vky6qz9350a6q48402v81qr30-
coq-8.17.1.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-
guile-3.0.9.drv
/gnu/store/fc83kzqb5ry2f6bdlch1xhp3fkpiwc9p-
bzip2-1.0.8.drv
/gnu/store/fp0mlp7pcq2ihx2jj7n63j9q7h3cpbn5-
coq-mathcomp-1.19.0.drv
/gnu/store/gabi1mjsw981bpyj636flilr5pxqi78c-
file-5.44.drv
/gnu/store/h1ybqwg18by6qmyp4m4dbz9hlcpg2553-
tar-1.34.drv
/gnu/store/hhdg5iknn58y3jwly7gr08j9yr7cv156-
gcc-cross-avr-11.3.0.drv
/gnu/store/i9cdr2n05xmq3lb9x6la216h0bjwn0f9-
autoconf-2.69.drv
/gnu/store/iqvs6zqp707h22da63jj3a36g61kk82q-
ocaml-4.14.1.drv
/gnu/store/ivfqnmrbn3z9n0lhyrffqmzwqa65q295-
coreutils-9.1.drv
/gnu/store/izpszw8zr34k6ph23lmy3cb2dh5mqzss-
avr-libc-2.0.0.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-
glibc-utf8-locales-2.35.drv
/gnu/store/p9igblxhxmkl97ffld4y82z0p7v9ajd2-
sed-4.8.drv
/gnu/store/pwzwbc49435kq89jb3mfk09j4dn1b4rw-
ld-wrapper-0.drv
/gnu/store/q4wbrxsapqv7mn677a922vwylwk2v5if-
which-2.21.drv
/gnu/store/r1sjrj2z2hn1s1ab7iqydk4vhc655gv8-
bash-minimal-5.1.16.drv
/gnu/store/r4r2cvimqzwdl5n523zfgjq23c7pm3bj-
findutils-4.9.0.drv
/gnu/store/rpxwpdlndvx41ia8a4zqpjssvpzchaj4-
gawk-5.2.1.drv
/gnu/store/vmcdkihxgqljdw9i27ghfk2nxfdcbcm7-
automake-1.16.5.drv
/gnu/store/yifl4ci5k52smjvn5i7s6h4ilrkr6y1n-
binutils-cross-avr-2.38.drv
Derivation details
Builder
/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-
guile-3.0.9
/bin/guile
System
x86_64-linux
Build status
Unknown
Outputs
File name
/gnu/store/iy283b23364xrj26w9g3n6h4jyf9jb88-
coq-coquelicot-3.4.1