/gnu/store/gzqvk60d8n40d3jwk1msxhmjavd3rv4q-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/08b2dniwi55x6lvck458ayicizz0w5f5-
ghc-filemanip-0.3.6.3.drv
/gnu/store/0f8fzvj1syvf416fxk9wnssbcggd7vrk-
ghc-geniplate-mirror-0.7.6.drv
/gnu/store/0f95mwb32b9hklaq3akvxn46nnws2g3a-
ghc-happy-1.19.12.drv
/gnu/store/1n1grdqvln76dc5kh6k6p0papnlg5yyk-
linux-libre-headers-4.19.56.drv
/gnu/store/1qbr1hb7099hwicwd91yxv9apvf3y6fl-
diffutils-3.7.drv
/gnu/store/23b4v9jhjy2095whfny8qjyqxkjypyas-
binutils-2.32.drv
/gnu/store/2790pn7xp43qfq47hvj0gpgv39dva7sh-
glibc-utf8-locales-2.29.drv
/gnu/store/3acryxn8p0fa6xhz9byvy5j1ms129rh7-
findutils-4.6.0.drv
/gnu/store/4mc587b3i2pzby9lqm17gr4zr5vwqc2d-
file-5.33.drv
/gnu/store/52vdf20kcmqhy6k74q0gsqrq9cg59zpy-
glibc-2.29.drv
/gnu/store/67m6rry6p4lzpm6ixvws9w646vpv8avp-
patch-2.7.6.drv
/gnu/store/6y400jw4axb5zch1nlvnzbxqbg4m2ix8-
ghc-8.6.5.drv
/gnu/store/7dfbffp7ckg683337q0nakww5djgh3li-
ghc-async-2.2.2.drv
/gnu/store/7spvp29jpp64ckqpd6dg471s61scls1g-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/7wdh0618pzbiwsdksvf6cgh71sc4w28s-
make-4.2.1.drv
/gnu/store/8h20z2nw4pknqmijkzx0qrw9w7b568hr-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/8yhns66bwayv4j95dncl1hqr5ybsghir-
xz-5.2.4.drv
/gnu/store/a8b0khs08myfbq01v7cwhh3s9bkzn1s3-
module-import.drv
/gnu/store/bn8qjm6wl96bky0jfl1ynr0v7wzq8kqg-
ghc-data-hash-0.2.0.1.drv
/gnu/store/c48apny6s1f926apl1bppyfaxsn3awhi-
gzip-1.10.drv
/gnu/store/chzchznv3k4yawmnir05199lfw08c1d9-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/db0nc1c7lf0nml1231mddwf14ijcmf2k-
bzip2-1.0.6.drv
/gnu/store/db566cr9v0bakc4nijnccg2g1hvbb1l2-
gawk-5.0.1.drv
/gnu/store/dmf125qbsxa4wffd21jpdcvbgi7nhqaa-
ld-wrapper-0.drv
/gnu/store/dn38bm0dj3ggvlcn1js8ikqqhjffhg8k-
guile-2.2.6.drv
/gnu/store/gzj0ghrd64lf6m394yxsxc24lxfxbzkz-
ghc-boxes-0.1.5.drv
/gnu/store/iyqplw3gicaslx443p4gj5z8svzvchjs-
coreutils-8.31.drv
/gnu/store/j4mscfysajz9pdp48g4fcd8c6w9im5fc-
tar-1.32.drv
/gnu/store/kxmskc996iqw78gin7y9934iwcyknqwz-
ghc-ieee754-0.8.0.drv
/gnu/store/lnfnpyhvf6a4jvz0nmdwn1ikbkjb444q-
bash-minimal-5.0.7.drv
/gnu/store/m8q8pynnk0slgympvzsli0swa1mqbnc3-
ghc-zlib-0.6.2.1.drv
/gnu/store/pddcrfxbwl7yxl9yggvqmxpmxm6pnibj-
sed-4.7.drv
/gnu/store/pmivm3m0kgdpbf7x4iiaggjkc3k82ili-
ghc-aeson-1.4.5.0.drv
/gnu/store/pmkvm5hd2adkhl9arlpa2q7rizz6lfby-
ghc-hashable-1.2.7.0.drv
/gnu/store/px2kwzrmzizxgkfx5ii2br15s8lq12nd-
Agda-2.6.0.1.tar.gz.drv
/gnu/store/q2wldjcw50y0nwvibyg8n6bq5ylfm96m-
ghc-edisoncore-1.3.2.1.drv
/gnu/store/q66chbf0kqxn4yf2gw5npqar7j1bg6zz-
ghc-strict-0.3.2.drv
/gnu/store/s2sf8npbi5xxqmz3v3l9p14aqx1gxxdz-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/s4szi7d9acn814hbb2qlyvi3w4k2kawq-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/sh84zvrn62djdhvnkliiv1287q0zxga9-
ghc-uri-encode-1.5.0.5.drv
/gnu/store/wpb6q920l4zgz9a0phjrbwwajhzlmwsa-
ghc-hashtables-1.2.3.4.drv
/gnu/store/wsbywgh9vxax7sjx0bv4qmam97sza2v8-
ghc-exceptions-0.10.3.drv
/gnu/store/x7ang5p6pb0pnsh3imvhj91fgq8ilr1p-
module-import-compiled.drv
/gnu/store/z5qqnzli68i0pq0hc5l3fdd4ki4aqwb3-
gcc-7.4.0.drv
/gnu/store/z9fnqnby79n65igzbzh5mj0cfasbyvdk-
ghc-alex-3.2.4.drv
/gnu/store/zg3jmy2ggaqrbj4nb0p62i6naymzldxj-
ghc-gitrev-1.3.1.drv
/gnu/store/zhs59sbjicwjb1qkvhvrk5f34bkp72b3-
ghc-equivalence-0.3.5.drv
/gnu/store/zsx2yhjd3phbqs9d09av0jc6k4qzzn48-
grep-3.3.drv
Derivation details
Builder
/gnu/store/50f18mlbj915vydqmm6nyvkh2b23vmf0-
guile-2.2.6
/bin/guile
System
armhf-linux
Build status
Unknown
Outputs
File name
/gnu/store/8a78k0bgigqpvfs3c6apfzq7i410kbwf-
agda-2.6.0.1