/
MANIFEST.MF
22 lines (22 loc) · 972 Bytes
/
MANIFEST.MF
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-ActivationPolicy: lazy
Bundle-Version: 2.7.1.qualifier
Eclipse-BuddyPolicy: registered
Eclipse-BundleShape: dir
Bundle-Localization: plugin
Bundle-Name: org.overture.ide.builders.vdmj
Bundle-ManifestVersion: 2
Bundle-SymbolicName: org.overture.ide.builders.vdmj;singleton:=true
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: org.overture.ide.core
Export-Package: org.overture.ast.factory,org.overture.ide.builders.vdm
j,org.overture.typechecker,org.overture.typechecker.assistant,org.ove
rture.typechecker.assistant.definition,org.overture.typechecker.assis
tant.module,org.overture.typechecker.assistant.pattern,org.overture.t
ypechecker.assistant.type,org.overture.typechecker.util,org.overture.
typechecker.utilities,org.overture.typechecker.utilities.type,org.ove
rture.typechecker.visitor
Bundle-Activator: org.overture.ide.builders.vdmj.Activator
Bundle-ClassPath: .,
jars/typechecker.jar