Build tree for "agda-stdlib" on toolchain "clang_glibc"

• 1 None
  • 0 None
    • 127 /usr/bin/pacman -T agda
  • ? sudo /usr/bin/pacman --noconfirm --color never --noprogressbar -S --asdeps agda