Package: sat4j Version: 2.3.2-1 Severity: normal Tags: patch Dear Maintainer,
the upstream version 2.3.5 of the library was released. The new version is required, for example, in order to build latest Eclipse version. I can work on the packaging, if needed. -- System Information: Debian Release: jessie/sid APT prefers trusty-updates APT policy: (500, 'trusty-updates'), (500, 'trusty-security'), (500, 'trusty') Architecture: i386 (i686) Kernel: Linux 3.16.0-38-generic (SMP w/2 CPU cores) Locale: LANG=it_IT.utf8, LC_CTYPE=it_IT.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages sat4j depends on: ii default-jre [java7-runtime] 2:1.7-51 ii jarwrapper 0.45ubuntu1 ii libcommons-cli-java 1.2-3ubuntu1 ii openjdk-6-jre [java6-runtime] 6b38-1.13.10-0ubuntu0.14.04.1 ii openjdk-7-jre [java7-runtime] 7u95-2.6.4-0ubuntu0.14.04.1 sat4j recommends no packages. sat4j suggests no packages. -- no debconf information
