| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: %pluginName |
| Bundle-SymbolicName: org.eclipse.viatra.debug.example;singleton:=true |
| Bundle-Version: 1.0.0.qualifier |
| Bundle-ClassPath: . |
| Bundle-Vendor: %providerName |
| Bundle-Localization: plugin |
| Require-Bundle: com.google.guava, |
| org.eclipse.xtext.xbase.lib, |
| org.eclipse.xtend.lib, |
| org.eclipse.xtend.lib.macro, |
| org.eclipse.core.runtime, |
| org.eclipse.emf.ecore;bundle-version="2.11.0";visibility:=reexport, |
| org.eclipse.uml2.types;visibility:=reexport, |
| org.eclipse.emf.mwe2.runtime;bundle-version="2.8.0", |
| org.eclipse.viatra.emf.mwe2integration;bundle-version="0.8.0", |
| org.eclipse.viatra.emf.runtime;bundle-version="0.7.0", |
| org.eclipse.viatra.debug.example.queries;bundle-version="0.0.1", |
| org.eclipse.uml2.uml;bundle-version="5.1.0";visibility:=reexport, |
| org.eclipse.incquery.runtime;bundle-version="1.0.0", |
| org.eclipse.incquery.runtime.evm;bundle-version="1.0.0", |
| org.eclipse.emf.mwe2.launch;bundle-version="2.8.0", |
| org.eclipse.uml2;bundle-version="5.0.0", |
| org.junit, |
| org.eclipse.viatra.emf.runtime.debug;bundle-version="0.8.0", |
| org.eclipse.viatra.emf.runtime.tracer;bundle-version="0.8.0", |
| org.eclipse.viatra.emf.mwe2integration.debug;bundle-version="0.8.0", |
| org.eclipse.viatra.emf.runtime.debug.ui;bundle-version="0.8.0", |
| org.eclipse.viatra.debug.example.targetmodel;bundle-version="1.0.0", |
| org.eclipse.viatra.debug.example.tracemodel;bundle-version="1.0.0" |
| Bundle-ActivationPolicy: lazy |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| Export-Package: org.eclipse.viatra.debug.example, |
| org.eclipse.viatra.debug.example.transformation, |
| org.eclipse.viatra.debug.example.transformation.mwe2, |
| org.eclipse.viatra.debug.example.transformation.rules |
