Ubuntu
minisat2 package

Branches for Intrepid

Name Status Last Modified Last Commit
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)
1 → 1 of 1 result First • Previous • Next • Last