Skip to content
Snippets Groups Projects
Commit 3f13ca8b authored by bendisposto's avatar bendisposto
Browse files

Update MANIFEST.MF

parent a3610885
No related branches found
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.3.1,1.7.0)", org.rodinp.core;bundle-version="[1.3.1,1.7.0)",
org.eventb.core;bundle-version="[2.5.0,3.0.0)", org.eventb.core;bundle-version="[2.5.0,3.0.0)",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment