Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: VIATRA2 R3 ASM Interpreter Implementation
Bundle-SymbolicName: org.eclipse.viatra2.gtasm.interpreter.impl;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.core.runtime,
 org.eclipse.viatra2.gtasm.interpreter,
 org.eclipse.viatra2.gtasm.interpreter.term,
 org.eclipse.viatra2.gtasm.support;bundle-version="3.2.0"
Bundle-Vendor: BUTE-FTSRG
Bundle-ActivationPolicy: lazy
Bundle-ClassPath: .
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Export-Package: org.eclipse.viatra2.gtasm.interpreter.impl.executionEnvironment,
 org.eclipse.viatra2.gtasm.interpreter.impl.rules