Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Yager
Bundle-SymbolicName: flintstones.quantifiers.yager
Bundle-Version: 1.0.0.qualifier
Automatic-Module-Name: flintstones.quantifiers.yager
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: flintstones.quantifiers.yager