Include test and benchmark dependencies

Licenses for cryptol

Return to license list

License Packages
BSD-2-Clause
  • constraints
  • indexed-traversable
  • indexed-traversable-instances
  • invariant
  • lens
  • megaparsec
  • prettyprinter
  • text
  • time
BSD-3-Clause
  • Cabal
  • GraphSCC
  • MemoTrie
  • QuickCheck
  • StateVar
  • Win32
  • adjunctions
  • ansi-terminal
  • ansi-wl-pprint
  • array
  • assoc
  • async
  • attoparsec
  • base
  • bifunctors
  • bimap
  • binary
  • bitwise
  • blaze-builder
  • blaze-html
  • blaze-markup
  • bv-sized
  • bytestring
  • bytestring-builder
  • case-insensitive
  • clock
  • comonad
  • containers
  • contravariant
  • cryptohash-sha1
  • cryptol
  • deepseq
  • deriving-compat
  • directory
  • distributive
  • exceptions
  • extra
  • filepath
  • fingertree
  • free
  • generic-deriving
  • ghc-bignum
  • ghc-boot-th
  • ghc-byteorder
  • ghc-prim
  • gitrev
  • hashable
  • hashtables
  • haskeline
  • integer-gmp
  • io-streams
  • kan-extensions
  • mintty
  • monad-control
  • monadLib
  • mtl
  • nats
  • network
  • newtype-generics
  • old-locale
  • old-time
  • optparse-applicative
  • parallel
  • parameterized-utils
  • parsec
  • parser-combinators
  • pretty
  • primitive
  • process
  • profunctors
  • random
  • reflection
  • sbv
  • scientific
  • semigroupoids
  • semigroups
  • simple-smt
  • splitmix
  • stm
  • strict
  • syb
  • tagged
  • template-haskell
  • temporary
  • tf-random
  • th-lift
  • th-lift-instances
  • these
  • transformers
  • transformers-base
  • transformers-compat
  • type-equality
  • uniplate
  • unordered-containers
  • utf8-string
  • vector
  • versions
  • void
  • what4
  • zenc
  • zlib
  • zlib-bindings
ISC
  • panic
  • th-abstraction
LicenseRef-PublicDomain
  • heredoc
MIT
  • base-compat
  • base-orphans
  • call-stack
  • colour
  • config-value
  • data-binary-ieee754
  • integer-logarithms
  • libBF