cryptominisat-debugsource-5.14.4-1.fc44 RPM for aarch64

From Fedora 44 testing 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 Apr 30 2026 Jerry James <loganjerry@gmail.com> - 5.14.4-1
  - Version 5.14.4
  - Drop upstreamed fpic, python-library, and toml patches
  - Permit use of cmake 4
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 5.13.0-5
  - Drop old obsoletes
  - Be more precise about globbing in %files
* Fri Dec 05 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-4
  - Rebuild for cadical 2.2.0
  - Fix underlinked cadiback library
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 5.13.0-2
  - Rebuilt for Python 3.14
* 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

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun May 3 00:16:28 2026