Include test and benchmark dependencies

Licenses for copilot-theorem

Return to license list

License Packages
BSD-2-Clause
  • text
BSD-3-Clause
  • Win32
  • ansi-terminal
  • array
  • base
  • bimap
  • binary
  • bytestring
  • containers
  • copilot-core
  • copilot-theorem
  • data-default
  • data-default-class
  • data-default-instances-containers
  • data-default-instances-dlist
  • data-default-instances-old-locale
  • deepseq
  • directory
  • dlist
  • exceptions
  • filepath
  • generic-deriving
  • ghc-boot-th
  • ghc-prim
  • integer-gmp
  • mintty
  • mtl
  • old-locale
  • parsec
  • pretty
  • process
  • random
  • stm
  • template-haskell
  • time
  • transformers
  • transformers-compat
  • xml
ISC
  • th-abstraction
MIT
  • colour