GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity

Update stack.yaml to match cabal requirement on containers version

Browse Source 
macaw.cabal requires 'containers >= 0.5.8.1', but this is newer than the version
available via the stack lts-6.23 resolver. Specifying acceptable versions of
containers (and lens and kan-extensions) in stack.yaml lets us 'stack build'.
This commit is contained in:
Ben Davis 2017-01-18 11:02:16 -05:00
parent 49c10bbc00
commit 72c8ff19d5
No known key found for this signature in database
GPG Key ID: 65EE8F9A9C863EF2
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
stack.yaml
View File

@ -6,4 +6,7 @@ packages:
- 'deps/galois-dwarf'
- 'deps/parameterized-utils'
extra-deps:
- containers-0.5.8.1
- kan-extensions-5.0.1
- lens-4.15.1
resolver: lts-6.23