Include test and benchmark dependencies

Licenses for MiniAgda

Return to license list

License Packages
BSD-2-Clause
  • parsec
  • text
  • time
BSD-3-Clause
  • Cabal
  • Cabal-syntax
  • Win32
  • array
  • base
  • binary
  • bytestring
  • containers
  • data-array-byte
  • deepseq
  • directory
  • exceptions
  • filepath
  • ghc-bignum
  • ghc-boot-th
  • ghc-prim
  • haskell-src-exts
  • mtl
  • pretty
  • process
  • stm
  • template-haskell
  • transformers
MIT
  • MiniAgda