Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: models20.diversity-calculator;singleton:=true Bundle-Version: 1.0.0.qualifier Bundle-ClassPath: . Bundle-Vendor: %providerName Bundle-Localization: plugin Automatic-Module-Name: models20.diversity-calculator Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: familytree, familytree.impl, familytree.util, satellite, satellite.impl, satellite.util, TaxationWithRoot, TaxationWithRoot.impl, TaxationWithRoot.util Require-Bundle: org.eclipse.core.runtime, org.eclipse.emf.ecore;visibility:=reexport, com.google.guava, org.eclipse.xtext.xbase.lib, org.eclipse.xtend.lib, org.eclipse.xtend.lib.macro, hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", org.eclipse.emf.ecore.xmi;bundle-version="2.16.0", org.eclipse.viatra.query.runtime;bundle-version="2.2.0", org.eclipse.viatra.query.runtime.rete;bundle-version="2.2.0", org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.2.0", org.eclipse.collections;bundle-version="9.2.0" Bundle-ActivationPolicy: lazy