Include test and benchmark dependencies

Licenses for copilot-libraries

Return to license list

License Packages
BSD-2-Clause
  • constraints
  • text
BSD-3-Clause
  • Win32
  • ansi-terminal
  • array
  • base
  • bimap
  • binary
  • bytestring
  • containers
  • copilot-core
  • copilot-language
  • copilot-libraries
  • copilot-theorem
  • data-default
  • data-default-class
  • data-default-instances-containers
  • data-default-instances-dlist
  • data-default-instances-old-locale
  • data-reify
  • deepseq
  • directory
  • dlist
  • exceptions
  • filepath
  • generic-deriving
  • ghc-boot-th
  • ghc-prim
  • hashable
  • integer-gmp
  • mintty
  • mtl
  • nats
  • old-locale
  • parsec
  • pretty
  • pretty-ncols
  • process
  • random
  • semigroups
  • stm
  • tagged
  • template-haskell
  • time
  • transformers
  • transformers-compat
  • unordered-containers
  • xml
GPL-3.0-only
  • smtlib2
ISC
  • th-abstraction
LicenseRef-OtherLicense
  • dependent-map
LicenseRef-PublicDomain
  • dependent-sum
MIT
  • colour