diff --git a/data/ecosystems/r/runtime-verification.toml b/data/ecosystems/r/runtime-verification.toml
index 65489c88..896ca258 100644
--- a/data/ecosystems/r/runtime-verification.toml
+++ b/data/ecosystems/r/runtime-verification.toml
@@ -78,6 +78,9 @@ url = "https://github.com/runtimeverification/k-box"
 [[repo]]
 url = "https://github.com/runtimeverification/k-versus-evm"
 
+[[repo]]
+url = "https://github.com/runtimeverification/k-vs-coq-language-frameworks"
+
 [[repo]]
 url = "https://github.com/runtimeverification/kevm"
 
@@ -96,6 +99,9 @@ url = "https://github.com/runtimeverification/llvmmop"
 [[repo]]
 url = "https://github.com/runtimeverification/match"
 
+[[repo]]
+url = "https://github.com/runtimeverification/michelson-semantics"
+
 [[repo]]
 url = "https://github.com/runtimeverification/MINGW-packages"