Include test and benchmark dependencies

Licenses for copilot-cbmc

Return to license list

License Packages
BSD-2-Clause
  • text
BSD-3-Clause
  • FloatingHex
  • QuickCheck
  • Win32
  • array
  • async
  • binary
  • bytestring
  • containers
  • copilot-c99
  • copilot-cbmc
  • copilot-core
  • copilot-sbv
  • crackNum
  • deepseq
  • directory
  • dlist
  • filepath
  • generic-deriving
  • ghc-boot-th
  • ghc-prim
  • hashable
  • integer-gmp
  • mtl
  • old-locale
  • old-time
  • pretty
  • process
  • random
  • sbv
  • splitmix
  • stm
  • syb
  • template-haskell
  • time
  • transformers
ISC
  • th-abstraction
MIT
  • language-c99
  • language-c99-simple
  • language-c99-util
Unknown
  • base
  • ghc