drat2er-debugsource-0-0.15.20211228git6dfd668.fc40 RPM for x86_64

From Fedora 40 testing updates for x86_64 / debug / Packages / d

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

Provides

• drat2er-debugsource
• drat2er-debugsource(x86-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 Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0-0.15
  - Switch upstream repositories
  - Drop upstreamed CLI11-2.0.0 patch
  - Drop obsolete arg-order patch
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.14.20190307.521caf1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20190307.521caf1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0-0.12.20190307.521caf1
  - Stop building for 32-bit x86
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.12.20190307.521caf1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.11.20190307.521caf1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 0-0.10.20190307.521caf1
  - Add SPDX License tag for the tools subpackage
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.10.20190307.521caf1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Files

/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/backward_file_reader.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/clause.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/deletion.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/drat_trim_interface.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/file_helper.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/file_reader.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/formula.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/formula_parser.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/forward_file_reader.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/instruction_serialization.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/lrat_parser.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/progress_bar.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/proof_reverser.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/proof_stat_collector.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/proof_step_renamer.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/proof_transformer.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/rat_clause.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/rat_eliminator.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/rup_clause.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/rup_to_resolution_transformer.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/unused_clause_eliminator.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/include/watch.h
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/redhat-linux-build
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/backward_file_reader.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/clause.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/deletion.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/drat_trim_interface.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/file_helper.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/formula.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/formula_parser.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/forward_file_reader.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/instruction_serialization.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/lrat_parser.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/main.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/progress_bar.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/proof_reverser.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/proof_stat_collector.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/proof_step_renamer.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/proof_transformer.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/rat_clause.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/rat_eliminator.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/rup_clause.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/rup_to_resolution_transformer.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/unused_clause_eliminator.cc
/usr/src/debug/drat2er-0-0.15.20211228git6dfd668.fc40.x86_64/src/watch.cc

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 15 04:03:24 2024