| BSD-2-Clause |
|
| BSD-3-Clause |
- Cabal
- Cabal-syntax
- HUnit
- SHA
- Win32
- array
- attoparsec
- base
- base64-bytestring
- binary
- blaze-builder
- bytestring
- bytestring-builder
- cmdargs
- containers
- data-array-byte
- deepseq
- derive
- directory
- dlist
- exceptions
- fclabels
- file-io
- filepath
- generic-deriving
- ghc-bignum
- ghc-boot-th
- ghc-internal
- ghc-prim
- hashable
- haskell-src-exts
- mtl
- nats
- os-string
- parallel
- pretty
- primitive
- process
- safe
- scientific
- semigroups
- split
- stm
- syb
- tagged
- template-haskell
- transformers
- transformers-compat
- uniplate
- unordered-containers
|
| ISC |
|
| LicenseRef-GPL |
- tamarin-prover-term
- tamarin-prover-theory
- tamarin-prover-utils
|
| MIT |
- base-orphans
- call-stack
- integer-logarithms
|