/gnu/store/1m1igahni6jbmllbb251i3ffqxmdahgx-
coq-interval-4.4.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0s1vasdh8y51c33axn19qysybzhb4na2-
sed-4.8.drv
/gnu/store/26kqgw452zg34snw107xbhdb26m79l1i-
binutils-2.37.drv
/gnu/store/2z65lbdg65jw1dmj2jg0xc7m3j11z71a-
make-4.3.drv
/gnu/store/3qaj00bq9h3wnpm5nxh02zfl0sg9vmqc-
bash-minimal-5.1.8.drv
/gnu/store/4bpjm0h39iamwyvaf4rl6w3rcnkiw35p-
coq-stdlib-8.15.2.drv
/gnu/store/5anj7g79wlmj02cphd9inpp362gy4dlf-
coreutils-8.32.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-
glibc-utf8-locales-2.33.drv
/gnu/store/6npl5ggr6mk2arvxzwfrxsm5siv3sv8f-
autoconf-2.69.drv
/gnu/store/6yag7fvdd9gx5xfjfhq0npnffmsyparh-
ocaml-4.14.0.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-
guile-3.0.7.drv
/gnu/store/7jsr6blzxamcgscchpcx21b1q8782bdy-
gcc-10.3.0.drv
/gnu/store/7mlaiqfmrlc8rkps2xn801m4773azcdg-
glibc-2.33.drv
/gnu/store/7nm28wn1xqamf7bsihp8zx3q71bvqmcg-
diffutils-3.8.drv
/gnu/store/7z846ig2lv7q910ayrr3qq2hkbdqzhvj-
file-5.39.drv
/gnu/store/7zizy7d6qkjhkj5036yvnx8gbkjfqvxw-
gzip-1.10.drv
/gnu/store/8j2dp6f46b1j5kzrmdmbiw575kgfphjm-
module-import-compiled.drv
/gnu/store/dscbn6zbxr3sj2x4x4zgmhynqmiak57d-
coq-mathcomp-1.14.0.drv
/gnu/store/f9aj2hf8n28hvqng2fb70srjpirhfzs0-
coq-8.15.2.drv
/gnu/store/fjzcmfq2hdvla2zr69izcxzaw4g0drl6-
grep-3.6.drv
/gnu/store/gmrja3sa2f15hin1kmb1wc6wkx9kgn6p-
coq-flocq-4.0.0.drv
/gnu/store/h4wyki3227vbf834xdlhljb6jf2spf48-
bzip2-1.0.8.drv
/gnu/store/hzdq8mqkvfzfsdbc13qma1fdf49j3r7s-
linux-libre-headers-5.10.35.drv
/gnu/store/iq12wsp7qfjgz95jidyv1rg8sb1v058i-
coq-bignums-8.15.0.drv
/gnu/store/iszkn8ia4lsgwgdzhrlp2hbfrw7ygz4d-
which-2.21.drv
/gnu/store/l9wwj7algkcgdqvypspa6bi7vnrz3i9n-
coq-core-8.15.2.drv
/gnu/store/mk2jl72795jfl2j4zy0nmmwhwsx971v1-
tar-1.34.drv
/gnu/store/n992xvxgasvrkl0zhia7i77dx7rf1ffq-
ocaml-zarith-1.12.drv
/gnu/store/p3lpi8hs8f6b2gif4jzcrxf1lvxd001m-
gawk-5.1.0.drv
/gnu/store/q1jdjw959w6kkrlzajnss9x74kxjbbvq-
ld-wrapper-0.drv
/gnu/store/q7z31nxv8rg77iq351sq929bfdrdhh28-
patch-2.7.6.drv
/gnu/store/sr9j2m037xk1kzxjnxrp2g5wwihvc4s0-
coq-coquelicot-3.2.0.drv
/gnu/store/v0dgpzvxhg0v04g22ally0f0y8bzkhd2-
automake-1.16.3.drv
/gnu/store/x5m5vx3cln2v98q7rq39j11jfajz3jq6-
coq-interval-4.4.0-checkout.drv
/gnu/store/xvpz6bnmqirf61f0ps0gvxzh22xd2ps3-
findutils-4.8.0.drv
/gnu/store/yfcyyhjmw7snvshr1pfpk7pz6l0vmbpb-
xz-5.2.5.drv
Derivation details
Builder
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile
System
x86_64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xdafxawnpy7c124wxzzy820jhxzpshay-
coq-interval-4.4.0