/gnu/store/8smwhi07akp4rjwg1pwhjzliyrlckj2n-agda-ial-1.5.0.drv

File name
/gnu/store/0drqxar2gw1d8jg2zc4y4p1gd8r7gf70-xz-5.2.5.drv
/gnu/store/18nyxai3i6hw53pjyhbmag93qh21khw1-patch-2.7.6.drv
/gnu/store/3iz6dn1hkf9x046lcvkx10q4jfmxhj1b-diffutils-3.8.drv
/gnu/store/5lzcpbp8g4ykrhc960wmh5mmzzxm7sis-module-import-compiled.drv
/gnu/store/6a3kkcazcgms1fdlgd69qggziw61xdim-gcc-10.3.0.drv
/gnu/store/6iv4jzffh6fgcc5hp93imm0lv64yvwls-gawk-5.1.0.drv
/gnu/store/72a9ggqys376b8yrir1byvdy0733cxll-glibc-2.33.drv
/gnu/store/7ib0gd4g05gbfw46cmvp73bfqd3d6bbn-file-5.39.drv
/gnu/store/81w8s9mwah973b6i4nq98il23qvf0586-agda-ial-1.5.0-checkout.drv
/gnu/store/9ai3lrhaksa3a89nykhdbb05ray96jjh-gzip-1.10.drv
/gnu/store/avv7h58dm04d389s5kz5pxlcnyc1pvsp-make-4.3.drv
/gnu/store/c7w63vg95sazj33nszlj9m1rwfhfqz96-bzip2-1.0.8.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-guile-3.0.7.drv
/gnu/store/f8pj4ml9fk0blzj9p8s4wzkacvw11gkk-findutils-4.8.0.drv
/gnu/store/gba5zjfb9xvfmk1hqc9slrn3y3nzbg7p-agda-2.6.2.1.drv
/gnu/store/hf5d2n6xhf30k9nm999wj65m1wp6kvgm-sed-4.8.drv
/gnu/store/my6w6sj99prqayr40dqsx2qjm7bb32qs-tar-1.34.drv
/gnu/store/n27ncvyw3br0nl5kvzz32gajy9v5q7ni-grep-3.6.drv
/gnu/store/rhwjycyxpb1lcvljbdm1zkjq6mzviivj-glibc-utf8-locales-2.33.drv
/gnu/store/x17sa5qgfpj8kg8v0xpq7fv488k2jllf-coreutils-8.32.drv
/gnu/store/y14axzb299yjc8d7s2yhavi63sdfg8jr-linux-libre-headers-5.10.35.drv
/gnu/store/y462c2avv0jscvhxcfraq8k0885dgw7z-ld-wrapper-0.drv
/gnu/store/ydf5rigp79i2hpzz9wi4856wmm01xpgk-binutils-2.37.drv
/gnu/store/ypgcf3rwybzjk1zyxhikp7zxfr13z5b6-bash-minimal-5.1.8.drv

Builder	/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-guile-3.0.7/bin/guile
System	`riscv64-linux`

Unknown

File name
/gnu/store/k9yjk20xzn6gaq6b9x534pa2vq1lppy7-agda-ial-1.5.0