GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-27 12:52:52 +03:00
Code Issues Projects Releases Wiki Activity

Fix parameterized-utils and bump version.

Browse Source
This commit is contained in:
Joe Hendrix 2019-06-05 09:50:12 -04:00
parent c3f747aa86
commit 4368ed6239
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/macaw-base.cabal
View File

@ -39,7 +39,7 @@ library
IntervalMap >= 0.5,
lens >= 4.7,
mtl,
parameterized-utils >= 1.0.7,
parameterized-utils >= 2.0.0.0.100,
template-haskell,
text,
vector,

2
deps/parameterized-utils vendored

@ -1 +1 @@
Subproject commit dc3b5a41daf6bc5b6c97cf4289db1fd860e15e80
Subproject commit 1562a0425a0634897c0698aa0f4c4f4c56519e1c