/gnu/store/xyqhhn31rkax3yjr2iaip6gkvsbsrlld-
cl-prove-1.0.0-1.4f9122b.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1crlk7qi5fllbpa10cw77m8s4q3r3543-
glibc-2.31.drv
/gnu/store/1vbn938w5lx0pcqi941whmljad23b81j-
prove-1.0.0-1.4f9122b-checkout.drv
/gnu/store/2icibsd8nag0njp5z6jnfxzyjxjx7xm7-
cl-ppcre-2.1.1.drv
/gnu/store/3z468xfyh08qry2zcmwwd1mgwd29ws8s-
gcc-7.5.0.drv
/gnu/store/43haykfzwh65dalq7rrnjf64lpmpkkma-
tar-1.32.drv
/gnu/store/4akwyrglbk73angwvf5m0giy9gpvjsjv-
cl-colors-0.0.0-1.8274105.drv
/gnu/store/50g0fs84w64h94rdfrvv5qz618wa7af7-
cl-net.didierverna.asdf-flv-2.1.drv
/gnu/store/6r7x6v3h8r03zpdhwiqajskkw215i57z-
file-5.38.drv
/gnu/store/74cvbxvwiydz3w9kwc6nab7pxx2bjmk2-
patch-2.7.6.drv
/gnu/store/8h76s8hfwhg74kqljgzndv6mficy4gcc-
cl-lift-1.7.1-1.7d49a66.drv
/gnu/store/9y3406sxllzy9fcqkdn64i3ac9l145sc-
sed-4.8.drv
/gnu/store/akvcs7idpv1397p2cn9s02wvnjbiiwdc-
cl-trivial-backtrace-0.0.0-1.ca81c01.drv
/gnu/store/cz0v63x2gpdiai7136q5alvk1zsb26c4-
guile-3.0.2.drv
/gnu/store/dblnpyxkwpmxl4ccvx947pfs6j3yk0z4-
cl-flexi-streams-1.0.18.drv
/gnu/store/fbbbfvmcqza3scixafyl1lx1qhk7rfm8-
xz-5.2.4.drv
/gnu/store/g4jmhzx1q25hi38mkc06gwiqwjlcb57h-
binutils-2.34.drv
/gnu/store/h3kkpy6crx5hhap8f7z0lh3yji2kiix2-
diffutils-3.7.drv
/gnu/store/hmcrixv37py2igm74cjk6m1h15k2aqy8-
glibc-utf8-locales-2.31.drv
/gnu/store/hsapgdpjwg6xzkabin7qj1xksn92pix3-
coreutils-8.32.drv
/gnu/store/hz8q2fks2xvvfq25bf5ja872cv4xv9lg-
cl-rt-1990.12.19-1.a6a7503.drv
/gnu/store/i316pspylf3jqpw9gk66a5nanipz546h-
cl-let-plus-0.0.0-1.5f14af6.drv
/gnu/store/i4dml5ajqfdkj0dbkm9mwgm450jmydnn-
cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
/gnu/store/iyjb23hdrjhqz5scz0ngialhziyiigc4-
gzip-1.10.drv
/gnu/store/km9jlmjsx353p1wl0vm6avix2mmbbf0d-
cl-anaphora-0.9.6.drv
/gnu/store/kyq8hg15kh10s942rzir4sc1zyglyr3l-
gawk-5.0.1.drv
/gnu/store/lwkl5k4a378qk6g3a3d2pg4jc1cqwb1v-
cl-fiveam-1.4.1.drv
/gnu/store/lxkxg2m6rdv3sqh1pp590q9f9ncl3994-
bzip2-1.0.8.drv
/gnu/store/pq6r2k46am8hmk9a5i4bmj45qfd34rdm-
module-import-compiled.drv
/gnu/store/qrkhwgiy212mgs44xklvf019b5nx0sd0-
cl-ansi-text-1.0.0-1.53badf7.drv
/gnu/store/qsh2xjsb3ab7wmniw7by4p60hn7j6bb6-
make-4.3.drv
/gnu/store/ragiym08hgs5lz4hywagbv7g1z39wnyr-
ld-wrapper-0.drv
/gnu/store/rqsc1m5sjrsrxhf9bdhbmqb5w2qf3nda-
sbcl-prove-1.0.0-1.4f9122b.drv
/gnu/store/v2j9ya5x56j2kisyjwiig0id7w25hh6c-
bash-minimal-5.0.16.drv
/gnu/store/vxkhg3wqavcswnwhqbk5h9d3b66l9afr-
findutils-4.7.0.drv
/gnu/store/yi58264yrj5lc8ljf3r5v5yjgsvyfmsl-
grep-3.4.drv
/gnu/store/zqadiils0f4hhgd2vkmkxmplajjizcgy-
linux-libre-headers-5.4.20.drv
/gnu/store/zw9dlplsfblzfswiidcvdmrwkh95i5j6-
cl-alexandria-1.2.drv
Derivation details
Builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile
System
aarch64-linux
Build status
Unknown
Outputs
File name
/gnu/store/ngap5nzm0wyqc4g0lzrr9h0jqfkvf0yb-
cl-prove-1.0.0-1.4f9122b