/gnu/store/04xslvrcdbjmksj2rbmql4268spl941c-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/036k8ijz424jh2pbc5kc1wi3q9j1s37a-ghc-uri-encode-1.5.0.5.drv
/gnu/store/0b7wiihicxbiizpls15jqb347f1c10sb-ghc-data-hash-0.2.0.1.drv
/gnu/store/0khkqdc4bcr9nbyg7h45hxspy6j14909-coreutils-8.32.drv
/gnu/store/1c8rxcj7jv7ak037dhs6l5qrj1h8d63q-ghc-boxes-0.1.5.drv
/gnu/store/1wld08ibgbxciq2wqlfrfs7i87p1lcbq-binutils-2.34.drv
/gnu/store/23xqlw2kz7xb26z6njgr3v464zghjl36-ghc-hashtables-1.2.3.4.drv
/gnu/store/2hzk6q2ndn6pz65znmrwn4g9plpn9cgg-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/3gjjkdq3ll76lffa2563xx62h4w9cxks-linux-libre-headers-5.4.20.drv
/gnu/store/3jwiqbgrhrgalvks0hjkhbmf6vz2q3qs-file-5.38.drv
/gnu/store/3k9f1wv394mmgxgjnmrkvdca3mnxb230-ghc-filemanip-0.3.6.3.drv
/gnu/store/4lnvz04y5kd7xmdxcb0w78ims5r5qldy-ghc-gitrev-1.3.1.drv
/gnu/store/5awylsl6l992zfahagangg6mkzxjz0xs-ghc-zlib-0.6.2.1.drv
/gnu/store/5iz86axwjfkkj47nshb3x3r9b8g04pwx-ghc-edit-distance-0.2.2.1.drv
/gnu/store/6nqc2f1jvr6f6y1c9pqsm6ddx8jrgfnf-bash-minimal-5.0.16.drv
/gnu/store/6nvm10nv6wlkpyzdw0ja8llnn0c3afpb-sed-4.8.drv
/gnu/store/7hj8kbsqkm3qcpd8dyayx1c53r59ma2v-guile-3.0.2.drv
/gnu/store/8145hli02xah7xkr9453zmjalfyqanx8-ghc-equivalence-0.3.5.drv
/gnu/store/9cdwvkm2r7nf9864qk32fa9g7bj0565x-gzip-1.10.drv
/gnu/store/9lbkgn2j7i5v5xv6khlc5q28nsf7zj1z-ghc-happy-1.19.12.drv
/gnu/store/9z04i2yfif9wx69g88254xylfi2xrlnp-bzip2-1.0.8.drv
/gnu/store/abrqnvj6r1v3863d82v4fq6nidv1yp5c-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/ajb7id4hpgxxsm8lpihpf3ljhngynw7z-gcc-7.5.0.drv
/gnu/store/c4c9c12j4nykcabrbjlj6r1xvwj7lx8q-ghc-async-2.2.2.drv
/gnu/store/c5risfnmnqm45a29vi7n1f4wggjv3zsp-tar-1.32.drv
/gnu/store/db7d0ibk1a2a7mic37wnhlydnkd7rbxq-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/fgn6d4mhn5bbzd0b17i0l592jqkav14i-make-4.3.drv
/gnu/store/fyazyla09myashz9dv10w21y77b8nlqz-gawk-5.0.1.drv
/gnu/store/gb91yqixlm04kcm3v930b7sjxzdgac6r-patch-2.7.6.drv
/gnu/store/ghqfgcaavrbvyprkcalphx6bhai621j7-ghc-ieee754-0.8.0.drv
/gnu/store/i6lgfpxbjljrr8rpdkg7pig6d6ll8hnl-ghc-hashable-1.2.7.0.drv
/gnu/store/l6lyn24ri4izszdkxykgnlcbjb8zn24n-ld-wrapper-0.drv
/gnu/store/limjychgk16sw47c0yp6wsmmk58h8snp-ghc-aeson-1.4.5.0.drv
/gnu/store/m9yqd2aspkhabvhdl3sc42f8vh1ls1ps-diffutils-3.7.drv
/gnu/store/mfi1gwm6n0l6i2f7q8c79znb5k6gg9cb-ghc-edisoncore-1.3.2.1.drv
/gnu/store/mnqlavib4jciq6rj4bxww2a2fifir5wq-module-import-compiled.drv
/gnu/store/mpa2pp05c6m7zdxh790vy8nc55r3dnm0-ghc-8.6.5.drv
/gnu/store/mz475bn7vy3j9c8d4v0c914hz9yq0pd1-ghc-strict-0.3.2.drv
/gnu/store/ndk7v9wclr72zdcrs2r6afxj3r3bapgm-glibc-utf8-locales-2.31.drv
/gnu/store/pvkzvss1177bbg4510x14wzvy6myyir7-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/qjb2b0r812nznxvq0df4sh1mirw4zfa7-ghc-exceptions-0.10.3.drv
/gnu/store/rk9inw2kf9mrqly2xprkxardpxcmhbjv-grep-3.4.drv
/gnu/store/rkbjigda3mpbb8gcxrgjdnmm1wnfq48y-findutils-4.7.0.drv
/gnu/store/sj15rr5kzzds1gdrmgjv4g0j0a5zp264-Agda-2.6.0.1.tar.gz.drv
/gnu/store/szjp1fkk8m5n2jzvkfnjvmi429c1b56b-xz-5.2.4.drv
/gnu/store/szrk3i56cwshfn531n64i7643kx8q987-glibc-2.31.drv
/gnu/store/vmxcmnj3j0c4piqh9870h8i2i5mm2pj7-ghc-blaze-html-0.9.1.2.drv
/gnu/store/vx9a81pg8a3195zyz5ffq7jr56pd9my8-ghc-alex-3.2.4.drv