smcdel-1.1.0: stack.yaml

resolver: lts-14.16

packages:
- '.'

extra-deps:
- git: https://github.com/m4lvin/cudd.git
  commit: 32f7d6b764a80bbf8f84c07e2c1d691469aaaba0
- HasCacBDD-0.1.0.2