stack-lts-6.yaml

# This file was automatically generated by stack init
# For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration/

# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
resolver: lts-6.35

# ghc-options:
    # All packages
    # "*": -W -j8 -fwarn-missing-signatures 
    #      -fwarn-incomplete-uni-patterns
    #      -fwarn-missing-methods
    #      -fno-ignore-asserts
    #      -fwarn-tabs
    # literate-unitb: -Werror
    # literate-unitb-scripts: -Werror
    # literate-unitb-utils: -Werror
    # literate-unitb-latex: -Werror

# Local packages, usually specified by relative directory name
packages:
- literate-unitb-cli/
- literate-unitb-synthesis/
- literate-unitb-docs/
- literate-unitb-verifier/
- literate-unitb-logic/
- literate-unitb-config/
- literate-unitb-scripts/
- literate-unitb-utils/
- literate-unitb-latex/
- syntax-error/
- unitb-testing/
-   location: libs
    subdirs:
    - typelist-functor/
    - classy-lens-hierarchy/
    - bipartite-graph/
    - string-lenses/
    - pretty-printable/
    - partial-order/
    - show-with/
    - data-packaged/
    - generic-instances/
    - data-compressed/
    - file-system-mockup/
    - co-applicative/
    - lens-extra/
    - transformer-lenses/
    - unfoldable/

- location:
    git: https://github.com/unitb/serialize-instances.git
    commit: ff3faa9cf976e68be8d769b5960a1b4db3b9bf63
- location:
    git: https://github.com/unitb/quickcheck-report.git
    commit: 1bcc8cd5a91bc660346d1df7eb6ebb1a8152e865
- location:
    git: https://github.com/unitb/axiomatic-classes.git
    commit: 24ce269668f39a74ba1fe0628c4f6d65e092870c
- location:
    git: https://github.com/unitb/invariants.git
    commit: e644470ef8c16d5b1631b23ff3a127f8596955b8
- location:
    git: https://github.com/unitb/existential.git
    commit: c3ebd7b2b0d20a471c51bcd391dab649a9693606
# Packages to be pulled from upstream that are not in the resolver (e.g., acme-missiles-0.3)
extra-deps: 
- assert-0.0.1.2
- monoid-transformer-0.0.3
- portable-lines-0.1
- pseudomacros-0.0.2
- map-syntax-0.2.0.1
- MissingH-1.3.0.2
- pseudomacros-0.0.2
- th-printf-0.3.1
- portable-template-haskell-lens-0.1.0.0
- zlib-0.6.1.0
- quickcheck-text-0.1.2.1

# Override default flag values for local packages and extra-deps
flags: {}

# Extra package databases containing global packages
extra-package-dbs: []

# Control whether we use the GHC we find on the path
# system-ghc: true

# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: >= 1.0.0

# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64

# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]

# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor