resolver: lts-9.17 # resolver: lts-9.21 # resolver: lts-10.7 packages: - . extra-deps: - z3-4.1.2