From 2c5bcac301c95ce4ca2222f1d068fe09318fae37 Mon Sep 17 00:00:00 2001
From: Curtis Spencer <41347+jubos@users.noreply.github.com>
Date: Tue, 28 Jan 2020 07:59:29 -0800
Subject: [PATCH] Added more repos for Runtime Verification

---
 data/ecosystems/r/runtime-verification.toml | 6 ++++++
 1 file changed, 6 insertions(+)

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"