architecture: all component: main package: sat4j priority: optional section: science srcpkg_name: sat4j srcpkg_version: 2.3.5-0.3 version: 2.3.5-0.3