update libs

informalsystems · Dec 8, 2021 · 3579d4b · 3579d4b
1 parent 8c3bff5
commit 3579d4b
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/go/third_party/mbt/target/x86_64-pc-windows-gnu/release/libmbt.a b/go/third_party/mbt/target/x86_64-pc-windows-gnu/release/libmbt.a
diff --git a/go/third_party/mbt/target/x86_64-unknown-linux-gnu/release/libmbt.a b/go/third_party/mbt/target/x86_64-unknown-linux-gnu/release/libmbt.a
diff --git a/go/third_party/mbt/target/x86_64-unknown-linux-musl/release/libmbt.a b/go/third_party/mbt/target/x86_64-unknown-linux-musl/release/libmbt.a