Build tree for "agda" on toolchain "vanilla"

• 1 None
  • 0 None
    • 127 /usr/sbin/pacman -T ghc=8.0.1 alex happy haskell-boxes haskell-cpphs haskell-data-hash haskell-edisonapi haskell-edisoncore haskell-edit-distance haskell-equivalence haskell-filemanip haskell-geniplate-mirror haskell-hashable haskell-hashtables haskell-monadplus haskell-mtl haskell-parallel haskell-quickcheck haskell-src-exts haskell-strict haskell-text haskell-transformers-compat haskell-unordered-containers haskell-zlib
  • 0 /usr/sbin/pacman -T gmp libffi zlib
  • ? sudo /usr/sbin/pacman --noconfirm --color never --noprogressbar -S --asdeps alex happy haskell-boxes haskell-cpphs haskell-data-hash haskell-edisonapi haskell-edisoncore haskell-edit-distance haskell-equivalence haskell-filemanip haskell-geniplate-mirror haskell-hashable haskell-hashtables haskell-monadplus haskell-mtl haskell-parallel haskell-quickcheck haskell-src-exts haskell-strict haskell-text haskell-transformers-compat haskell-unordered-containers haskell-zlib