Include test and benchmark dependencies

Licenses for MiniAgda

Return to license list

License Packages
BSD-2-Clause
  • text
  • time
BSD-3-Clause
  • Cabal
  • Win32
  • array
  • base
  • binary
  • bytestring
  • containers
  • deepseq
  • directory
  • filepath
  • ghc-bignum
  • ghc-boot-th
  • ghc-prim
  • haskell-src-exts
  • integer-gmp
  • mtl
  • parsec
  • pretty
  • process
  • template-haskell
  • transformers
LicenseRef-OtherLicense
  • MiniAgda