** Changed in: sat4j (Debian)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/888997
Title:
sat4j version 2.3.0-3 failed to build with openjdk-7
To manage notificat
** Changed in: sat4j (Debian)
Status: Unknown => New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/888997
Title:
sat4j version 2.3.0-3 failed to build with openjdk-7
To manage notifications
** Branch linked: lp:ubuntu/sat4j
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/888997
Title:
sat4j version 2.3.0-3 failed to build with openjdk-7
To manage notifications about this bug go to:
http
This bug was fixed in the package sat4j - 2.3.1-1ubuntu1
---
sat4j (2.3.1-1ubuntu1) quantal; urgency=low
* debian/ant.properties:
- Use target=1.7 to fix build with OpenJDK7 (LP: #888997)
-- Jeremy BichaTue, 26 Jun 2012 11:49:17 -0400
** Changed in: sat4j (Ubuntu)
S
** Bug watch added: Debian Bug tracker #678007
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678007
** Also affects: sat4j (Debian) via
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678007
Importance: Unknown
Status: Unknown
--
You received this bug notification because you
** Changed in: sat4j (Ubuntu)
Assignee: (unassigned) => James Page (james-page)
** Changed in: sat4j (Ubuntu)
Status: New => In Progress
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/88899
Reconfirmed in Ubuntu Quantal - adding ftbfs tag.
** Tags added: ftbfs
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/888997
Title:
sat4j version 2.3.0-3 failed to build with openjdk-7
To manage no
