Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: VIATRA2 R3 Term Interpreter Bundle-SymbolicName: org.eclipse.viatra2.gtasm.interpreter.term;singleton:=true Bundle-Version: 3.3.0.qualifier Require-Bundle: org.eclipse.viatra2.core2, org.eclipse.viatra2.gtasm.model, org.eclipse.viatra2.gtasm.patternmatcher, org.eclipse.viatra2.gtasm.interpreter Export-Package: org.eclipse.viatra2.gtasm.interpreter.term.rules Bundle-Vendor: BUTE-FTSRG Bundle-ClassPath: . Bundle-RequiredExecutionEnvironment: JavaSE-1.6