[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