| BSD-2-Clause |
- parsec
- prettyprinter
- prettyprinter-ansi-terminal
- text
- time
|
| BSD-3-Clause |
- Cabal
- Cabal-syntax
- Win32
- ansi-terminal
- ansi-terminal-types
- array
- base
- binary
- bytestring
- containers
- data-array-byte
- deepseq
- directory
- exceptions
- file-io
- filepath
- generic-deriving
- ghc-bignum
- ghc-boot-th
- ghc-internal
- ghc-prim
- mtl
- optparse-applicative
- os-string
- pretty
- process
- stm
- tagged
- template-haskell
- transformers
- transformers-compat
|
| ISC |
|
| MIT |
- call-stack
- colour
- smtlib-backends
- smtlib-backends-tests
- tasty
- tasty-hunit
|