Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

minisat2-debuginfo-2.2.0-1.fc15 RPM for x86_64

From Fedora 15 updates for x86_64 / debug

Name: minisat2-debuginfo Distribution: Fedora Project
Version: 2.2.0 Vendor: Fedora Project
Release: 1.fc15 Build date: Thu Jun 23 00:16:23 2011
Group: Development/Debug Build host: x86-06.phx2.fedoraproject.org
Size: 740769 Source RPM: minisat2-2.2.0-1.fc15.src.rpm
Packager: Fedora Project
Url: http://minisat.se/
Summary: Debug information for package minisat2
 
This package provides debug information for package minisat2.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

MIT

Changelog

* Wed Jun 22 2011 Jerry James <loganjerry@gmail.com> - 2.2.0-1
  - New upstream version
  - Drop upstreamed template patch
  - Drop unnecessary spec file elements (BuildRoot, etc.)
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-10.20070721
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sat Jul 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-9.20070721
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0-8.20070721
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-7.20070721
  - Removed code for switching between -O2 and -O3, per reviewer request.
* Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-6.20070721
  - Timing tests found -O3 was unhelpful; switched back to -O2, but left stub
    in case a switch to another -O level would help in the future.
    -O3 real 0m35.714s, 0m35.714s, 0m35.834s vs. -O2 real 0m35.296s, 0m35.301s
* Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-5.20070721
  - Moved to higher optimization level (-O3); speed is critical for this app.
* Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-4.20070721
  - Different version number convention to better conform to Fedora guidelines
  - Made macro use consistent (not used for simple commands)
  - Documented when patches and documentation sent upstream
* Sat Jun 28 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-3.20070721
  - Use "make r" instead of "make" to create "released" version
  - Wrote brief user guide, included as part of this package.
* Fri Jun 27 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-2.20070721
  - Switched from minimal "core" to more-capable "simp" (simplifier)
  - Change "make" invocation so CFLAGS includes %{optflags}
  - Add test file and %check section (so we'd know if it worked!)
  - Modified description for people who don't know what SAT solvers are.
* Thu Jun 26 2008 Earl Sammons <esammons at, hush.com> 2.0-1.20070721
  - Initial build
  - Include Debian patches minisat2-FPU.patch and minisat2-template.patch

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/972b981d696c03b70d692797be1258fd8db9e1
/usr/lib/debug/.build-id/0f/972b981d696c03b70d692797be1258fd8db9e1.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/minisat.debug
/usr/src/debug/niklasso-minisat-eb01ad6
/usr/src/debug/niklasso-minisat-eb01ad6/core
/usr/src/debug/niklasso-minisat-eb01ad6/core/Dimacs.h
/usr/src/debug/niklasso-minisat-eb01ad6/core/Solver.cc
/usr/src/debug/niklasso-minisat-eb01ad6/core/Solver.h
/usr/src/debug/niklasso-minisat-eb01ad6/core/SolverTypes.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Alg.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Alloc.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Heap.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Map.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Queue.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Sort.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/Vec.h
/usr/src/debug/niklasso-minisat-eb01ad6/mtl/XAlloc.h
/usr/src/debug/niklasso-minisat-eb01ad6/simp
/usr/src/debug/niklasso-minisat-eb01ad6/simp/Main.cc
/usr/src/debug/niklasso-minisat-eb01ad6/simp/SimpSolver.cc
/usr/src/debug/niklasso-minisat-eb01ad6/simp/SimpSolver.h
/usr/src/debug/niklasso-minisat-eb01ad6/utils
/usr/src/debug/niklasso-minisat-eb01ad6/utils/Options.cc
/usr/src/debug/niklasso-minisat-eb01ad6/utils/Options.h
/usr/src/debug/niklasso-minisat-eb01ad6/utils/ParseUtils.h
/usr/src/debug/niklasso-minisat-eb01ad6/utils/System.cc
/usr/src/debug/niklasso-minisat-eb01ad6/utils/System.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 13 06:22:50 2013