diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 6e17122bafd972396b100d44eb111e57fbc2cc70..e43c74d0e391136d608ccf9f485c3508dd60a1e8 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -76,11 +76,11 @@ Bundle-Activator: de.prob.core.internal.Activator
 Eclipse-BuddyPolicy: registered
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-ClassPath: .,
- lib/dependencies/answerparser-2.12.8-SNAPSHOT.jar,
- lib/dependencies/bparser-2.12.8-SNAPSHOT.jar,
- lib/dependencies/ltlparser-2.12.8-SNAPSHOT.jar,
- lib/dependencies/parserbase-2.12.8-SNAPSHOT.jar,
- lib/dependencies/prologlib-2.12.8-SNAPSHOT.jar,
- lib/dependencies/sablecc-runtime-3.7.0-SNAPSHOT.jar,
- lib/dependencies/theorymapping-2.12.8-SNAPSHOT.jar,
- lib/dependencies/unicode-2.12.8-SNAPSHOT.jar
+ lib/dependencies/answerparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/bparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/unicode-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/prologlib-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/parserbase-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/ltlparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/theorymapping-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/sablecc-runtime-3.7.0-SNAPSHOT.jar