/gnu/store/dk84l8rzfc6634b5dnlpknsl7fdyl22c-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0j6gi10v9hz2s2413nhwbzihrydafgvj-
glibc-2.31.drv
/gnu/store/0yqfahq74ipch92f24k4z6a9qr941rbc-
ghc-strict-0.3.2.drv
/gnu/store/0zmcam9sdiag9s1qx3xvlf8a3jnm53x2-
sed-4.8.drv
/gnu/store/18nxn00kajhfy5rkh7cwpa3sd62g9jq4-
module-import-compiled.drv
/gnu/store/1pmjhhz9s6fnh281q3z2brl71z0n9p9m-
ghc-exceptions-0.10.3.drv
/gnu/store/2y08mbgjvsalw90wfd0ga3avmw8w9wfj-
ghc-uri-encode-1.5.0.5.drv
/gnu/store/3d4xggdls9cmvr5j2qd57p6z1pavd7pg-
gcc-7.5.0.drv
/gnu/store/3hvcdihi1j6plancggm1wqi28k8j2h7g-
ghc-hashtables-1.2.3.4.drv
/gnu/store/55m53jfhazxzkhrlm9razvw1r0mzxah0-
grep-3.4.drv
/gnu/store/577y712c4lqzarml9x5a20x5kmlvwcz0-
make-4.3.drv
/gnu/store/70gapv7ssbkcww91rw5y958bfgp44gw9-
findutils-4.7.0.drv
/gnu/store/74djrm9ysxbvjnd8wj9cvf2z8ip5bf01-
ghc-happy-1.19.12.drv
/gnu/store/77mj0w8c5bjs4pf590d7zcj6prd21gbg-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/7avrcww5ag0d1zbidi8awrarqvd8bb29-
xz-5.2.4.drv
/gnu/store/7rxxb42fzfnh81b2f0sdzpv4qla0hqmi-
glibc-utf8-locales-2.31.drv
/gnu/store/84aj95pxsxshh6kpcl0s1w6l9cfjfzj9-
bash-minimal-5.0.16.drv
/gnu/store/89h014a700ab7sb06h3nbzvzdv3d3xy4-
ghc-geniplate-mirror-0.7.6.drv
/gnu/store/95w8r81sn34fl2d64c8rkp76v9d9zai5-
binutils-2.34.drv
/gnu/store/9gd8mfg44r39wca5s7cm44ykwcym1kb3-
coreutils-8.32.drv
/gnu/store/9glh16765gxyzvljh8v253l35w0h4a6x-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/9xww5lqqclx2jnxvihmgwc5bcx3hpqw4-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/axivv7qsbckqv2yyqmgkvps5wv9zmpm7-
bzip2-1.0.8.drv
/gnu/store/b1mnyf9fcibb939l3cs0pyz3fpx61had-
ghc-zlib-0.6.2.1.drv
/gnu/store/b4rd5pjs5fw97r9b0ivq2jnqf97p2x3q-
ghc-8.6.5.drv
/gnu/store/d2fr7ijbw7hg5xz8s8ff24zypmqxc09h-
linux-libre-headers-5.4.20.drv
/gnu/store/fj0jwyd014lk6qjwz05h7cwkia2x8sgr-
ghc-edisoncore-1.3.2.1.drv
/gnu/store/g8v3w191k75iy209nx0g73x7hi7qmv1h-
ld-wrapper-0.drv
/gnu/store/gqfgx0qba65vx7vginfmp5jh2m726crq-
ghc-alex-3.2.4.drv
/gnu/store/gzq4g3rklih48p2rxfhf7wd9i9llry8s-
ghc-hashable-1.2.7.0.drv
/gnu/store/jaipnrrbphwy9ikzd9b2fd2bxg9z1sf7-
guile-3.0.2.drv
/gnu/store/jfsh76xlrx0lvc7gnnxq3n1vwp3p2vk4-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/ji9qw65w3yykzxh8pd5l7sg2c89z2hyf-
ghc-filemanip-0.3.6.3.drv
/gnu/store/jjkv2zvx1s8qk47nx6mnz5n5iqhq5q9b-
tar-1.32.drv
/gnu/store/jx488krijqyiq0iqmgali18l5nvvk2ih-
ghc-aeson-1.4.5.0.drv
/gnu/store/kr17fb10wfdp95ws0ldbl1pprx7fyy8h-
file-5.38.drv
/gnu/store/kxjdyhcgmn4cw64608vbrh8z57gff9yy-
ghc-ieee754-0.8.0.drv
/gnu/store/mj22bfagab2y8ssmz1jbslymxjnxqg98-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/mvpgivyr1z31zf1cdw7dmd0a2l8j0g5i-
ghc-boxes-0.1.5.drv
/gnu/store/pnja3bqzzkml1pwnmg8xal4dqrpzhrvd-
diffutils-3.7.drv
/gnu/store/qfb37lardni78naczldb1ia33n9ffvc7-
gzip-1.10.drv
/gnu/store/rlf3y96hkbl7akl7w23q351rrqan1xxp-
patch-2.7.6.drv
/gnu/store/s4qfywvql4sbnslg6k2k1zh4g17jiqaw-
ghc-data-hash-0.2.0.1.drv
/gnu/store/vx7fczjlgs0cnas6hxb9s6d8bfk15qia-
ghc-equivalence-0.3.5.drv
/gnu/store/wkrgrjfkpqdzdvv81nbra7bvskfl9i57-
gawk-5.0.1.drv
/gnu/store/xhpv7zd205fjafibf9z9qrph5n9jw9hh-
ghc-gitrev-1.3.1.drv
/gnu/store/y1a7hy8hzjqd0fxh8dzfizz6gbw4vxfj-
Agda-2.6.0.1.tar.gz.drv
/gnu/store/zwpgd6i0ayfgcad9bsvqabyq7m3m1wzb-
ghc-async-2.2.2.drv
Derivation details
Builder
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-
guile-3.0.2
/bin/guile
System
x86_64-linux
Build status
Unknown
Outputs
File name
/gnu/store/4b2wri4xzc25y6qd7d0hb9qyhvpaf5v2-
agda-2.6.0.1