Licenses for cryptol

Return to license list

License	Packages
BSD-2-Clause	constraints indexed-traversable indexed-traversable-instances invariant lens megaparsec parsec prettyprinter prettyprinter-ansi-terminal semigroupoids text time
BSD-3-Clause	BoundedChan Cabal Cabal-syntax GraphSCC MemoTrie OneTuple QuickCheck StateVar Win32 adjunctions aeson ansi-terminal ansi-terminal-types array assoc async attoparsec base bifunctors bimap binary bitwise blaze-builder blaze-html blaze-markup boring bv-sized bytestring bytestring-builder case-insensitive chimera clock comonad concurrent-extra containers contravariant criterion-measurement cryptohash-sha1 cryptol data-array-byte data-fix deepseq deriving-compat directory distributive dlist exceptions extra filepath fingertree free generic-deriving generically ghc-bignum ghc-boot-th ghc-prim gitrev hashable hashtables haskeline hgmp ieee754 infinite-list integer-conversion integer-gmp io-streams kan-extensions libffi monad-control monadLib mtl nats network network-uri newtype-generics numtype-dk old-locale old-time optparse-applicative ordered-containers os-string parallel parameterized-utils parser-combinators pretty primitive process profunctors random reflection s-cargot sbv scientific semialign semigroups semirings simple-smt splitmix stm strict syb tagged template-haskell temporary text-iso8601 text-short tf-random th-lift th-lift-instances these time-compat transformers transformers-base transformers-compat type-equality unbounded-delays uniplate unordered-containers utf8-string uuid-types vector vector-stream versions void what4 witherable zenc zlib zlib-bindings
ISC	panic th-abstraction
LicenseRef-PublicDomain	heredoc
MIT	arithmoi base-compat base-compat-batteries base-orphans call-stack colour config-value exact-pi haskell-lexer integer-logarithms integer-roots language-c99 language-c99-simple language-c99-util libBF mod pretty-show safe-exceptions unliftio unliftio-core
Zlib	zlib-clib