aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF')
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF36
1 files changed, 18 insertions, 18 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
index fd78a6ae..87ff7abc 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
@@ -3,24 +3,24 @@ Bundle-ManifestVersion: 2
3Bundle-Name: %pluginName 3Bundle-Name: %pluginName
4Bundle-SymbolicName: hu.bme.mit.inf.dlsreasoner.alloy.reasoner;singleton:=true 4Bundle-SymbolicName: hu.bme.mit.inf.dlsreasoner.alloy.reasoner;singleton:=true
5Bundle-Version: 1.0.0.qualifier 5Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: lib/alloy4.2_2015-02-22.jar, 6Bundle-ClassPath: lib/alloy4.2_2015-02-22.jar,
7 . 7 .
8Bundle-Vendor: %providerName 8Bundle-Vendor: %providerName
9Bundle-Localization: plugin 9Bundle-Localization: plugin
10Export-Package: hu.bme.mit.inf.dlsreasoner.alloy.reasoner, 10Export-Package: hu.bme.mit.inf.dlsreasoner.alloy.reasoner,
11 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder, 11 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder,
12 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries, 12 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries
13 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.util 13Require-Bundle: com.google.guava,
14Require-Bundle: com.google.guava, 14 org.eclipse.xtend.lib,
15 org.eclipse.xtend.lib, 15 org.eclipse.xtext.xbase.lib,
16 org.eclipse.xtext.xbase.lib, 16 org.eclipse.core.runtime,
17 org.eclipse.core.runtime, 17 org.eclipse.emf.ecore;visibility:=reexport,
18 org.eclipse.emf.ecore;visibility:=reexport, 18 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport,
19 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport, 19 hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0",
20 hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0", 20 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0",
21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0", 21 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
22 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 22 org.eclipse.viatra.query.runtime;bundle-version="2.0.0"
23 org.eclipse.viatra.query.runtime;bundle-version="2.0.0"
24Bundle-RequiredExecutionEnvironment: JavaSE-1.8
25Bundle-ActivationPolicy: lazy
26Import-Package: org.apache.log4j;version="1.2.15" 23Import-Package: org.apache.log4j;version="1.2.15"
24Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner
25Bundle-ActivationPolicy: lazy
26Bundle-RequiredExecutionEnvironment: JavaSE-1.8