Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: VIATRA2 R3 Pattern matcher
Bundle-SymbolicName: org.eclipse.viatra2.gtasm.patternmatcher;singleton:=true
Bundle-Version: 3.3.0.qualifier
Bundle-ClassPath: .
Export-Package: org.eclipse.viatra2.gtasm.patternmatcher,
 org.eclipse.viatra2.gtasm.patternmatcher.exceptions,
 org.eclipse.viatra2.gtasm.patternmatcher.extension,
 org.eclipse.viatra2.gtasm.patternmatcher.patterns
Require-Bundle: org.eclipse.core.runtime,
 org.eclipse.viatra2.core2,
 org.eclipse.viatra2.gtasm.model,
 org.eclipse.viatra2.gtasm.interpreter,
 org.eclipse.viatra2.gtasm.support;bundle-version="3.2.0"
Bundle-Vendor: BUTE-FTSRG
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.eclipse.viatra2.gtasm.patternmatcher.extension.ViatraGTASMPatternMatcherPlugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6