/gnu/store/qc4gankwlax84kclpplwffy1n6yj86z0-
agda-2.6.0.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0lbg4kp8kznahfxh5vpyf0dq6kpv5jif-
glibc-utf8-locales-2.29.drv
/gnu/store/132aqp4qjfys7abpr30jklkd33dl5lc1-
patch-2.7.6.drv
/gnu/store/1ml6v0lm3zwjcs5mibljrz3x7ii33n8v-
ghc-aeson-1.4.5.0.drv
/gnu/store/2wvgwwx87ycjlx45ji6m2fq9w6jn4zd6-
module-import-compiled.drv
/gnu/store/2zzimf36al3b45av86cdamfwzr33xabb-
ghc-8.6.5.drv
/gnu/store/33zjmiwdzmggfqrf7ilanf2w2hqrb5q0-
make-4.2.1.drv
/gnu/store/3gbbcw0h24xxdssa01j28ss17l1fmlwc-
ghc-geniplate-mirror-0.7.6.drv
/gnu/store/3wqf24fzhsrjk9bizh68fcpyy8dpfk06-
Agda-2.6.0.1.tar.gz.drv
/gnu/store/4hl3sf9583rxxnwppfpnalqaf3kn70dv-
ghc-zlib-0.6.2.1.drv
/gnu/store/512iya2whq5blxwpi9j3vk38phmjncif-
sed-4.7.drv
/gnu/store/5fryhgnkcdq1axm16xljnd6z8z5738bm-
ghc-exceptions-0.10.3.drv
/gnu/store/5pighwiv06csw09flmx891b7z6gqglgh-
ghc-equivalence-0.3.5.drv
/gnu/store/6zc5f7zprz9r8hxz1495dqm9x2b3sbjm-
ld-wrapper-0.drv
/gnu/store/7921yny01l05hp8hmy7i6ab9b08qmdp2-
ghc-ieee754-0.8.0.drv
/gnu/store/962ylmazmjq2rfp3v8xp0pa6pjrwy0ws-
ghc-gitrev-1.3.1.drv
/gnu/store/9k751av5hxzd3qrj912hkxrcswpnqy0s-
ghc-async-2.2.2.drv
/gnu/store/9z8ck6bh4dvi1ql7hydgcx389p42c3qi-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/as8k2svps5pgk2pvyv549dgd79c849aa-
guile-2.2.6.drv
/gnu/store/b4di43jidagyscpkvwd0pfg6vv4v0rcj-
xz-5.2.4.drv
/gnu/store/ddq4jcnfdbf8rgavsa3bcvg3bndlmvl7-
linux-libre-headers-4.19.56.drv
/gnu/store/dmxpyfcbjzkqgg6ibgqz84fj80cnwfd0-
module-import.drv
/gnu/store/f31jpm60qvb9764pb8y3p6llhqmywplj-
ghc-happy-1.19.12.drv
/gnu/store/fiy828ff5iwmc30nlshlp7vg7dlinlvc-
coreutils-8.31.drv
/gnu/store/fwhwgbl8vsxk82dz4p46k6fxsddpk5n3-
ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/gwpn1dwjqpacszvhpjkm0cddy3w3vvpl-
ghc-filemanip-0.3.6.3.drv
/gnu/store/h14nzy6p6l1g8z2w9kbyqsnhhxwjxl3a-
tar-1.32.drv
/gnu/store/il8qylsg9vgq7la6cxpy0r1mys5v1c1n-
ghc-strict-0.3.2.drv
/gnu/store/irli0j1pghc4905qzjadw3ixiw7a593r-
bzip2-1.0.6.drv
/gnu/store/jy67i25cv73131wyxksrf2ls0x7xhmi1-
gzip-1.10.drv
/gnu/store/kfhlg1z2vlqahk0wghr716ga54gyx5yd-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/lfik5qbv17120vi6xhaxr4r0dyj9a34f-
diffutils-3.7.drv
/gnu/store/lnzid5qdcjk6f61g5am20x4ffxbff20g-
binutils-2.32.drv
/gnu/store/mcxgsfkracxznwvk9065q6khpkhmszki-
ghc-alex-3.2.4.drv
/gnu/store/mdib65gvdll22p0y5by36n80yl8hn8xw-
glibc-2.29.drv
/gnu/store/mjm5h1wjqf2b8f5janhbsy7d25m2rcxi-
ghc-boxes-0.1.5.drv
/gnu/store/mysfgyy93i0f72ic2n84l58i7c63bhyp-
ghc-data-hash-0.2.0.1.drv
/gnu/store/nvb6ydb5pr9klfaj9dd0wsvflql00fj3-
ghc-unordered-containers-0.2.10.0.drv
/gnu/store/pvwxqz86m4a2l47g94lilvbys8xs3mfq-
ghc-uri-encode-1.5.0.5.drv
/gnu/store/qal25yg5rv9y6nanv7f6a9krjh9n2xk5-
findutils-4.6.0.drv
/gnu/store/qjmifr7j8858srv2jsidl0jw7wcbq9gq-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/rhq93wxcym1qlyg14ffq11q2ckj003h2-
grep-3.3.drv
/gnu/store/rkfchrlmbflabb9gsz8i0ia5lvrv5d5x-
bash-minimal-5.0.7.drv
/gnu/store/vbs664j8vc59p3adx4g1pvz0fs9c4vhx-
ghc-hashable-1.2.7.0.drv
/gnu/store/wrjy0xhfjh3r5hbjw0hh38l410r92k0n-
ghc-edisoncore-1.3.2.1.drv
/gnu/store/xl02d9l9235bzpsrwy1hi3ys5bbw7ixf-
gcc-7.4.0.drv
/gnu/store/xlvvngscqwvsnpr4mga76m5i5xkpvr2d-
ghc-hashtables-1.2.3.4.drv
/gnu/store/y0nwaf4403l4088mvcx2133j4mc0gmph-
gawk-5.0.1.drv
/gnu/store/zwms5ifk6vl5n9jgj0vri45lqlsazh03-
file-5.33.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