/gnu/store/6l56bya98k39m1617i82y8k5xnykq2jl-
agda-cubical-0.7.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/116z0avqwn2sdwzc1ni68j3csglmj862-
agda-cubical-0.7-checkout.drv
/gnu/store/2n7286mwykrb5hw5c2yx1grdg7bakf15-
linux-libre-headers-6.12.17.drv
/gnu/store/6lr2rabz77mligviy3hiibrcs1qzcy5b-
ghc-9.2.8.drv
/gnu/store/6m0yk0mlficvr8r7y6c09wfwlkqprkgn-
bzip2-1.0.8.drv
/gnu/store/78nssz8s6hrrmbgqk1aziwh58p71s8x5-
guile-3.0.9.drv
/gnu/store/7k3wqdpygyya75nx171ga8qyggfa37al-
patch-2.7.6.drv
/gnu/store/87fjja2l08qxcd3v9izf99v1wdllj3pp-
sed-4.9.drv
/gnu/store/96g9wxvr35z4p940s6ibgl81xrkdc264-
ld-wrapper-0.drv
/gnu/store/a5bz5cq5ip96kr3y4rh3dc47043qmkr0-
xz-5.4.5.drv
/gnu/store/av2xsm7n8jwdr22pwzx8y09mmarr1kkd-
gcc-14.3.0.drv
/gnu/store/b3mwgavdqaj90saaw2zq3px0v3apammi-
glibc-2.41.drv
/gnu/store/d858gl33zqj1ifahynarj8xpy7qad1bs-
grep-3.11.drv
/gnu/store/fs3nzmx9bdf8kdnp58v802yai6zavwzv-
make-4.4.1.drv
/gnu/store/fv0kg57x1270ffsp984z9g0nwscjhmlr-
binutils-2.44.drv
/gnu/store/fyr5z6hwlr4cwqa443kr4vqm73js4pfc-
tar-1.35.drv
/gnu/store/ir65l5b7qyi9j004zprcn47cjcwg49s1-
agda-2.7.0.1.drv
/gnu/store/j0km5glrz4m5jg9c3pdyp2ki56xkbpz4-
diffutils-3.12.drv
/gnu/store/jwy69d4q4q56bq869jg54l01jlshpkzm-
coreutils-9.1.drv
/gnu/store/kvk8yx7gv2sy0gbbs87sbykch0j708nx-
bash-minimal-5.2.37.drv
/gnu/store/n6s7a7n89ddyzlppa7lhz1xz9m1izhvd-
gawk-5.3.0.drv
/gnu/store/pmsj93lqaam4rks9af5w9nnzdkhwf7v4-
zstd-1.5.6.drv
/gnu/store/sjgi492j5fwsd39ygjli2836kg7vdxf6-
findutils-4.10.0.drv
/gnu/store/wp9bq7bz7bsnyyrp5wdzmq3jpp3cjzj7-
gzip-1.14.drv
/gnu/store/xlzm1ws3h745ifc7y7igvd36lv6rr4ga-
file-5.46.drv
/gnu/store/yr9wzvn7ak9x5mqqc5m0hl1az40dcws2-
module-import-compiled.drv
Derivation details
Builder
/gnu/store/78dicx99m3payi3jckmpb86n29ppqx85-
guile-3.0.9
/bin/guile
System
i686-linux
Build status
Canceled
View build on https://bordeaux.guix.gnu.org/
Canceled
View build on https://bordeaux.guix.gnu.org/
Canceled
View build on https://bordeaux.guix.gnu.org/
Canceled
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xb65xxmrqndwxxsdsg2gc1ng0yfh4px9-
agda-cubical-0.7