Ubuntu
minisat2 package

View Git repositories
Name Status Last Modified Last Commit
lp:ubuntu/wily/minisat2 1 Development 2015-05-06 21:47:21 UTC
12. * Fix C++ syntax to enable Clang buil...

Author: Michael Tautschnig
Revision Date: 2014-07-30 10:38:25 UTC

* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
lp:ubuntu/vivid/minisat2 2 Mature 2014-10-27 13:29:25 UTC
12. * Fix C++ syntax to enable Clang buil...

Author: Michael Tautschnig
Revision Date: 2014-07-30 10:38:25 UTC

* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
lp:ubuntu/utopic-proposed/minisat2 1 Development 2014-07-30 17:18:11 UTC
12. * Fix C++ syntax to enable Clang buil...

Author: Michael Tautschnig
Revision Date: 2014-07-30 10:38:25 UTC

* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
lp:ubuntu/utopic/minisat2 2 Mature 2014-07-30 10:38:25 UTC
12. * Fix C++ syntax to enable Clang buil...

Author: Michael Tautschnig
Revision Date: 2014-07-30 10:38:25 UTC

* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
lp:ubuntu/trusty/minisat2 2 Mature 2013-10-19 08:27:28 UTC
11. * Require a non-zero memory limit (cl...

Author: Michael Tautschnig
Revision Date: 2013-07-12 21:42:02 UTC

* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
lp:ubuntu/saucy-proposed/minisat2 1 Development 2013-07-14 22:47:47 UTC
11. * Require a non-zero memory limit (cl...

Author: Michael Tautschnig
Revision Date: 2013-07-12 21:42:02 UTC

* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
lp:ubuntu/saucy/minisat2 2 Mature 2013-07-12 21:42:02 UTC
11. * Require a non-zero memory limit (cl...

Author: Michael Tautschnig
Revision Date: 2013-07-12 21:42:02 UTC

* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
lp:ubuntu/raring/minisat2 2 Mature 2012-10-19 07:42:47 UTC
10. Updated man page (closes: #638217)

Author: Michael Tautschnig
Revision Date: 2011-09-03 21:03:43 UTC

Updated man page (closes: #638217)
lp:ubuntu/quantal/minisat2 2 Mature 2012-04-26 16:50:13 UTC
10. Updated man page (closes: #638217)

Author: Michael Tautschnig
Revision Date: 2011-09-03 21:03:43 UTC

Updated man page (closes: #638217)
lp:ubuntu/precise/minisat2 2 Mature 2011-10-13 18:31:29 UTC
10. Updated man page (closes: #638217)

Author: Michael Tautschnig
Revision Date: 2011-09-03 21:03:43 UTC

Updated man page (closes: #638217)
lp:ubuntu/oneiric/minisat2 2 Mature 2011-06-13 15:13:41 UTC
9. * Include headers from simp/ director...

Author: Michael Tautschnig
Revision Date: 2011-06-13 15:13:41 UTC

* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)
lp:ubuntu/natty/minisat2 2 Mature 2010-10-13 08:23:45 UTC
7. * Fix FTBFS due to undefined _FPU_{EX...

Author: Michael Tautschnig
Revision Date: 2010-07-25 22:02:54 UTC

* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).
lp:ubuntu/maverick/minisat2 2 Mature 2010-04-30 18:50:27 UTC
5. Added Homepage field.

Author: Michael Tautschnig
Revision Date: 2009-12-29 14:25:31 UTC

Added Homepage field.
lp:ubuntu/lucid/minisat2 1 Development 2009-12-29 14:25:31 UTC
5. Added Homepage field.

Author: Michael Tautschnig
Revision Date: 2009-12-29 14:25:31 UTC

Added Homepage field.
lp:ubuntu/jaunty/minisat2 2 Mature 2009-08-20 21:30:06 UTC
4. Completed man page (Closes: #501983)

Author: Michael Tautschnig
Revision Date: 2008-10-26 20:35:45 UTC

Completed man page (Closes: #501983)
lp:ubuntu/intrepid/minisat2 2 Mature 2009-08-20 21:29:47 UTC
2. * Test, whether _FPU_EXTENDED and _FP...

Author: Michael Tautschnig
Revision Date: 2008-06-17 21:51:01 UTC

* Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined
  (fixes FTBFS)
* Improved description of package (Closes: #486602)
lp:ubuntu/karmic/minisat2 1 Development 2009-08-20 21:24:26 UTC
4. Completed man page (Closes: #501983)

Author: Michael Tautschnig
Revision Date: 2008-10-26 20:35:45 UTC

Completed man page (Closes: #501983)
1 → 17 of 17 results First • Previous • Next • Last