Include test and benchmark dependencies

Licenses for free-theorems-counterexamples

Return to license list

License Packages
BSD-2-Clause
  • text
BSD-3-Clause
  • HUnit
  • Win32
  • array
  • base
  • binary
  • bytestring
  • cgi
  • containers
  • deepseq
  • exceptions
  • filepath
  • generic-deriving
  • ghc-boot-th
  • ghc-prim
  • haskell-src
  • haskell-src-exts
  • integer-gmp
  • mtl
  • multipart
  • network-uri
  • parsec
  • pretty
  • stm
  • stringsearch
  • syb
  • template-haskell
  • time
  • transformers
  • transformers-compat
  • utf8-string
  • xhtml
ISC
  • th-abstraction
LicenseRef-PublicDomain
  • free-theorems
  • free-theorems-counterexamples
MIT
  • call-stack