Bug#565540: override: sat4j:science/optional

[Michael Tautschnig]

Package: ftp.debian.org

Please upgrade the priority of sat4j to optional (was: extra) as upcoming
eclipse packages will depend on sat4j (and eclipse is optional). See also
#564439.

Best,
Michael

pgpD3aeKWDR66.pgp
Description: PGP signature