lp:ubuntu/quantal/sat4j

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

18. By Jeremy Bícha on 2012-06-26

* debian/ant.properties:
  - Use target=1.7 to fix build with OpenJDK7 (LP: #888997)

17. By Michael Tautschnig on 2012-03-04

* New upstream release
* Bumped standards version to 3.9.3 (no changes)
* Added link to existing (but CC-BY-NC-ND) documentation
  (closes: #635357)
* No longer requires maxsat-as-patch

16. By Michael Tautschnig on 2011-10-24

* Reworked debian/rules using dh+jh (closes: #641378)
* Cleanup patch names to make dpkg happy
* Build level 1.5 bytecode as requested on eclipse/linuxtools-dev

15. By Michael Tautschnig on 2011-08-10

Include maxsat solver (closes: #636784)

14. By Michael Tautschnig on 2011-06-16

* New upstream release (closes: #630720)
* Bumped standards version to 3.9.2 (no changes)

13. By Michael Tautschnig on 2011-02-08

* New upstream release
* Changed build-date from SQUEEZE to WHEEZY

12. By Michael Tautschnig on 2010-08-16

Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse
happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181)

11. By Michael Tautschnig on 2010-08-01

* Disabled very expensive tests
  CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS
  (closes: #591140)
* Bumped standards version to 3.9.1 (no changes)

10. By Michael Tautschnig on 2010-06-24

* New upstream release (closes: #586437)
  - added Breaks: eclipse (<= 3.5.2-3) as requested by eclipse devs

9. By Michael Tautschnig on 2010-04-13

* Bumped standards version to 3.8.4 (no changes)
* Use ${java:Depends} and javahelper to get proper dependencies (closes:
  #577479)