mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-22 23:32:15 +03:00
Update cabal freeze files with satisfying lens version
This commit is contained in:
parent
98e98897e4
commit
4aa95c19c3
@ -130,7 +130,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
json +generic -mapdict +parsec +pretty +split-base,
|
||||
any.kan-extensions ==5.2.3,
|
||||
any.kvitable ==1.0.0.0,
|
||||
any.lens ==5.0.1,
|
||||
any.lens ==4.19.2,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.3,
|
||||
libBF -system-libbf,
|
||||
|
@ -131,7 +131,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
json +generic -mapdict +parsec +pretty +split-base,
|
||||
any.kan-extensions ==5.2.3,
|
||||
any.kvitable ==1.0.0.0,
|
||||
any.lens ==5.0.1,
|
||||
any.lens ==4.19.2,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.3,
|
||||
libBF -system-libbf,
|
||||
|
@ -131,7 +131,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
json +generic -mapdict +parsec +pretty +split-base,
|
||||
any.kan-extensions ==5.2.3,
|
||||
any.kvitable ==1.0.0.0,
|
||||
any.lens ==5.0.1,
|
||||
any.lens ==4.19.2,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.3,
|
||||
libBF -system-libbf,
|
||||
|
Loading…
Reference in New Issue
Block a user