diff --git a/libafl_concolic/symcc_libafl/Cargo.toml b/libafl_concolic/symcc_libafl/Cargo.toml
index 6f91514f71..6fbd1aa93c 100644
--- a/libafl_concolic/symcc_libafl/Cargo.toml
+++ b/libafl_concolic/symcc_libafl/Cargo.toml
@@ -2,6 +2,13 @@
 name = "symcc_libafl"
 version = "0.1.0"
 edition = "2018"
+authors = ["Julius Hohnerlein <julihoh@users.noreply.github.com>", "Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
+description = "Meta package for symcc_runtime"
+documentation = "https://docs.rs/symcc_libafl"
+repository = "https://github.com/AFLplusplus/LibAFL/"
+readme = "README.md"
+license = "MIT OR Apache-2.0"
+keywords = ["fuzzing", "testing", "security"]
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
diff --git a/libafl_concolic/symcc_libafl/README.md b/libafl_concolic/symcc_libafl/README.md
new file mode 100644
index 0000000000..b791118803
--- /dev/null
+++ b/libafl_concolic/symcc_libafl/README.md
@@ -0,0 +1,5 @@
+This is a support crate for [symcc_runtime](https://crates.io/crates/symcc_runtime).
+It defines a stable URL and commit hash for th [LibAFL](https://github.com/AFLplusplus/LibAFL) [fork](https://github.com/AFLplusplus/symcc) of [SymCC](https://github.com/eurecom-s3/symcc).
+It also provides convenient methods to clone and build SymCC to be used in build scripts in LibAFL based fuzzers.
+
+[Documentation](https://docs.rs/symcc_libafl)
\ No newline at end of file
diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml
index cba873f69a..03c0d13c8f 100644
--- a/libafl_concolic/symcc_runtime/Cargo.toml
+++ b/libafl_concolic/symcc_runtime/Cargo.toml
@@ -2,7 +2,14 @@
 name = "symcc_runtime"
 version = "0.1.0"
 edition = "2018"
-authors = ["Julius Hohnerlein <julihoh@users.noreply.github.com>"]
+authors = ["Julius Hohnerlein <julihoh@users.noreply.github.com>", "Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
+description = "Build Concolic Tracing tools based on SymCC in Rust"
+documentation = "https://docs.rs/symcc_runtime"
+repository = "https://github.com/AFLplusplus/LibAFL/"
+readme = "README.md"
+license = "MIT OR Apache-2.0"
+keywords = ["fuzzing", "testing", "security"]
+build = "build.rs"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
@@ -14,7 +21,7 @@ no-cpp-runtime = []
 unchecked_unwrap = "3"
 ctor = "0.1"
 libc = "0.2"
-libafl = {path = "../../libafl"}
+libafl = {path = "../../libafl", version="0.5"}
 
 [build-dependencies]
 cmake = "0.1"
@@ -22,4 +29,4 @@ bindgen = "0.58"
 regex = "1"
 lazy_static = "1.4"
 which = "4.1"
-symcc_libafl = {path = "../symcc_libafl"}
\ No newline at end of file
+symcc_libafl = {path = "../symcc_libafl", version="0.1"}
\ No newline at end of file
diff --git a/libafl_concolic/symcc_runtime/README.md b/libafl_concolic/symcc_runtime/README.md
new file mode 100644
index 0000000000..d688687889
--- /dev/null
+++ b/libafl_concolic/symcc_runtime/README.md
@@ -0,0 +1,3 @@
+# SymCC Concolic Tracing Runtime Rust Bindings
+This crate allows you to build custom runtimes for SymCC.
+See the [documentation](https://docs.rs/symcc_runtime) for details.
diff --git a/scripts/publish.sh b/scripts/publish.sh
index d61b206353..df3ce22a8b 100755
--- a/scripts/publish.sh
+++ b/scripts/publish.sh
@@ -4,6 +4,18 @@ cd "$SCRIPT_DIR/.."
 
 set -e
 
+cd libafl_concolic/symcc_libafl
+cargo publish $@
+cd ../..
+
+sleep 20
+
+cd libafl_concolic/symcc_runtime
+cargo publish $@
+cd ../..
+
+sleep 20
+
 cd libafl_derive
 cargo publish $@
 cd ..