diff --git a/Cargo.lock b/Cargo.lock
index f597c2ac6bc..e69a6c423bc 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -4026,7 +4026,7 @@ dependencies = [
 
 [[package]]
 name = "linera-base"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -4072,7 +4072,7 @@ dependencies = [
 
 [[package]]
 name = "linera-chain"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "assert_matches",
  "async-graphql",
@@ -4096,7 +4096,7 @@ dependencies = [
 
 [[package]]
 name = "linera-client"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "amm",
  "anyhow",
@@ -4157,7 +4157,7 @@ dependencies = [
 
 [[package]]
 name = "linera-core"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4202,7 +4202,7 @@ dependencies = [
 
 [[package]]
 name = "linera-ethereum"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-lock",
@@ -4221,7 +4221,7 @@ dependencies = [
 
 [[package]]
 name = "linera-execution"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4266,7 +4266,7 @@ dependencies = [
 
 [[package]]
 name = "linera-explorer"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "console_error_panic_hook",
@@ -4292,7 +4292,7 @@ dependencies = [
 
 [[package]]
 name = "linera-indexer"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "async-graphql",
  "async-graphql-axum",
@@ -4320,7 +4320,7 @@ dependencies = [
 
 [[package]]
 name = "linera-indexer-example"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -4343,7 +4343,7 @@ dependencies = [
 
 [[package]]
 name = "linera-indexer-graphql-client"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "graphql_client",
  "linera-base",
@@ -4360,7 +4360,7 @@ dependencies = [
 
 [[package]]
 name = "linera-indexer-plugins"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "async-graphql",
  "async-trait",
@@ -4378,7 +4378,7 @@ dependencies = [
 
 [[package]]
 name = "linera-rpc"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -4421,7 +4421,7 @@ dependencies = [
 
 [[package]]
 name = "linera-sdk"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -4454,7 +4454,7 @@ dependencies = [
 
 [[package]]
 name = "linera-sdk-derive"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "convert_case 0.6.0",
  "proc-macro2",
@@ -4463,7 +4463,7 @@ dependencies = [
 
 [[package]]
 name = "linera-service"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "amm",
  "anyhow",
@@ -4546,7 +4546,7 @@ dependencies = [
 
 [[package]]
 name = "linera-service-graphql-client"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "fungible",
  "graphql_client",
@@ -4569,7 +4569,7 @@ dependencies = [
 
 [[package]]
 name = "linera-storage"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -4588,7 +4588,7 @@ dependencies = [
 
 [[package]]
 name = "linera-storage-service"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-lock",
@@ -4616,7 +4616,7 @@ dependencies = [
 
 [[package]]
 name = "linera-version"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -4636,7 +4636,7 @@ dependencies = [
 
 [[package]]
 name = "linera-views"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -4679,7 +4679,7 @@ dependencies = [
 
 [[package]]
 name = "linera-views-derive"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "cfg_aliases",
  "insta",
@@ -4817,7 +4817,7 @@ dependencies = [
 
 [[package]]
 name = "linera-witty"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4838,7 +4838,7 @@ dependencies = [
 
 [[package]]
 name = "linera-witty-macros"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "cfg_aliases",
  "heck 0.4.1",
@@ -4850,7 +4850,7 @@ dependencies = [
 
 [[package]]
 name = "linera-witty-test-modules"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "wit-bindgen 0.7.0",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 7ae4c7bd35f..0f2e1cbd205 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -28,7 +28,7 @@ exclude = ["examples", "scripts"]
 resolver = "2"
 
 [workspace.package]
-version = "0.13.0"
+version = "0.13.1"
 authors = ["Linera <contact@linera.io>"]
 repository = "https://github.com/linera-io/linera-protocol"
 homepage = "https://linera.dev"
@@ -172,28 +172,28 @@ web-time = "1.1.0"
 wit-bindgen = "0.24.0"
 zstd = "0.13.2"
 
-linera-base = { version = "0.13.0", path = "./linera-base" }
-linera-chain = { version = "0.13.0", path = "./linera-chain" }
-linera-client = { version = "0.13.0", path = "./linera-client" }
-linera-core = { version = "0.13.0", path = "./linera-core", default-features = false }
-linera-ethereum = { version = "0.13.0", path = "./linera-ethereum", default-features = false }
-linera-execution = { version = "0.13.0", path = "./linera-execution", default-features = false }
-linera-indexer = { version = "0.13.0", path = "./linera-indexer/lib" }
-linera-indexer-graphql-client = { version = "0.13.0", path = "./linera-indexer/graphql-client" }
-linera-indexer-plugins = { version = "0.13.0", path = "./linera-indexer/plugins" }
-linera-rpc = { version = "0.13.0", path = "./linera-rpc" }
-linera-sdk = { version = "0.13.0", path = "./linera-sdk" }
-linera-storage = { version = "0.13.0", path = "./linera-storage", default-features = false }
-linera-storage-service = { version = "0.13.0", path = "./linera-storage-service", default-features = false }
-linera-version = { version = "0.13.0", path = "./linera-version" }
-linera-views = { version = "0.13.0", path = "./linera-views", default-features = false }
-linera-views-derive = { version = "0.13.0", path = "./linera-views-derive" }
-linera-witty = { version = "0.13.0", path = "./linera-witty" }
-linera-witty-macros = { version = "0.13.0", path = "./linera-witty-macros" }
-linera-witty-test-modules  = { version = "0.13.0", path = "./linera-witty/test-modules" }
-linera-sdk-derive = { version = "0.13.0", path = "./linera-sdk-derive" }
-linera-service = { version = "0.13.0", path = "./linera-service", default-features = false }
-linera-service-graphql-client = { version = "0.13.0", path = "./linera-service-graphql-client" }
+linera-base = { version = "0.13.1", path = "./linera-base" }
+linera-chain = { version = "0.13.1", path = "./linera-chain" }
+linera-client = { version = "0.13.1", path = "./linera-client" }
+linera-core = { version = "0.13.1", path = "./linera-core", default-features = false }
+linera-ethereum = { version = "0.13.1", path = "./linera-ethereum", default-features = false }
+linera-execution = { version = "0.13.1", path = "./linera-execution", default-features = false }
+linera-indexer = { version = "0.13.1", path = "./linera-indexer/lib" }
+linera-indexer-graphql-client = { version = "0.13.1", path = "./linera-indexer/graphql-client" }
+linera-indexer-plugins = { version = "0.13.1", path = "./linera-indexer/plugins" }
+linera-rpc = { version = "0.13.1", path = "./linera-rpc" }
+linera-sdk = { version = "0.13.1", path = "./linera-sdk" }
+linera-storage = { version = "0.13.1", path = "./linera-storage", default-features = false }
+linera-storage-service = { version = "0.13.1", path = "./linera-storage-service", default-features = false }
+linera-version = { version = "0.13.1", path = "./linera-version" }
+linera-views = { version = "0.13.1", path = "./linera-views", default-features = false }
+linera-views-derive = { version = "0.13.1", path = "./linera-views-derive" }
+linera-witty = { version = "0.13.1", path = "./linera-witty" }
+linera-witty-macros = { version = "0.13.1", path = "./linera-witty-macros" }
+linera-witty-test-modules  = { version = "0.13.1", path = "./linera-witty/test-modules" }
+linera-sdk-derive = { version = "0.13.1", path = "./linera-sdk-derive" }
+linera-service = { version = "0.13.1", path = "./linera-service", default-features = false }
+linera-service-graphql-client = { version = "0.13.1", path = "./linera-service-graphql-client" }
 
 counter = { path = "./examples/counter" }
 meta-counter = { path = "./examples/meta-counter" }
diff --git a/examples/Cargo.lock b/examples/Cargo.lock
index 91b3f8fcd17..b982503228a 100644
--- a/examples/Cargo.lock
+++ b/examples/Cargo.lock
@@ -3216,7 +3216,7 @@ dependencies = [
 
 [[package]]
 name = "linera-base"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3253,7 +3253,7 @@ dependencies = [
 
 [[package]]
 name = "linera-chain"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "async-graphql",
  "async-trait",
@@ -3274,7 +3274,7 @@ dependencies = [
 
 [[package]]
 name = "linera-core"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3309,7 +3309,7 @@ dependencies = [
 
 [[package]]
 name = "linera-ethereum"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-lock",
@@ -3328,7 +3328,7 @@ dependencies = [
 
 [[package]]
 name = "linera-execution"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3366,7 +3366,7 @@ dependencies = [
 
 [[package]]
 name = "linera-sdk"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3397,7 +3397,7 @@ dependencies = [
 
 [[package]]
 name = "linera-sdk-derive"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "convert_case 0.6.0",
  "proc-macro2",
@@ -3406,7 +3406,7 @@ dependencies = [
 
 [[package]]
 name = "linera-storage"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "async-trait",
  "bcs",
@@ -3423,7 +3423,7 @@ dependencies = [
 
 [[package]]
 name = "linera-storage-service"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-lock",
@@ -3445,7 +3445,7 @@ dependencies = [
 
 [[package]]
 name = "linera-version"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3465,7 +3465,7 @@ dependencies = [
 
 [[package]]
 name = "linera-views"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "async-graphql",
@@ -3496,7 +3496,7 @@ dependencies = [
 
 [[package]]
 name = "linera-views-derive"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "cfg_aliases",
  "proc-macro2",
@@ -3631,7 +3631,7 @@ dependencies = [
 
 [[package]]
 name = "linera-witty"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "anyhow",
  "cfg_aliases",
@@ -3646,7 +3646,7 @@ dependencies = [
 
 [[package]]
 name = "linera-witty-macros"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "cfg_aliases",
  "heck 0.4.1",