On Wed, 07 Mar 2012 00:01:17 +0100 Jakub Adam <jakub.adam at ktknet.cz> wrote: > In the meantime downgrade of sat4j to version 2.3.0-3, which is now in testing should workaround the > problem. > It's OK after the downgrade, thank you. Vincent