Merge pull request #1317 from GaloisInc/update-deps

Update submodules.
GaloisInc · Jun 7, 2021 · e5ed6d0 · e5ed6d0
2 parents a823f13 + c2cc6c9
commit e5ed6d0
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/dwarf b/deps/dwarf
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/macaw b/deps/macaw