/gnu/store/pzjci2dz3mccr75ziqflp8nbg08r2kvc-
agda-2.5.4.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/05h6nhaaay0h3i7pfivrqp44b1c9skfj-
grep-3.1.drv
/gnu/store/2dsgwz9ac0vfnasi2igrvcc4dyin7g6p-
ghc-geniplate-mirror-0.7.6.drv
/gnu/store/2wnjmxnx5pp90nyqvxd3w6wfrmrfal6k-
ld-wrapper-0.drv
/gnu/store/36paby6xkzraji5plwd71a34mz4x11hz-
glibc-utf8-locales-2.28.drv
/gnu/store/3r5blykc9kw9fi9vjffyfzifb9mw4ki0-
ghc-filemanip-0.3.6.3.drv
/gnu/store/4054h1fjk13n22jknc9m45r993nvqb77-
binutils-2.31.1.drv
/gnu/store/4j3aqi6dzdxzdi1jwgpfjm3m0i88fk8l-
bash-minimal-4.4.23.drv
/gnu/store/4rfwn6p4kvyy56z2f53apsjfah4yma27-
ghc-strict-0.3.2.drv
/gnu/store/4y64liycg3ki8lfp8wizj4wklar03dxp-
ghc-hashtables-1.2.3.1.drv
/gnu/store/55wxqsij20xadz6rqyy2pw44azkl2ry8-
ghc-blaze-html-0.9.1.1.drv
/gnu/store/5hwn0q0isksm6q06nlz9k9b44bcwb0kv-
coreutils-8.30.drv
/gnu/store/5qwma2lz1pzh2wbr0d53v84l660i8vf3-
gawk-4.2.1.drv
/gnu/store/61xydz2k6j31ba2lv8wsaw9vkb9q21x5-
gcc-5.5.0.drv
/gnu/store/81vvhcbrjc6rki7r5jbaw7g1j8pza0mc-
ghc-edisoncore-1.3.2.1.drv
/gnu/store/a7sswyvrn77993adayp2h6sm3b081waj-
Agda-2.5.4.2.tar.gz.drv
/gnu/store/afb1w459vlm61ygaxsx0r4b0mf7vijp4-
ghc-happy-1.19.9.drv
/gnu/store/arvm0v20n93mra1s2la59by3kbm3cbsd-
guile-2.2.4.drv
/gnu/store/b1gk0hl4iq7igh348sqi3ix1q0yn704z-
patch-2.7.6.drv
/gnu/store/bh4h65ykkdarpqwcrk9ih5q56apggmi9-
ghc-data-hash-0.2.0.1.drv
/gnu/store/dz4lldy73yz41z9g8rb6kmpn4vsg5ynp-
ghc-uri-encode-1.5.0.5.drv
/gnu/store/f56swd89g7nify7adhvkx1fvwkbxa83d-
ghc-boxes-0.1.5.drv
/gnu/store/fgsidvsak6fijkr55nzrx3p082adadza-
file-5.33.drv
/gnu/store/fsgis45hvfqjzyxhzv8lqpbn0vdi6jq5-
ghc-unordered-containers-0.2.9.0.drv
/gnu/store/fyw9v660d2skjnv0bnpnxbqlindm1ybv-
make-4.2.1.drv
/gnu/store/g2vmrkznp4sdrdy8b76zgzmck325cigy-
ghc-equivalence-0.3.2.drv
/gnu/store/gb99k75ri1zx07aakgqmqlpl6cy1iirr-
module-import-compiled.drv
/gnu/store/gcvx5b5c8620p9hma7xdvf82z4cc887x-
diffutils-3.6.drv
/gnu/store/gx9k6i5cf9xcj5ck8wfcqbqr6xf98r2w-
xz-5.2.4.drv
/gnu/store/hd531ggvlz4ng9kl0cm1mgra93ghlg7q-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/j3401wlbfhxvr5m342dq3drxwqyp8s61-
ghc-parallel-3.2.2.0.drv
/gnu/store/kgbd0nklglw8f4qhma8ba1z7364lvbpj-
ghc-alex-3.2.4.drv
/gnu/store/mwmmv6475lf3268w1b336g81w7l6wgq6-
ghc-zlib-0.6.2.drv
/gnu/store/nfrjmhzr8yq5ncdx9xcsr367a0xjvn5i-
ghc-ieee754-0.8.0.drv
/gnu/store/p1v7rvhgj2h4qcxhls11bwqnhj5fh8w7-
glibc-2.28.drv
/gnu/store/pc1yb2xdv9s0vsi3m361f72jij8arv5y-
linux-libre-headers-4.14.67.drv
/gnu/store/q8v3nsv8719jzxlhdd3m0fcnax4s729y-
ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/qghqv8qwz5hh9zih7i3rwsq45npkp99z-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/r60iwzf21h1y85k7m9p4c975d1xhxg7v-
findutils-4.6.0.drv
/gnu/store/rnwf7v1m4lsifpw6zpnvk5i0cgz22vy3-
bzip2-1.0.6.drv
/gnu/store/rx6279a7l86k3vpzg4r3f9haf7xiyqp0-
ghc-hashable-1.2.7.0.drv
/gnu/store/rxakxwkrpax34hzjafnfm5k19clvknbh-
sed-4.5.drv
/gnu/store/spzq57s6xcqm9sdwz9xr2hmkmhikg9bw-
module-import.drv
/gnu/store/vd063mlxs1dfspzm67d3mmcz4gb42n0w-
ghc-gitrev-1.3.1.drv
/gnu/store/w58jn7rn2ric28pickq6cg2crqp1m3xd-
ghc-8.4.3.drv
/gnu/store/xpv9bnrfvz5z6xwh5ypziz6waxzfa9jk-
gzip-1.9.drv
/gnu/store/yis854zi5frqd4pa59ckyabr6cam7pnz-
ghc-async-2.2.1.drv
/gnu/store/z1lwpyn699dlmmb5yz21lg4zgpc70l3q-
tar-1.30.drv
Derivation details
Builder
/gnu/store/r658y3cgpnf99nxjxqgjiaizx20ac4k0-
guile-2.2.4
/bin/guile
System
x86_64-linux
Build status
Unknown
Outputs
File name
/gnu/store/25jzj1p3lnygf640kbpx4dcdg6m9hb3y-
agda-2.5.4.2