From c85d2ce052003c5d54db973c8a2051953cf0e745 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Wed, 22 Jun 2022 07:08:11 -0400 Subject: [PATCH] Update submodule versions --- cabal.project | 2 +- deps/crucible | 2 +- deps/cryptol | 2 +- deps/dwarf | 2 +- deps/elf-edit | 2 +- deps/flexdis86 | 2 +- deps/jvm-parser | 2 +- deps/llvm-pretty | 2 +- deps/llvm-pretty-bc-parser | 2 +- deps/macaw | 2 +- deps/parameterized-utils | 2 +- deps/what4 | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/cabal.project b/cabal.project index de2530ac38..7f67a14279 100644 --- a/cabal.project +++ b/cabal.project @@ -42,4 +42,4 @@ packages: source-repository-package type: git location: https://github.com/eddywestbrook/hobbits.git - tag: e2df7a85ea8dfebce2be8065afdca96cbaef12ae + tag: e49911ce987c4e0fea8c63608d16638b243b051f diff --git a/deps/crucible b/deps/crucible index e826210639..9946c88689 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit e826210639edaf608687041136443f056c25e596 +Subproject commit 9946c8868959350152a1b1c2fda4424e2b2a5a80 diff --git a/deps/cryptol b/deps/cryptol index 31bfcc63f9..cfb16318b5 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 31bfcc63f99b094c7c8627568e25f7d5fd8bd509 +Subproject commit cfb16318b5f67f762426d8a1386002e78e63bdf2 diff --git a/deps/dwarf b/deps/dwarf index ad6043e398..5c7101fc99 160000 --- a/deps/dwarf +++ b/deps/dwarf @@ -1 +1 @@ -Subproject commit ad6043e3982da49839d0dff02167dd66613003c7 +Subproject commit 5c7101fc9974788c62955a1739aba9d26ebf02bb diff --git a/deps/elf-edit b/deps/elf-edit index e7d7a38f9b..d6d26540ed 160000 --- a/deps/elf-edit +++ b/deps/elf-edit @@ -1 +1 @@ -Subproject commit e7d7a38f9bc9dfb535b96c79c06150cac6281ce4 +Subproject commit d6d26540ed50348a597720b0015357bde34d504d diff --git a/deps/flexdis86 b/deps/flexdis86 index 9b899ed652..7109bdc999 160000 --- a/deps/flexdis86 +++ b/deps/flexdis86 @@ -1 +1 @@ -Subproject commit 9b899ed652c80dd22aa7dd9f6920d0d13a077bf6 +Subproject commit 7109bdc9990a3e756eb7fb07419737d15ad41da0 diff --git a/deps/jvm-parser b/deps/jvm-parser index b1a5a21684..6cb3fce6c3 160000 --- a/deps/jvm-parser +++ b/deps/jvm-parser @@ -1 +1 @@ -Subproject commit b1a5a216849a573ffc214c96b9aefb61e987365b +Subproject commit 6cb3fce6c390d8b4963ca211d0a3ca88fb6ec2ca diff --git a/deps/llvm-pretty b/deps/llvm-pretty index 34c95e77fb..64d43d9375 160000 --- a/deps/llvm-pretty +++ b/deps/llvm-pretty @@ -1 +1 @@ -Subproject commit 34c95e77fb9fdc584c23208f81f6072cb0e05c3f +Subproject commit 64d43d9375a819dc2a2df99fb98df24f049dcfaa diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index 1bad3e43c7..cbcf0954c2 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit 1bad3e43c7444e363ef4c3d9f954bc04b01b1795 +Subproject commit cbcf0954c23da0018df3cc6aae77290ae2efe53b diff --git a/deps/macaw b/deps/macaw index bbc0b6a40a..6a4f406c68 160000 --- a/deps/macaw +++ b/deps/macaw @@ -1 +1 @@ -Subproject commit bbc0b6a40a2b99875c45fe137c97cc6c9e142f7d +Subproject commit 6a4f406c680dc0438799ef5c95c94311e07e722a diff --git a/deps/parameterized-utils b/deps/parameterized-utils index 1baefb9892..a888f5862b 160000 --- a/deps/parameterized-utils +++ b/deps/parameterized-utils @@ -1 +1 @@ -Subproject commit 1baefb98929bbc658e0f56f21dcf0c83f7beacd9 +Subproject commit a888f5862b73a1575d36fef9327fcbe3dbcbff51 diff --git a/deps/what4 b/deps/what4 index 1786acf8d7..7501e28bba 160000 --- a/deps/what4 +++ b/deps/what4 @@ -1 +1 @@ -Subproject commit 1786acf8d720d51a415b30c08246f05a97b2e45d +Subproject commit 7501e28bba87807b191d300b7a9656bed32573c8