Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Viatra2 R3 GTASM Trigger Execution Support Plug-in
Bundle-SymbolicName: org.eclipse.viatra2.gtasm.trigger;singleton:=true
Bundle-Version: 3.3.0.qualifier
Bundle-Activator: org.eclipse.viatra2.gtasm.trigger.Activator
Bundle-Vendor: BUTE-FTSRG / Okros Andras
Require-Bundle: org.eclipse.core.runtime,
 org.eclipse.viatra2.core2,
 org.eclipse.viatra2.gtasm.model,
 org.eclipse.viatra2.gtasm.interpreter,
 org.eclipse.viatra2.gtasm.patternmatcher,
 org.eclipse.viatra2.gui,
 org.eclipse.ui,
 org.eclipse.ui.views,
 org.eclipse.viatra2.gtasm.interpreter.term,
 org.eclipse.viatra2.gtasm.interpreter.impl,
 org.eclipse.viatra2.gtasm.patternmatcher.incremental;bundle-version="3.0.0"
Bundle-ActivationPolicy: lazy
Export-Package: org.eclipse.viatra2.gtasm.trigger,
 org.eclipse.viatra2.gtasm.trigger.engine,
 org.eclipse.viatra2.gtasm.trigger.model,
 org.eclipse.viatra2.gtasm.trigger.natives,
 org.eclipse.viatra2.gtasm.trigger.view
Bundle-ClassPath: .
Bundle-RequiredExecutionEnvironment: JavaSE-1.6