diff --git a/cranelift/Cargo.toml b/cranelift/Cargo.toml
index d74d5cd2c2..8c1730e6a8 100644
--- a/cranelift/Cargo.toml
+++ b/cranelift/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "cretonne-tools"
 authors = ["The Cretonne Project Developers"]
-version = "0.12.0"
+version = "0.13.0"
 description = "Binaries for testing the Cretonne libraries"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -14,16 +14,16 @@ path = "src/cton-util.rs"
 
 [dependencies]
 cfg-if = "0.1"
-cretonne-codegen = { path = "lib/codegen", version = "0.12.0" }
-cretonne-reader = { path = "lib/reader", version = "0.12.0" }
-cretonne-frontend = { path = "lib/frontend", version = "0.12.0" }
-cretonne-wasm = { path = "lib/wasm", version = "0.12.0", optional = true }
-cretonne-native = { path = "lib/native", version = "0.12.0" }
-cretonne-filetests = { path = "lib/filetests", version = "0.12.0" }
-cretonne-module = { path = "lib/module", version = "0.12.0" }
-cretonne-faerie = { path = "lib/faerie", version = "0.12.0" }
-cretonne-simplejit = { path = "lib/simplejit", version = "0.12.0" }
-cretonne = { path = "lib/umbrella", version = "0.12.0" }
+cretonne-codegen = { path = "lib/codegen", version = "0.13.0" }
+cretonne-reader = { path = "lib/reader", version = "0.13.0" }
+cretonne-frontend = { path = "lib/frontend", version = "0.13.0" }
+cretonne-wasm = { path = "lib/wasm", version = "0.13.0", optional = true }
+cretonne-native = { path = "lib/native", version = "0.13.0" }
+cretonne-filetests = { path = "lib/filetests", version = "0.13.0" }
+cretonne-module = { path = "lib/module", version = "0.13.0" }
+cretonne-faerie = { path = "lib/faerie", version = "0.13.0" }
+cretonne-simplejit = { path = "lib/simplejit", version = "0.13.0" }
+cretonne = { path = "lib/umbrella", version = "0.13.0" }
 filecheck = "0.3.0"
 docopt = "1"
 serde = "1.0.8"
diff --git a/cranelift/publish-all.sh b/cranelift/publish-all.sh
index f9fc306059..8f5f26fc09 100755
--- a/cranelift/publish-all.sh
+++ b/cranelift/publish-all.sh
@@ -4,7 +4,7 @@ topdir=$(dirname "$0")
 cd "$topdir"
 
 # All the cretonne-* crates have the same version number
-version="0.12.0"
+version="0.13.0"
 
 # Update all of the Cargo.toml files.
 #
diff --git a/lib/codegen/Cargo.toml b/lib/codegen/Cargo.toml
index 43c073c721..415aa6534a 100644
--- a/lib/codegen/Cargo.toml
+++ b/lib/codegen/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne-codegen"
-version = "0.12.0"
+version = "0.13.0"
 description = "Low-level code generator library"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -11,7 +11,7 @@ keywords = ["compile", "compiler", "jit"]
 build = "build.rs"
 
 [dependencies]
-cretonne-entity = { path = "../entity", version = "0.12.0", default-features = false }
+cretonne-entity = { path = "../entity", version = "0.13.0", default-features = false }
 failure = { version = "0.1.1", default-features = false, features = ["derive"] }
 failure_derive = { version = "0.1.1", default-features = false }
 hashmap_core = { version = "0.1.8", optional = true }
diff --git a/lib/entity/Cargo.toml b/lib/entity/Cargo.toml
index 83516f86ec..d438f4e065 100644
--- a/lib/entity/Cargo.toml
+++ b/lib/entity/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne-entity"
-version = "0.12.0"
+version = "0.13.0"
 description = "Data structures using entity references as mapping keys"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
diff --git a/lib/faerie/Cargo.toml b/lib/faerie/Cargo.toml
index b5cd90f295..cc248678d3 100644
--- a/lib/faerie/Cargo.toml
+++ b/lib/faerie/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-faerie"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["The Cretonne Project Developers"]
 description = "Emit Cretonne output to native object files with Faerie"
 repository = "https://github.com/cretonne/cretonne"
@@ -9,8 +9,8 @@ license = "Apache-2.0"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0" }
-cretonne-module = { path = "../module", version = "0.12.0" }
+cretonne-codegen = { path = "../codegen", version = "0.13.0" }
+cretonne-module = { path = "../module", version = "0.13.0" }
 faerie = "0.4.2"
 goblin = "0.0.15"
 failure = "0.1.1"
diff --git a/lib/filetests/Cargo.toml b/lib/filetests/Cargo.toml
index 756e81f13a..2ff5589d16 100644
--- a/lib/filetests/Cargo.toml
+++ b/lib/filetests/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "cretonne-filetests"
 authors = ["The Cretonne Project Developers"]
-version = "0.12.0"
+version = "0.13.0"
 description = "Test driver and implementations of the filetest commands"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/en/latest/testing.html#file-tests"
