| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: CPS Demonstrator Live Validation |
| Bundle-SymbolicName: org.eclipse.viatra.examples.cps.queries.validation;singleton:=true |
| Bundle-Version: 2.8.0.qualifier |
| Bundle-Vendor: IncQueryLabs Ltd. |
| Require-Bundle: org.eclipse.viatra.examples.cps.queries, |
| com.google.guava, |
| org.eclipse.viatra.examples.cps.model, |
| org.eclipse.viatra.examples.cps.traceability, |
| org.eclipse.viatra.examples.cps.deployment, |
| org.eclipse.viatra.query.runtime, |
| org.eclipse.viatra.addon.validation.core, |
| org.eclipse.viatra.addon.validation.runtime |
| Automatic-Module-Name: org.eclipse.viatra.examples.cps.queries.validation |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |