Skip to content
Snippets Groups Projects
Commit f9fcc74a authored by Lukas Ladenberger's avatar Lukas Ladenberger
Browse files

increased version number from org.rodinp.core to exclusive 1.7.0 (needed 

for installation in rodin v2.6)
parent 5e631a65
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob.core/META-INF/MANIFEST.MF
+ 1
− 1
View file @ f9fcc74a
...@@ -4,7 +4,7 @@ Bundle-Name: ProB Animator Core ...@@ -4,7 +4,7 @@ Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.2.1.qualifier Bundle-Version: 9.2.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.6.0)", org.rodinp.core;bundle-version="[1.3.1,1.7.0)",
org.eventb.core;bundle-version="[2.1.0,2.6.0)", org.eventb.core;bundle-version="[2.1.0,2.6.0)",
org.eventb.emf.core;bundle-version="2.2.4", org.eventb.emf.core;bundle-version="2.2.4",
org.eventb.emf.persistence;bundle-version="2.4.0" org.eventb.emf.persistence;bundle-version="2.4.0"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment