/gnu/store/qjdrxrxbhvhs87mzcl5fl9fshz2xrawb-
coq-gappa-1.4.4.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/04d07abd2ziwx5nqfqb91capdw29giwd-
binutils-2.34.drv
/gnu/store/0kq90bnmk974wa4zr647ikady8yrsalq-
grep-3.4.drv
/gnu/store/25y2hc00ysn6fw9pf64abbv1nki0mcbw-
which-2.21.drv
/gnu/store/4i1x3ndlbj7dncaa2g7s2gxibbms1l1x-
gmp-6.2.0.drv
/gnu/store/4sqhcrmv90v1haas06i13j5bvp9ww4if-
coq-8.11.2.drv
/gnu/store/51cv84jyyrwpfakdn6214bs6126mfv48-
bash-minimal-5.0.16.drv
/gnu/store/568sqp7a80h21brp9yvrgrxvqgws8qvl-
linux-libre-headers-5.4.20.drv
/gnu/store/67dj4jxdk3xkjygdc6rkcqp1ar6p1fz8-
mpfr-4.0.2.drv
/gnu/store/6a8q45hx0pf714drwyvk937mj1i49yfj-
glibc-cross-aarch64-linux-gnu-2.31.drv
/gnu/store/6ylc4hn3rrpxnk61xhbg7rljh0jlx1vr-
binutils-cross-aarch64-linux-gnu-2.34.drv
/gnu/store/82q18pcsqfi6rdkwa3hmwqjhc9l4wrii-
ld-wrapper-0.drv
/gnu/store/8q5zfqdinkyskn8bbplzk3l2hq8iv78m-
gcc-7.5.0.drv
/gnu/store/8r3pjwhyj6ckw5kk4p9pjin9vgj5ykim-
autoconf-2.69.drv
/gnu/store/9gdhq5d2mmgcv5cxhy01sylahjfjn0z4-
bison-3.5.3.drv
/gnu/store/a9zy68rz4z5in395r4mmybhmn9gfvx1h-
gzip-1.10.drv
/gnu/store/b0syji3mdp78sz1a4q8s3mnd8hdbkp0h-
guile-3.0.2.drv
/gnu/store/byhdsb31dnkhd1cs72dzi0nikl40y9rx-
file-5.38.drv
/gnu/store/d9lv5v2xkw6cv5v58gy0b66axxy2vfxj-
coq-flocq-3.3.1.drv
/gnu/store/fvsbvqfxj167ny0hya0vqbg47i8qvm8a-
coq-gappa-1.4.4-checkout.drv
/gnu/store/gmmzbkxap2idq01kiwi805dyyq6sp1v5-
linux-libre-headers-cross-aarch64-linux-gnu-5.4.20.drv
/gnu/store/gwbynq1iiijmcv8z1a2c4dmlbq5i6idd-
findutils-4.7.0.drv
/gnu/store/h36j9szfbm8kaf6mar1gajnjs2ys47ai-
automake-1.16.2.drv
/gnu/store/h48b5jqg0pxb6y3ik6zwm393q7iraq0q-
module-import-compiled.drv
/gnu/store/k43m6gi372wzwz0xir1axms8vp2jyv1c-
glibc-2.31.drv
/gnu/store/k64lfvxzlz53bbxsbz1wzr9z6d7cxg5w-
coreutils-8.32.drv
/gnu/store/kak8wvrxxgl686jxf88vrpw0fbblnvwc-
gawk-5.0.1.drv
/gnu/store/lcl75dgs1lh95dkv29pzii12j70gm74k-
gcc-cross-aarch64-linux-gnu-7.5.0.drv
/gnu/store/lmyz9p3w69b29q5bbfa3xvk9cpw5z4an-
glibc-utf8-locales-2.31.drv
/gnu/store/ma9y2wxpah1hp9ay408x4w8pc77k8cgf-
xz-5.2.4.drv
/gnu/store/mvbgjnj3a9si5p2bxfa5h4zq0hxfw2iy-
camlp5-7.13.drv
/gnu/store/ndw95kvvp1r9nk4wgrbaym3l6ndbbyvn-
tar-1.32.drv
/gnu/store/njs5phyg1c511hd01fjwa7jlq4vqmxxd-
diffutils-3.7.drv
/gnu/store/nkga7plvc5f0csfkrypr1kpgw6yg37az-
bzip2-1.0.8.drv
/gnu/store/qcnzwhpcfyk94z2ck2k5xfyh9gm1490s-
patch-2.7.6.drv
/gnu/store/r4vxd8xsq56y7ygbpb0dfn25k7rid8rg-
sed-4.8.drv
/gnu/store/r96vhzyliwqspf5idzq3m5k56cclxzg7-
m4-1.4.18.drv
/gnu/store/s5irmdhaqfpa6932c2ldrp5gyycncara-
flex-2.6.4.drv
/gnu/store/v8nxwbdz9f2qynry0jysrj4gcibx0kdr-
make-4.3.drv
/gnu/store/vdcbgx2cvbdycwjwhvkk8hh53a6p2h7z-
ocaml-4.11.1.drv
/gnu/store/zfbr7x8pmgqzxjdf6lwrs78i9wgqyc9d-
boost-1.72.0.drv
Derivation details
Builder
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-
guile-3.0.2
/bin/guile
System
x86_64-linux
Build status
Unknown
Outputs
File name
/gnu/store/4wf8w2aqqmwixkgaly4ad1f1p0fr53iz-
coq-gappa-1.4.4