← Back to branch summary

~ubuntu-branches/ubuntu/natty/minisat2/natty

Viewing all changes in revision 7.

  • Committer: Bazaar Package Importer
  • Author(s): Michael Tautschnig
  • Date: 2010-07-25 22:02:54 UTC
  • Revision ID: james.westby@ubuntu.com-20100725220254-882wm0jajxf0pfvi
Tags: 1:2.2.0-2
http://bugs.debian.org/590254
http://bugs.debian.org/590255
* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: