Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

requirements.txt

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    This project manages its dependencies using pip. Learn more
    MANIFEST.MF 1.17 KiB 
    Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: org.eventb.core.ast;singleton:=true
Bundle-Version: 3.5.0.qualifier
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Export-Package: org.eventb.core.ast,
 org.eventb.core.ast.datatype,
 org.eventb.core.ast.expanders,
 org.eventb.core.ast.extension,
 org.eventb.internal.core.ast;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.datatype;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.extension;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.wd;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.lexer;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.parser;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.parser.operators;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.typecheck;x-friends:="org.eventb.core.ast.tests"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Activator: org.eventb.internal.core.ast.ASTPlugin
Require-Bundle: org.eclipse.core.runtime
Eclipse-ExtensibleAPI: true
Automatic-Module-Name: org.eventb.core.ast