diff --git a/.gitmodules b/.gitmodules
index e9face3..8b13789 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1 @@
-[submodule "CoreVersions/0.2.1/Frameworks/Flake"]
-	path = CoreVersions/0.2.1/Frameworks/Flake
-	url = https://github.com/jeromeschneider/Flake.git
-[submodule "CoreVersions/0.2.1/Frameworks/Formal"]
-	path = CoreVersions/0.2.1/Frameworks/Formal
-	url = https://github.com/jeromeschneider/Formal.git
+
diff --git a/Core b/Core
deleted file mode 120000
index 12d27b9..0000000
--- a/Core
+++ /dev/null
@@ -1 +0,0 @@
-CoreVersions/0.2.1
\ No newline at end of file
diff --git a/CoreVersions/0.2.1/Frameworks/Flake b/CoreVersions/0.2.1/Frameworks/Flake
deleted file mode 160000
index 1de6d8d..0000000
--- a/CoreVersions/0.2.1/Frameworks/Flake
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1de6d8dc3d6408619cd23dda28ce7d6284ad63e9
diff --git a/CoreVersions/0.2.1/Frameworks/Formal b/CoreVersions/0.2.1/Frameworks/Formal
deleted file mode 160000
index d83f38d..0000000
--- a/CoreVersions/0.2.1/Frameworks/Formal
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d83f38d3880a82650ea4f93c815a8211245f58fe