lp:ubuntu/trusty/minisat2

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

11. By Michael Tautschnig on 2013-07-12

* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9

10. By Michael Tautschnig on 2011-09-03

Updated man page (closes: #638217)

9. By Michael Tautschnig on 2011-06-13

* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)

8. By Michael Tautschnig on 2011-03-29

* Upload of package with revamped build system to unstable.
* Rename main binary package to minisat, added transitional package.
* Use debhelper 7.

7. By Michael Tautschnig on 2010-07-25

* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).

6. By Michael Tautschnig on 2010-07-25

* New upstream version.
  - Introduced epoch as new versioning scheme is in use.
  - Added Vcs-Git and Vcs-Browser control fields.
  - Bumped SO version as all functions have been moved into a namespace.
  - Added patch 9bd8749.
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.9.0 (no changes)

5. By Michael Tautschnig on 2009-12-29

Added Homepage field.

4. By Michael Tautschnig on 2008-10-26

Completed man page (Closes: #501983)

3. By Michael Tautschnig on 2008-09-07

Also test for _FPU_GETCW being defined to fix FTBFS on alpha

2. By Michael Tautschnig on 2008-06-17

* Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined
  (fixes FTBFS)
* Improved description of package (Closes: #486602)