Skip to content
Snippets Groups Projects
Commit 52ea23fa authored by bendisposto's avatar bendisposto
Browse files

Update MANIFEST.MF

parent 8b2aa1b4
Branches
No related tags found
No related merge requests found
...@@ -2,7 +2,7 @@ Manifest-Version: 1.0 ...@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator Core Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.4.0.qualifier Bundle-Version: 9.4.1.qualifier
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,1.8.0)", org.rodinp.core;bundle-version="[1.7.0,1.8.0)",
org.eventb.core;bundle-version="[3.0.0,3.1.0)", org.eventb.core;bundle-version="[3.0.0,3.1.0)",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment