/gnu/store/mz2acwvm4vdsn9jgy1yv1z3b32bf76b2-
cl-prove-1.0.0-1.4f9122b.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/0fygx0sj6ky69hfbwypbgc459d521mdd-
cl-prove-1.0.0-1.4f9122b
","","#f")
],[
Inputs
("
/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-
bash-minimal-5.0.16.drv
","["out"]),
("
/gnu/store/0p9jcgbh3pgpykq6psis56d9kq1sw6dh-
cl-alexandria-1.2.drv
","["out"]),
("
/gnu/store/0rlkgdvqg41qb8mj0v536ppbw729xi38-
prove-1.0.0-1.4f9122b-checkout.drv
","["out"]),
("
/gnu/store/0xpk0dry0rpw74q6ian4wkykrahf6lmn-
cl-net.didierverna.asdf-flv-2.1.drv
","["out"]),
("
/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-
findutils-4.7.0.drv
","["out"]),
("
/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-
grep-3.4.drv
","["out"]),
("
/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-
make-4.3.drv
","["out"]),
("
/gnu/store/4jm68qvym9j569gvz148q5a58sk33ysg-
sbcl-prove-1.0.0-1.4f9122b.drv
","["out"]),
("
/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-
guile-3.0.2.drv
","["out"]),
("
/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/8gdrayz3kmav9siwayyhh4dz8979gzw6-
cl-trivial-gray-streams-0.0.0-1.ebd59b1.drv
","["out"]),
("
/gnu/store/8m1al9b47mkcw9wcsb04zn8xpgbwn3s2-
cl-trivial-backtrace-1.1.0-1.6eb65bd.drv
","["out"]),
("
/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-
binutils-2.34.drv
","["out"]),
("
/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-
xz-5.2.4.drv
","["out"]),
("
/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-
tar-1.32.drv
","["out"]),
("
/gnu/store/b55rwkxrkzvca0vkqjjp25yxy4gy49d0-
cl-ppcre-2.1.1.drv
","["out"]),
("
/gnu/store/bvr3z9bp4n3i0qx2pq7n5hgx3qgn951w-
cl-ansi-text-1.0.0-1.53badf7.drv
","["out"]),
("
/gnu/store/cr9vkdk6j8jw9bvsypx3gkziynal2cg9-
cl-fiveam-1.4.1.drv
","["out"]),
("
/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-
linux-libre-headers-5.4.20.drv
","["out"]),
("
/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-
gcc-7.5.0.drv
","["out"]),
("
/gnu/store/k4y3g3lsq44pvnykn1kdayvawyr0hqlr-
cl-anaphora-0.9.6.drv
","["out"]),
("
/gnu/store/kfzbq64rvxclmhhix2411g6j47j1lfij-
cl-colors-0.0.0-1.8274105.drv
","["out"]),
("
/gnu/store/mm8c5f53d180p1bpxh8rqs0v2j64g2ph-
cl-flexi-streams-1.0.18.drv
","["out"]),
("
/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-
diffutils-3.7.drv
","["out"]),
("
/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-
glibc-2.31.drv
","["out","static"]),
("
/gnu/store/pymps7wkyv9qmq4wdabarshnysi6v63p-
cl-let-plus-0.0.0-1.5f14af6.drv
","["out"]),
("
/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-
file-5.38.drv
","["out"]),
("
/gnu/store/sikzbq75rlpj404j7wwlsqswrcgmhldi-
cl-lift-1.7.1-2.2594160.drv
","["out"]),
("
/gnu/store/vzl8as2ghqvd3b98jgl02f6ig5q163f9-
cl-rt-1990.12.19-1.a6a7503.drv
","["out"]),
("
/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-
glibc-utf8-locales-2.31.drv
","["out"]),
("
/gnu/store/wp4mda07w5xj4h2n60960gblvz5llhpi-
module-import-compiled.drv
","["out"]),
("
/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-
sed-4.8.drv
","["out"]),
("
/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-
gawk-5.0.1.drv
","["out"]),
("
/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-
gzip-1.10.drv
","["out"])
],[
Sources
"
/gnu/store/br26f293ncknnq2a535zk3vf6d2a2qga-
module-import
",
"
/gnu/store/d195m4gvq04mzl9kncknk1rkg9wpg12w-
cl-prove-1.0.0-1.4f9122b-guile-builder
"
],
System
"mips64el-linux",
Builder
"
/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/br26f293ncknnq2a535zk3vf6d2a2qga-
module-import
",
"
/gnu/store/d195m4gvq04mzl9kncknk1rkg9wpg12w-
cl-prove-1.0.0-1.4f9122b-guile-builder
"
],[
Environment variables
("GUILE_LOAD_COMPILED_PATH","
/gnu/store/487bs0zvi5vp3zq0l7by0vw1ypsh65c4-
module-import-compiled
")
("out","
/gnu/store/0fygx0sj6ky69hfbwypbgc459d521mdd-
cl-prove-1.0.0-1.4f9122b
")
]
)