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

minisat-devel-2.2.1+20200902-bp160.1.13 RPM for aarch64

From OpenSuSE Leap 16.0 for aarch64

Name: minisat-devel Distribution: SUSE Linux Enterprise 16
Version: 2.2.1+20200902 Vendor: openSUSE
Release: bp160.1.13 Build date: Wed Jul 27 09:30:00 2022
Group: Development/Libraries/C and C++ Build host: reproducible
Size: 122870 Source RPM: minisat-2.2.1+20200902-bp160.1.13.src.rpm
Packager: https://bugs.opensuse.org
Url: http://minisat.se/MiniSat.html
Summary: Devel files for minisat
 
Headers and libraries for the minisat package.

Provides

Requires

License

MIT

Changelog

* Wed Jul 27 2022 Jiri Slaby <jslaby@suse.cz>
  - add CMakeLists-use-absolute-libdir-in-rpath-handling.patch
    (fix rpath (don't use relative lib64))
* Wed Nov 04 2020 jslaby@suse.cz
  - Update to version 2.2.1+20200902:
    * Fixing exported definitions
    * Adding uninstall capability
    * Revert "CMakeLists: support different lib dirs"
    * Removing second STATICCOMPILE
    * CMakeLists: support different lib dirs
    * Updating to fix build
    * Export minisat project for other cmake builds
    * Fixing static vs. dynamic compile
    * Quell some clang warnings
  - switch to obs_scm
  - drop 0001-CMakeLists-make-static-lib-optional.patch (in upstream)
* Mon Nov 04 2019 jslaby@suse.com
  - Update to version 2.2.1+20180702:
    * Fix linking of minisat as dependency library on MacOSX
    * fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
    * Specify default argument in the declaration not the friend declaration
    * Fix declaration of Minisat::memUsedPeak for non-Linux systems
    * Remove illegal (and not neccesary) friend definition to fix compilation under clang.
    * Fixing problems with compilation with C++11 compilers
  - switch to cmake
    * add 0001-CMakeLists-support-different-lib-dirs.patch
    * add 0001-CMakeLists-make-static-lib-optional.patch
  - remove friend-declaration.patch (in upstream now)
  - remove Makefile_lib_rule.patch (not needed -- cmake)
* Mon Jul 29 2019 Simon Puchert <simonpuchert@alice.de>
  - Add friend-declaration.patch:
    * Fix the illegal friend declaration that caused a build failure.
* Fri Feb 17 2017 jslaby@suse.com
  - make the version the same as for stp, klee and others
* Thu Feb 16 2017 mpluskal@suse.com
  - Adjust _service
* Thu Feb 16 2017 jengelh@inai.de
  - Trim description
  - Use version numbers based on those used by upstream
* Thu Oct 15 2015 jslaby@suse.com
  - add LICENSE and README
* Fri Oct 09 2015 jslaby@suse.com
  - add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 jslaby@suse.com
  - switch to the git version
  - update to 20130925
* Thu Mar 19 2015 jslaby@suse.com
  - initial package

Files

/usr/include/minisat
/usr/include/minisat/core
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/mtl
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/IntMap.h
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Rnd.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/utils
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib64/cmake/minisat
/usr/lib64/cmake/minisat/minisatConfig.cmake
/usr/lib64/cmake/minisat/minisatTargets-relwithdebinfo.cmake
/usr/lib64/cmake/minisat/minisatTargets.cmake
/usr/lib64/libminisat.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 30 22:53:47 2025