| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: org.polarsys.chess.safetyAnalysis |
| Bundle-SymbolicName: org.polarsys.chess.contracts.safetyAnalysis;singleton:=true |
| Bundle-Version: 1.0.0.qualifier |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| Require-Bundle: org.eclipse.core.commands, |
| eu.fbk.eclipse.standardtools.ModelTranslatorToOcra, |
| org.eclipse.swt, |
| org.eclipse.uml2.uml, |
| eu.fbk.eclipse.standardtools.utils;bundle-version="1.0.0", |
| eu.fbk.eclipse.standardtools.ExecOcraCommands, |
| org.polarsys.chess.contracts.verificationService;bundle-version="1.0.0", |
| org.polarsys.chess.service, |
| org.eclipse.papyrus.marte.static.profile;bundle-version="1.2.0", |
| eu.fbk.tools.adapter.core, |
| org.polarsys.chess.chessmlprofile, |
| org.eclipse.ui.workbench, |
| org.polarsys.chess.contracts.profile |
| Bundle-Vendor: Eclipse Chess Project |
| Import-Package: org.eclipse.core.runtime, |
| org.polarsys.chess.service.gui.utils |