| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: VIATRA Validation Engine Core |
| Bundle-SymbolicName: org.eclipse.viatra.addon.validation.core;singleton:=true |
| Bundle-Version: 1.3.1.qualifier |
| Require-Bundle: org.eclipse.viatra.query.runtime;bundle-version="1.0.0", |
| org.eclipse.viatra.transformation.evm;bundle-version="1.0.0", |
| com.google.guava;bundle-version="10.0.0" |
| Export-Package: org.eclipse.viatra.addon.validation.core, |
| org.eclipse.viatra.addon.validation.core.api, |
| org.eclipse.viatra.addon.validation.core.listeners, |
| org.eclipse.viatra.addon.validation.core.violationkey |
| Bundle-ActivationPolicy: lazy |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.7 |
| Bundle-Vendor: Eclipse VIATRA Project |
| Import-Package: org.apache.log4j |