/gnu/store/shdn6v7rgrcvx30z37iikankmwh8mqa6-
agda-2.6.2.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0rca5zjfiz3jsvs1wl9azhq5nyfz7iay-
ghc-alex-3.2.6.drv
/gnu/store/1hszd1wkj772jxpdf8amahdcvlhh5dxd-
tar-1.34.drv
/gnu/store/376yd2acmig0xnxiq6067n05d2c0vwg9-
glibc-utf8-locales-2.33.drv
/gnu/store/3k6lag3a54dvsj1cxhy2virg2mw1yzfv-
ghc-split-0.2.3.4.drv
/gnu/store/468wgrz8gvxlzibwii73kmy59zv1fb5l-
gcc-10.3.0.drv
/gnu/store/487g05kn3709rgmvwhf9c1w4fsdxpv7d-
ghc-zlib-0.6.2.3.drv
/gnu/store/4ngmflqdp6rrk3xac0an9dc6r8i0a921-
module-import-compiled.drv
/gnu/store/5cigm0jsn0sq99mgyq8wq6qmwdq4c0f4-
ghc-happy-1.20.0.drv
/gnu/store/915p3h6l8h5cyvbq6blfs5xr3hpc6rbm-
ghc-data-hash-0.2.0.1.drv
/gnu/store/a59vqang5zlchnh0c1fkdpsz5a2n633m-
ghc-hashtables-1.2.4.1.drv
/gnu/store/arpdhf45yz7pvf9dcza2vwjjhdjbjga8-
gzip-1.10.drv
/gnu/store/cixsmsgadwq4d7hfqij5kbk970q6aqf9-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/d4cn5fvrsnvd7aqkgvk3imqan9859b4s-
ghc-parallel-3.2.2.0.drv
/gnu/store/f3dyv968vdfqv0ryz4fyx0334pkqpb7x-
binutils-2.37.drv
/gnu/store/h66yarydayi7w67kzss9rpx9ajwxahwx-
ld-wrapper-0.drv
/gnu/store/h9wdi8z9imvzbyimhfbadjl87faqi7m8-
gawk-5.1.0.drv
/gnu/store/hwy1pjkr9zvwhswwhnd034vvxzyrkwps-
ghc-equivalence-0.3.5.drv
/gnu/store/ip6bvjd3vniksadbv6z2drs8qb49jpn3-
Agda-2.6.2.1.tar.gz.drv
/gnu/store/j0vfl93bamqkys6d2rd18phj03yd7qnz-
bash-minimal-5.1.8.drv
/gnu/store/kc0p825vpdqw0ml7wdm7kb1y6qd2hqf7-
diffutils-3.8.drv
/gnu/store/kw1ngdsi1hzvnqli16qb2ypvy0dli5x5-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/l08vq1hdiy8j8xpz89ydmi5k96acn0gx-
sed-4.8.drv
/gnu/store/l0cdarijx9i6qrv18c38qgdyjhwyjyqy-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/m8c5fi8v1hs9l8drl19qffnng3zj0ivy-
ghc-boxes-0.1.5.drv
/gnu/store/mlga8mk87kr4pahl267bahzwlqglqdw4-
bzip2-1.0.8.drv
/gnu/store/mmkfi4rzxawbjvjhn9r2vf7s6x7v2y8w-
xz-5.2.5.drv
/gnu/store/nfgsjl4ysd5kgdzx7fmx4spvq23wc34s-
file-5.39.drv
/gnu/store/nmqwz204dfvjqnn2bv392sc6j7ppr3gj-
grep-3.6.drv
/gnu/store/nznjv6y7wycfgpblc1lch0wxq9xzmjfh-
make-4.3.drv
/gnu/store/p99v82l810cf4d0s1hfkwb3ysmam8k4c-
ghc-strict-0.4.0.1.drv
/gnu/store/pnx8zcylpcayndcf37l91rgdziwg5314-
glibc-2.33.drv
/gnu/store/qbdij1as2hvixagyjags1sabhsja1b4v-
linux-libre-headers-5.10.35.drv
/gnu/store/qfxxpyl6s9qkkwr4qykmpmck3x4bvb84-
ghc-async-2.2.4.drv
/gnu/store/rcvjm590rl9bsg5rakwlgk743jhm0q6n-
findutils-4.8.0.drv
/gnu/store/rg2jbzp7g5lbvxsczzby1snzl8jk7c9g-
guile-3.0.7.drv
/gnu/store/rzzn5d5524r7bjbkf9m44dydrx86mmyk-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/s6nivpw95ciyddg7c34hrszld1v4rkdq-
ghc-aeson-1.5.6.0.drv
/gnu/store/sj6z7pzm3s1psdqns3d12s4zy2hdr0ci-
patch-2.7.6.drv
/gnu/store/w2yi676q341w5cajrgggq9pp3nin12qb-
ghc-8.10.7.drv
/gnu/store/wifk68z89i1fk6zjcx4n3fmsf71af2y0-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/x1yf52wf9a2a02jk4qj9g699qjpfz2cs-
coreutils-8.32.drv
/gnu/store/xplll4aj414qh0jp3qj91xvww6whj275-
ghc-gitrev-1.3.1.drv
/gnu/store/xq58rj53cdai490v890asqxisf4dklvy-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/z10kyqw4cqlwmiaiq02zd1mihw55qjq4-
ghc-monad-control-1.0.3.1.drv
/gnu/store/zl3vn8mc5x98pkmn6ld9nrc110g5bhq8-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/zw02bhail8hh5cn2cmw561qnrm13fl9i-
ghc-hashable-1.3.0.0.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/znqmrzmhwm0j83g6mal18f5js5md0p44-
agda-2.6.2.1
/gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-
agda-2.6.2.1-static