| Manifest-Version: 1.0 | |
| Bundle-ManifestVersion: 2 | |
| Bundle-Name: OpenCert CHESS Contracts Validation (Incubation) | |
| Bundle-SymbolicName: org.eclipse.opencert.chess.contracts.validation;singleton:=true | |
| Bundle-Version: 0.1.0.qualifier | |
| Bundle-Activator: org.eclipse.opencert.chess.contracts.validation.Activator | |
| Bundle-Vendor: Intecs | |
| Require-Bundle: org.eclipse.ui, | |
| org.eclipse.core.runtime, | |
| org.eclipse.emf.common;bundle-version="2.7.0", | |
| org.eclipse.uml2.uml;bundle-version="3.2.100", | |
| org.polarsys.chess.contracts.integration;bundle-version="0.9.0", | |
| org.polarsys.chess.validator;bundle-version="0.9.0", | |
| org.eclipse.papyrus.infra.core;bundle-version="1.0.0", | |
| org.eclipse.papyrus.uml.modelexplorer;bundle-version="1.0.0", | |
| org.eclipse.papyrus.infra.services.validation;bundle-version="1.0.0", | |
| org.eclipse.gmf.runtime.emf.commands.core;bundle-version="1.7.0", | |
| org.eclipse.swt, | |
| org.eclipse.papyrus.infra.gmfdiag.commands, | |
| org.polarsys.chess.contracts.profile, | |
| org.eclipse.opencert.chess.traceability;bundle-version="0.0.1", | |
| org.eclipse.opencert.sam.arg, | |
| org.eclipse.capra.core, | |
| org.eclipse.opencert.evm.evidspec | |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.6 | |
| Bundle-ActivationPolicy: lazy | |
| Export-Package: org.eclipse.opencert.chess.contracts.validation, | |
| org.eclipse.opencert.chess.contracts.validation.command, | |
| org.eclipse.opencert.chess.contracts.validation.constraints | |
| Import-Package: org.eclipse.papyrus.MARTE.MARTE_Annexes.VSL.DataTypes |