| BSD-3-Clause |
- Cabal
- Cabal-syntax
- QuickCheck
- Win32
- array
- async
- base
- bimap
- binary
- bytestring
- containers
- data-array-byte
- deepseq
- directory
- exceptions
- fgl
- file-io
- filepath
- funsat
- generic-deriving
- ghc-bignum
- ghc-boot-th
- ghc-internal
- ghc-prim
- hashable
- integer-gmp
- microlens
- microlens-mtl
- microlens-th
- minisat
- mtl
- old-locale
- old-time
- os-string
- parse-dimacs
- pretty
- process
- random
- splitmix
- stm
- template-haskell
- transformers
- transformers-compat
|