diff --git a/cranelift/Cargo.toml b/cranelift/Cargo.toml
index 947b50b44a..73fab18586 100644
--- a/cranelift/Cargo.toml
+++ b/cranelift/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "cretonne-tools"
 authors = ["The Cretonne Project Developers"]
-version = "0.4.1"
+version = "0.4.2"
 description = "Binaries for testing the Cretonne library"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -13,12 +13,12 @@ name = "cton-util"
 path = "src/cton-util.rs"
 
 [dependencies]
-cretonne = { path = "lib/cretonne", version = "0.4.1" }
-cretonne-reader = { path = "lib/reader", version = "0.4.1" }
-cretonne-frontend = { path = "lib/frontend", version = "0.4.1" }
-cretonne-wasm = { path = "lib/wasm", version = "0.4.1" }
-cretonne-native = { path = "lib/native", version = "0.4.1" }
-cretonne-filetests = { path = "lib/filetests", version = "0.4.1" }
+cretonne = { path = "lib/cretonne", version = "0.4.2" }
+cretonne-reader = { path = "lib/reader", version = "0.4.2" }
+cretonne-frontend = { path = "lib/frontend", version = "0.4.2" }
+cretonne-wasm = { path = "lib/wasm", version = "0.4.2" }
+cretonne-native = { path = "lib/native", version = "0.4.2" }
+cretonne-filetests = { path = "lib/filetests", version = "0.4.2" }
 filecheck = "0.2.1"
 docopt = "0.8.0"
 serde = "1.0.8"
diff --git a/cranelift/publish-all.sh b/cranelift/publish-all.sh
index a29f308929..4ac7e2bcff 100755
--- a/cranelift/publish-all.sh
+++ b/cranelift/publish-all.sh
@@ -4,7 +4,7 @@ cd $(dirname "$0")
 topdir="$(pwd)"
 
 # All the cretonne-* crates have the same version number
-version="0.4.1"
+version="0.4.2"
 
 # Update all of the Cargo.toml files.
 #
diff --git a/lib/cretonne/Cargo.toml b/lib/cretonne/Cargo.toml
index 66cd819715..cf12060989 100644
--- a/lib/cretonne/Cargo.toml
+++ b/lib/cretonne/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 authors = ["The Cretonne Project Developers"]
 name = "cretonne"
-version = "0.4.1"
+version = "0.4.2"
 description = "Low-level code generator library"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
diff --git a/lib/filetests/Cargo.toml b/lib/filetests/Cargo.toml
index 0e37c1ef8d..48740ece84 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.4.1"
+version = "0.4.2"
 description = "Test driver and implementations of the filetest commands"
 license = "Apache-2.0"
 documentation = "http://cretonne.readthedocs.io/en/latest/testing.html#file-tests"
@@ -12,7 +12,7 @@ publish = false
 name = "cton_filetests"
 
 [dependencies]
-cretonne = { path = "../cretonne", version = "0.4.1" }
-cretonne-reader = { path = "../reader", version = "0.4.1" }
+cretonne = { path = "../cretonne", version = "0.4.2" }
+cretonne-reader = { path = "../reader", version = "0.4.2" }
 filecheck = "0.3.0"
 num_cpus = "1.8.0"
diff --git a/lib/frontend/Cargo.toml b/lib/frontend/Cargo.toml
index 0bef102c66..f63f4e7daf 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.4.1"
+version = "0.4.2"
 description = "Cretonne IR builder helper"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -12,7 +12,7 @@ readme = "README.md"
 name = "cton_frontend"
 
 [dependencies]
-cretonne = { path = "../cretonne", version = "0.4.1" }
+cretonne = { path = "../cretonne", version = "0.4.2" }
 
 [badges]
 maintenance = { status = "experimental" }
diff --git a/lib/native/Cargo.toml b/lib/native/Cargo.toml
index 31dbdb0708..3d959a700e 100644
--- a/lib/native/Cargo.toml
+++ b/lib/native/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-native"
-version = "0.4.1"
+version = "0.4.2"
 authors = ["The Cretonne Project Developers"]
 description = "Support for targeting the host with Cretonne"
 repository = "https://github.com/Cretonne/cretonne"
@@ -11,7 +11,7 @@ readme = "README.md"
 name = "cton_native"
 
 [dependencies]
-cretonne = { path = "../cretonne", version = "0.4.1" }
+cretonne = { path = "../cretonne", version = "0.4.2" }
 
 [target.'cfg(any(target_arch = "x86", target_arch = "x86_64"))'.dependencies]
 raw-cpuid = "3.0.0"
diff --git a/lib/reader/Cargo.toml b/lib/reader/Cargo.toml
index d8259a2027..a8c3c1ffd1 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.4.1"
+version = "0.4.2"
 description = "Cretonne textual IR reader"
 license = "Apache-2.0"
 documentation = "https://cretonne.readthedocs.io/"
@@ -12,7 +12,7 @@ readme = "README.md"
 name = "cton_reader"
 
 [dependencies]
-cretonne = { path = "../cretonne", version = "0.4.1" }
+cretonne = { path = "../cretonne", version = "0.4.2" }
 
 [badges]
 maintenance = { status = "experimental" }
diff --git a/lib/wasm/Cargo.toml b/lib/wasm/Cargo.toml
index b532f29c55..c8b9c9f6f5 100644
--- a/lib/wasm/Cargo.toml
+++ b/lib/wasm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cretonne-wasm"
-version = "0.4.1"
+version = "0.4.2"
 authors = ["The Cretonne Project Developers"]
 description = "Translator from WebAssembly to Cretonne IR"
 repository = "https://github.com/Cretonne/cretonne"
@@ -13,8 +13,8 @@ name = "cton_wasm"
 
 [dependencies]
 wasmparser = "0.15.1"
-cretonne = { path = "../cretonne", version = "0.4.1" }
-cretonne-frontend = { path = "../frontend", version = "0.4.1" }
+cretonne = { path = "../cretonne", version = "0.4.2" }
+cretonne-frontend = { path = "../frontend", version = "0.4.2" }
 
 [dev-dependencies]
 tempdir = "0.3.5"