Build 75c0a622-f579-42ab-b706-e9cc5e741af9 — bordeaux.guix.gnu.org

Derivation
/gnu/store/1llivj7cpybljb1m7w0s5acikipjrcv3-agda-ial-1.5.0-1.ded30c4.drv
Tags
Submitted at
2024-10-28 05:18:26
State
Canceled
Priority
350
All inputs built
No

Inputs

DerivationBuilds
/gnu/store/mrhs395mhy69668gw4x07b0llprzhbdv-linux-libre-headers-5.15.49.drv
/gnu/store/gn4rm3xxhqidffq3bkqlx986009gl554-glibc-2.39.drv
/gnu/store/gn4rm3xxhqidffq3bkqlx986009gl554-glibc-2.39.drv (static)
/gnu/store/7p3mf44cx4k16mpsmmygdp5nrr2scb6w-binutils-2.41.drv
/gnu/store/ygfkcwpcl93prk6vn1bcchy7y2ddalan-gcc-11.4.0.drv
/gnu/store/x4xqq97apmk2rmqa5qvsdanbb19mjxc7-bash-minimal-5.1.16.drv
/gnu/store/0rq12b3nc7qx6snhwvfkmxh5jr9d5l40-grep-3.11.drv
/gnu/store/zmlci2x30hzjhsqprs2bcdbgfarfxm62-guile-3.0.9.drv
/gnu/store/dkcsch5cir118d9ja4jsxj37qcafh7fv-xz-5.4.5.drv
/gnu/store/i6bxh324lfhv9i8srdqa7fa1g44vwksz-coreutils-9.1.drv
/gnu/store/2aq7dr4i7qwlblyhbd9s3wm63ngiifvs-patch-2.7.6.drv
/gnu/store/4g6nfd4429ddp49w4rr2h75r2f1ml241-bzip2-1.0.8.drv
/gnu/store/9bcbqiv639lr1z915j48ddb51r7bqzq1-make-4.4.1.drv
/gnu/store/ffpmrdkdxjw20k3rjcl75a5m1f6v4x5z-sed-4.8.drv
/gnu/store/fvwp5x29rhaw2mgjmi1s4iqxhy9dz2iw-zstd-1.5.2.drv
/gnu/store/gs8vbpyhzljnjnk31q42bdxhmkn50117-file-5.45.drv
/gnu/store/hmnbryph4irnvmxbprxz7cbdgyfcckgd-diffutils-3.10.drv
/gnu/store/kgf9z02wi749pajlgd96x1fnhihgjgn2-findutils-4.9.0.drv
/gnu/store/kibpcib9bqgm9wq9jv7g6g885xikhinb-tar-1.34.drv
/gnu/store/q49nbp6h8rpdjrwflp76kr3nnjjccjhh-gzip-1.13.drv
/gnu/store/v0ncxh79r83mgzz7allxnkrqm57ii2xh-gawk-5.3.0.drv
/gnu/store/vza9yxvq41alxjllzps4yi0hd2yggcnp-ld-wrapper-0.drv
/gnu/store/kjgbgg7hc372g05l588ssr8lq08x1bgi-module-import-compiled.drv
/gnu/store/cl60ah179vdafwznvna7c8887191d39l-ghc-9.2.8.drv
/gnu/store/d21pjh1jfd9q97lzj4bphvi5b56z08ql-agda-ial-1.5.0-1.ded30c4-checkout.drv
/gnu/store/73m6vqacllq6w911dwsjn8b8wbqcfkhw-agda-2.7.0.1.drv