kissat-debugsource-4.0.4-1.fc43 RPM for s390x

From Fedora 43 testing updates for s390x / debug / Packages / k

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

Provides

• kissat-debugsource
• kissat-debugsource(s390-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 Oct 16 2025 Jerry James <loganjerry@gmail.com> - 4.0.4-1
  - Version 4.0.4
  - Add patch to fix bitwise NOTs that should be logical NOTs
  - BR 7zip instead of p7zip-plugins
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.0.3-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jun 28 2025 Jerry James <loganjerry@gmail.com> - 4.0.3-1
  - Version 4.0.3
* Fri Jan 24 2025 Jerry James <loganjerry@gmail.com> - 4.0.2-1
  - Version 4.0.2
* Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.0.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Tue Jan 14 2025 Jerry James <loganjerry@gmail.com> - 4.0.1-2
  - Move configuration steps to %conf
* Fri Sep 13 2024 Jerry James <loganjerry@gmail.com> - 4.0.1-1
  - Version 4.0.1
* Wed Aug 07 2024 Jerry James <loganjerry@gmail.com> - 4.0.0-1
  - Version 4.0.0
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 3.1.1-4
  - Stop building for 32-bit x86
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

Files

/usr/src/debug/kissat-4.0.4-1.fc43.s390x
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/build
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/allocate.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/allocate.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/analyze.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/analyze.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/ands.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/ands.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/application.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/application.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/arena.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/arena.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/array.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/assign.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/assign.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/averages.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/averages.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/backbone.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/backbone.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/backtrack.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/backtrack.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/build.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/bump.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/bump.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/check.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/classify.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/classify.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/clause.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/clause.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/collect.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/collect.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/colors.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/colors.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/compact.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/compact.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/config.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/config.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/congruence.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/congruence.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/decide.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/decide.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/deduce.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/deduce.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/definition.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/definition.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/dense.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/dense.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/dump.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/eliminate.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/eliminate.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/equivalences.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/equivalences.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/error.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/error.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/extend.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/extend.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/factor.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/factor.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/fastassign.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/fastel.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/fastel.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/fifo.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/file.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/file.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/flags.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/flags.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/format.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/format.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/forward.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/forward.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/frames.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/gates.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/gates.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/handle.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/handle.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/heap.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/heap.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/ifthenelse.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/ifthenelse.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/import.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/import.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inline.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inlineassign.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inlineframes.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inlineheap.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inlinequeue.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/inlinevector.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/internal.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/internal.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/kimits.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/kimits.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/kissat.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/kitten.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/kitten.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/krite.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/krite.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/learn.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/learn.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/logging.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/lucky.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/lucky.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/main.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/minimize.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/minimize.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/mode.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/mode.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/options.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/options.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/parse.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/parse.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/phases.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/phases.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/preprocess.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/preprocess.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/print.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/print.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/probe.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/probe.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/profile.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/profile.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/promote.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/promote.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/proof.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/proof.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propbeyond.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propbeyond.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propdense.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propdense.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propinitially.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propinitially.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/proplit.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/proprobe.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/proprobe.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propsearch.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/propsearch.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/queue.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/queue.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/random.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reduce.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reduce.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reference.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reluctant.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reluctant.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reorder.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/reorder.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/rephase.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/rephase.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/report.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/report.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resize.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resize.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resolve.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resolve.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resources.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/resources.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/restart.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/restart.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/search.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/search.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/shrink.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/shrink.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/smooth.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/smooth.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/sort.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/stack.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/statistics.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/statistics.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/strengthen.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/strengthen.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/substitute.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/substitute.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/sweep.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/sweep.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/terminate.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/terminate.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/tiers.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/tiers.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/trail.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/trail.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/transitive.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/transitive.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/utilities.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/utilities.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/value.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/vector.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/vector.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/vivify.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/vivify.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/walk.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/walk.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/warmup.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/warmup.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/watch.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/watch.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/weaken.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/weaken.h
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/witness.c
/usr/src/debug/kissat-4.0.4-1.fc43.s390x/src/witness.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 18 02:38:50 2025