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

Update submodules

Browse Source
This commit is contained in:
Joe Hendrix 2019-05-02 14:29:10 -07:00
parent d20a3a9820
commit 56cadae3ae
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/macaw-base.cabal
View File

@ -34,7 +34,7 @@ library
binary-symbols >= 0.1.2,
bytestring,
containers >= 0.5.8.1,
elf-edit >= 0.34,
elf-edit >= 0.34.1,
galois-dwarf,
IntervalMap >= 0.5,
lens >= 4.7,

2
deps/crucible vendored

@ -1 +1 @@
Subproject commit 4908e20654a753f7f5799a062070ecd6fba44359
Subproject commit 2456d8317ccca84e2b7132b7b8f32623f01a63a1

2
deps/elf-edit vendored

@ -1 +1 @@
Subproject commit 1b4608098e6ead9ce32e25c53c55c029d5d4511f
Subproject commit 7da7ee8f23af9d49ed95dca5f1f13f0057db4d6f