@@ -9,7 +9,7 @@ repository = "https://github.com/cretonne/cretonne"
 publish = false
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0" }
-cretonne-reader = { path = "../reader", version = "0.12.0" }
+cretonne-codegen = { path = "../codegen", version = "0.13.0" }
+cretonne-reader = { path = "../reader", version = "0.13.0" }
 filecheck = "0.3.0"
 num_cpus = "1.8.0"
diff --git a/lib/frontend/Cargo.toml b/lib/frontend/Cargo.toml
index a46c9f2f05..aef504dfe6 100644
--- a/lib/frontend/Cargo.toml
+++ b/lib/frontend/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne-frontend"
-version = "0.12.0"
+version = "0.13.0"
 description = "Cretonne IR builder helper"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -9,7 +9,7 @@ repository = "https://github.com/cretonne/cretonne"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
 
 [features]
 default = ["std"]
diff --git a/lib/module/Cargo.toml b/lib/module/Cargo.toml
index 60a7a5d2b8..de97231b33 100644
--- a/lib/module/Cargo.toml
+++ b/lib/module/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-module"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["The Cretonne Project Developers"]
 description = "Support for linking functions and data with Cretonne"
 repository = "https://github.com/cretonne/cretonne"
@@ -9,8 +9,8 @@ license = "Apache-2.0"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
-cretonne-entity = { path = "../entity", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
+cretonne-entity = { path = "../entity", version = "0.13.0", default-features = false }
 hashmap_core = { version = "0.1.8", optional = true }
 failure = "0.1.1"
 
diff --git a/lib/native/Cargo.toml b/lib/native/Cargo.toml
index 18d92b43d4..0efa247104 100644
--- a/lib/native/Cargo.toml
+++ b/lib/native/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-native"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["The Cretonne Project Developers"]
 description = "Support for targeting the host with Cretonne"
 repository = "https://github.com/cretonne/cretonne"
@@ -8,7 +8,7 @@ license = "Apache-2.0"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
 target-lexicon = { version = "0.0.2", default-features = false }
 
 [target.'cfg(any(target_arch = "x86", target_arch = "x86_64"))'.dependencies]
diff --git a/lib/reader/Cargo.toml b/lib/reader/Cargo.toml
index c0e6f40402..b6b3a19b50 100644
--- a/lib/reader/Cargo.toml
+++ b/lib/reader/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne-reader"
-version = "0.12.0"
+version = "0.13.0"
 description = "Cretonne textual IR reader"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -9,7 +9,7 @@ repository = "https://github.com/cretonne/cretonne"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0" }
+cretonne-codegen = { path = "../codegen", version = "0.13.0" }
 target-lexicon = "0.0.2"
 
 [badges]
diff --git a/lib/simplejit/Cargo.toml b/lib/simplejit/Cargo.toml
index ed04e90a07..8d359ac48d 100644
--- a/lib/simplejit/Cargo.toml
+++ b/lib/simplejit/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-simplejit"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["The Cretonne Project Developers"]
 description = "A simple JIT library backed by Cretonne"
 repository = "https://github.com/cretonne/cretonne"
@@ -9,9 +9,9 @@ license = "Apache-2.0"
 readme = "README.md"
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
-cretonne-module = { path = "../module", version = "0.12.0", default-features = false }
-cretonne-native = { path = "../native", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
+cretonne-module = { path = "../module", version = "0.13.0", default-features = false }
+cretonne-native = { path = "../native", version = "0.13.0", default-features = false }
 region = "0.3.0"
 libc = { version = "0.2.40", default-features = false }
 errno = "0.2.3"
diff --git a/lib/umbrella/Cargo.toml b/lib/umbrella/Cargo.toml
index 8220c75861..a23be961cb 100644
--- a/lib/umbrella/Cargo.toml
+++ b/lib/umbrella/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne"
-version = "0.12.0"
+version = "0.13.0"
 description = "Umbrella for commonly-used cretonne crates"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -10,8 +10,8 @@ readme = "README.md"
 keywords = ["compile", "compiler", "jit"]
 
 [dependencies]
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
-cretonne-frontend = { path = "../frontend", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
+cretonne-frontend = { path = "../frontend", version = "0.13.0", default-features = false }
 
 [features]
 default = ["std"]
diff --git a/lib/wasm/Cargo.toml b/lib/wasm/Cargo.toml
index 00f0a772a5..aa9c2d772c 100644
--- a/lib/wasm/Cargo.toml
+++ b/lib/wasm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-wasm"
-version = "0.12.0"
+version = "0.13.0"
 authors = ["The Cretonne Project Developers"]
 description = "Translator from WebAssembly to Cretonne IR"
 repository = "https://github.com/cretonne/cretonne"
@@ -10,8 +10,8 @@ keywords = ["webassembly", "wasm"]
 
 [dependencies]
 wasmparser = { version = "0.17.0", default-features = false }
-cretonne-codegen = { path = "../codegen", version = "0.12.0", default-features = false }
-cretonne-frontend = { path = "../frontend", version = "0.12.0", default-features = false }
+cretonne-codegen = { path = "../codegen", version = "0.13.0", default-features = false }
+cretonne-frontend = { path = "../frontend", version = "0.13.0", default-features = false }
 hashmap_core = { version = "0.1.8", optional = true }
 failure = { version = "0.1.1", default-features = false, features = ["derive"] }
 failure_derive = { version = "0.1.1", default-features = false }