flags: {} extra-package-dbs: [] packages: - '.' - ../calculus extra-deps: - Cabal-1.24.0.0 - monad-classes-0.3.1.1 - peano-0.1.0.1 - uuagc-0.9.52.1 - uuagc-cabal-1.0.6.0 - uulib-0.9.22 explicit-setup-deps: '*': true resolver: lts-6.12