/gnu/store/qxkkx9h37087vxiwl52r9kkv5dlvs365-
agda-ial-1.5.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/01mqx581dqhw947rzj2x83cb4c3aafq6-
bash-minimal-5.1.8.drv
/gnu/store/0i34znhwb9j19f65lyd302cqzma5bywp-
gcc-10.3.0.drv
/gnu/store/0vmqb9mba28dsj2dylqi7bliqyg7a336-
make-4.3.drv
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-
guile-3.0.7.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-
findutils-4.8.0.drv
/gnu/store/4c4w0im2xgixi96bmil5sfapqni5n3wa-
agda-ial-1.5.0-checkout.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-
gzip-1.10.drv
/gnu/store/76ncc0xr7khrmmhisi2a16bqx2ppvkk2-
sed-4.8.drv
/gnu/store/7i72a65x74mi0krihyjril5qgzi3bwri-
tar-1.34.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-
glibc-utf8-locales-2.33.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-
bzip2-1.0.8.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-
glibc-2.33.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-
xz-5.2.5.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-
grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-
binutils-2.37.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-
gawk-5.1.0.drv
/gnu/store/pd0wj1vy5ah9m9hpkgb5sdmc80cnh5ns-
agda-2.6.2.2.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-
diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-
patch-2.7.6.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-
coreutils-8.32.drv
/gnu/store/vymx4n48dgzh0hmp0isz4yicrh8bqp0a-
file-5.39.drv
/gnu/store/xsiny5v2y64a7npabnrgyh1myvgmz0r1-
ld-wrapper-0.drv
/gnu/store/xwh1h1mdzyh87j87msj9didafwx651i1-
linux-libre-headers-5.10.35.drv
/gnu/store/z1j8pdjj67r4vkkqbmw0f5hgrhla969s-
module-import-compiled.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/amqxp5fkhv2khfwkzq8l4bnj0lkj67l8-
agda-ial-1.5.0