cryptominisat-debugsource-5.13.0-1.fc42 RPM for aarch64

From Fedora 42 updates for aarch64 / debug / Packages / c

This package provides debug sources for package cryptominisat.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

• cryptominisat-debugsource
• cryptominisat-debugsource(aarch-64)

Requires

• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

MIT

Changelog

* Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-1
  - Version 5.13.0
  - Add patch to adapt to breakid 3.1.3
  - Add patch to fix -fPIC snafu
* Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 5.12.1-1
  - Version 5.12.1
  - Drop upstreamed remove-old-api patch
  - Use zlib-ng instead of zlib
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 5.11.22-3
  - Move configuration steps to %conf
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 5.11.22-1
  - Version 5.11.22
  - Simplify license to just MIT now that BSD-3-Clause code is gone
  - Bundle cadiback, which is not available as a library upstream
  - Minor spec file simplifications
* Sat Jun 08 2024 Python Maint <python-maint@redhat.com> - 5.11.21-3
  - Rebuilt for Python 3.13
* Mon Mar 25 2024 Jerry James <loganjerry@gmail.com> - 5.11.21-2
  - Use tomllib instead of toml
* Fri Feb 09 2024 Jerry James <loganjerry@gmail.com> - 5.11.21-1
  - Version 5.11.21
  - Stop building for 32-bit x86
* Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 5.11.15-1
  - Version 5.11.15
  - Drop unused sqlite dependency
  - Dynamically generate python BuildRequires
  - Drop upstreamed setuptools and include patches
  - Unbundle picosat
  - Avoid rebuilding the entire library for python
  - Build with BreakID support
  - Rename the python subpackage to match upstream
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-17
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Jonathan Wakely <jwakely@redhat.com> - 5.8.0-16
  - Rebuilt for Boost 1.83
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 5.8.0-14
  - Rebuilt for Python 3.12

Files

/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/python
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/python/src
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/python/src/GitSHA1.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/python/src/pycryptosat.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/redhat-linux-build
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/redhat-linux-build/cmsat5-src
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/redhat-linux-build/cmsat5-src/GitSHA1.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/GitSHA1.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/Vec.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/alg.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/argparse.hpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/avgcalc.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/backbone.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/boundedqueue.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cardfinder.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cardfinder.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_cms.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_cms.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_mersenne.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_oracle.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_oracle.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_oracle_pre.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/ccnr_oracle_pre.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clabstraction.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clause.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clauseallocator.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clauseallocator.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clausecleaner.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/clausecleaner.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cloffset.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cms_breakid.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cms_breakid.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cnf.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cnf.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/completedetachreattacher.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/completedetachreattacher.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/constants.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cryptominisat.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cryptominisat.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cryptominisat_c.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/cryptominisat_c.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/datasync.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/datasync.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/dimacsparser.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerbin.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerbin.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlitrem.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlitrem.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlong.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlong.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlongwithimpl.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/distillerlongwithimpl.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/frat.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gatefinder.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gatefinder.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gaussian.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gaussian.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gausswatched.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/get_clause_query.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/get_clause_query.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/gqueuedata.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/hasher.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/heap.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/hyperengine.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/hyperengine.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/idrup.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/intree.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/intree.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/lucky.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/lucky.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/main.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/main.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/main_common.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/main_common.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/main_exe.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/matrixfinder.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/matrixfinder.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/mystack.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/occsimplifier.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/occsimplifier.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/oracle
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/oracle/oracle.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/oracle/oracle.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/oracle/utils.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/oracle_use.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/packedmatrix.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/packedrow.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/packedrow.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/probe.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/propby.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/propengine.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/propengine.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/reducedb.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/reducedb.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sccfinder.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sccfinder.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/searcher.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/searcher.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/searchhist.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/searchstats.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/searchstats.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/shareddata.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/signalcode.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/signalcode.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sls.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sls.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solutionextender.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solutionextender.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solver.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solver.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solverconf.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solverconf.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solvertypes.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/solvertypesmini.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sqlstats.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/sqlstats.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/str_impl_w_impl.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/str_impl_w_impl.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/streambuffer.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/subsumeimplicit.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/subsumeimplicit.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/subsumestrengthen.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/subsumestrengthen.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/time_mem.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/touchlist.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/trim.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/vardata.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/vardistgen.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/vardistgen.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/varreplacer.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/varreplacer.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/varupdatehelper.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/vmtf.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/watchalgos.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/watcharray.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/watched.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/xor.h
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/xorfinder.cpp
/usr/src/debug/cryptominisat-5.13.0-1.fc42.aarch64/src/xorfinder.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 30 00:33:41 2025