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

glueminisat-debuginfo-2.2.5-3.fc17 RPM for x86_64

From Fedora 17 updates for x86_64 / debug

Name: glueminisat-debuginfo Distribution: Fedora Project
Version: 2.2.5 Vendor: Fedora Project
Release: 3.fc17 Build date: Fri Apr 27 22:10:17 2012
Group: Development/Debug Build host: x86-11.phx2.fedoraproject.org
Size: 841623 Source RPM: glueminisat-2.2.5-3.fc17.src.rpm
Packager: Fedora Project
Url: http://glueminisat.nabelab.org/
Summary: Debug information for package glueminisat
 
This package provides debug information for package glueminisat.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

MIT

Changelog

* Wed Apr 25 2012 John C. Peterson <jcp@eskimo.com> - 2.2.5-3
  - Wrote an HTML "intro" document with links to David Wheeler's MiniSat tutorial
  - Fixed minor typo error in the comments about the URL tag value
  - Added some additional information to the package description
* Tue Apr 24 2012 John C. Peterson <jcp@eskimo.com> - 2.2.5-2
  - Replaced the usage of redundant global "myname" with standard macro "name"
  - Replaced the occurrences of glueminisat with "name" macro in source, patches
  - Sent the patches to upstream (Hidetomo Nabeshima, the primary author)
  - Addition to glueminisat-printf.patch (based on feedback from author)
* Sat Apr 14 2012 John C. Peterson <jcp@eskimo.com> - 2.2.5-1
  - Note that GlueMiniSat is a derivative work of the MiniSat 2.2 SAT solver
  - Initial RPM spec file is based on the one from the Fedora minisat2 package
  - Cosmetic patch to keep progress messages under 80 characters (avoids wrap)
  - Adapted the FPU patch from the Fedora minisat2 package

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/16699eea8d8ea7f3fadf29fdda0f94d89edc92
/usr/lib/debug/.build-id/48/16699eea8d8ea7f3fadf29fdda0f94d89edc92.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/glueminisat.debug
/usr/src/debug/glueminisat-2.2.5
/usr/src/debug/glueminisat-2.2.5/core
/usr/src/debug/glueminisat-2.2.5/core/Dimacs.h
/usr/src/debug/glueminisat-2.2.5/core/RecentVals.h
/usr/src/debug/glueminisat-2.2.5/core/Solver.cc
/usr/src/debug/glueminisat-2.2.5/core/Solver.h
/usr/src/debug/glueminisat-2.2.5/core/SolverTypes.h
/usr/src/debug/glueminisat-2.2.5/mtl
/usr/src/debug/glueminisat-2.2.5/mtl/Alg.h
/usr/src/debug/glueminisat-2.2.5/mtl/Alloc.h
/usr/src/debug/glueminisat-2.2.5/mtl/Heap.h
/usr/src/debug/glueminisat-2.2.5/mtl/Map.h
/usr/src/debug/glueminisat-2.2.5/mtl/Queue.h
/usr/src/debug/glueminisat-2.2.5/mtl/Sort.h
/usr/src/debug/glueminisat-2.2.5/mtl/Vec.h
/usr/src/debug/glueminisat-2.2.5/mtl/XAlloc.h
/usr/src/debug/glueminisat-2.2.5/simp
/usr/src/debug/glueminisat-2.2.5/simp/Main.cc
/usr/src/debug/glueminisat-2.2.5/simp/SimpSolver.cc
/usr/src/debug/glueminisat-2.2.5/simp/SimpSolver.h
/usr/src/debug/glueminisat-2.2.5/utils
/usr/src/debug/glueminisat-2.2.5/utils/Options.cc
/usr/src/debug/glueminisat-2.2.5/utils/Options.h
/usr/src/debug/glueminisat-2.2.5/utils/ParseUtils.h
/usr/src/debug/glueminisat-2.2.5/utils/System.cc
/usr/src/debug/glueminisat-2.2.5/utils/System.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue May 21 04:50:33 2013