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

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