/gnu/store/vksbdifpc7hj37g6rlb5k1m73l7yn25i-agda-ial-1.5.0.drv

File name
/gnu/store/13zcc69zv9x2j5871hmshl2sgsc6qdqv-make-4.3.drv
/gnu/store/2dlwq7vmrqv1mx7yyv22rsgba7gpv0fm-diffutils-3.7.drv
/gnu/store/2grwlyfn24kq9p4h2bwi048glg0bbpg2-bzip2-1.0.8.drv
/gnu/store/2lzbx5q512246dzx3p6y4alfp7accdw6-findutils-4.7.0.drv
/gnu/store/3pkyzyr08y2xcsxb4z9im6h75s03iqwh-gzip-1.10.drv
/gnu/store/4mby438hfykqkvzaba6sabba62ppca96-gcc-7.5.0.drv
/gnu/store/8577smxgm4amwf3p0psg8rc2krrb3rr2-bash-minimal-5.0.16.drv
/gnu/store/8b7ya93fayqygpkb7mv581xpjj9yvj0k-tar-1.32.drv
/gnu/store/a6ki724b4k5dxaml2cqnmwy31swxmzf0-guile-3.0.2.drv
/gnu/store/cjfvjinwgskybdqckywy02ys5iv8sk1g-sed-4.8.drv
/gnu/store/dgjflfk38987g3vcgwnz0hsk020plnpj-gawk-5.0.1.drv
/gnu/store/dmxslb32xdd5sl9s15jm6kj5q5yz5nmw-linux-libre-headers-5.4.20.drv
/gnu/store/gg38zdrmnmnjxda64jx0bijqliwfhndc-grep-3.4.drv
/gnu/store/hjqv3spki9rwgqvb9ha0iimdq1dl204i-ld-wrapper-0.drv
/gnu/store/irxn8l1s2p949csi7r6vr708q6zi6wm7-binutils-2.34.drv
/gnu/store/iyjjqpdqkfzlf40y80wyg6a7lk9hp1zg-agda-2.6.0.1.drv
/gnu/store/j5cihx0yjm653gq383fy9k5122iw3gpr-agda-ial-1.5.0-checkout.drv
/gnu/store/j90y670abbaa20f6xzrlvcr7mkfk6hqz-coreutils-8.32.drv
/gnu/store/jpd1bs3ry73pd86xg2dws4f7ym5dbgn5-file-5.38.drv
/gnu/store/kph28nnzygkypv97xwbj1zd9iwxgjk5s-glibc-utf8-locales-2.31.drv
/gnu/store/v6dqj0ishhmjbaw5643m6hw5wwlq0lkh-module-import-compiled.drv
/gnu/store/v96hpm0hn2id2g62l78d6gza2za40b6d-glibc-2.31.drv
/gnu/store/w6yv3s92c5bqwa13ybaz252kvbfsjd1i-xz-5.2.4.drv
/gnu/store/z4pmnpxbgxyjpcndpzh19h2ix7zmyn05-patch-2.7.6.drv

Builder	/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
System	`aarch64-linux`

Unknown

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