diff --git a/versions/tvm b/versions/tvm
deleted file mode 100644
index 366579d26..000000000
--- a/versions/tvm
+++ /dev/null
@@ -1 +0,0 @@
-v0.10.dev0
\ No newline at end of file
diff --git a/versions/verilator b/versions/verilator
deleted file mode 100644
index 246f76ff1..000000000
--- a/versions/verilator
+++ /dev/null
@@ -1 +0,0 @@
-v4.026-92-g890cecc1
\ No newline at end of file