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

gappa-debugsource-1.6.1-1.fc43 RPM for ppc64le

From Fedora 43 testing updates for ppc64le / debug / Packages / g

Name: gappa-debugsource Distribution: Fedora Project
Version: 1.6.1 Vendor: Fedora Project
Release: 1.fc43 Build date: Tue Oct 14 22:07:16 2025
Group: Development/Debug Build host: buildvm-ppc64le-23.rdu3.fedoraproject.org
Size: 543359 Source RPM: gappa-1.6.1-1.fc43.src.rpm
Packager: Fedora Project
Url: https://gappa.gitlabpages.inria.fr/
Summary: Debug sources for package gappa
This package provides debug sources for package gappa.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

GPL-3.0-only OR CECILL-2.1

Changelog

* Tue Oct 14 2025 Jerry James <loganjerry@gmail.com> - 1.6.1-1
  - Version 1.6.1
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Wed Feb 26 2025 Jerry James <loganjerry@gmail.com> - 1.6.0-1
  - Version 1.6.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 16 2025 Jerry James <loganjerry@gmail.com> - 1.5.0-1
  - Version 1.5.0
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.4.2-1
  - Version 1.4.2
  - New URLs

Files

/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/arithmetic
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/arithmetic/fixed.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/arithmetic/float.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/backend.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/backend.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/coq.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/coq_common.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/coq_common.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/coq_lambda.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/d2.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/holl.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/backends/latex.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/main.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/interval.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/interval.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/interval_arith.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/interval_utility.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/io.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/real.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/real.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/round.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/numbers/round.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parameters.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parameters.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/ast.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/ast.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/ast_real.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/lexer.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/lexer.lpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/parser.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/parser.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/parser.ypp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/parser_aux.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/pattern.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/pattern.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/parser/ring.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/basic_proof.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/dichotomy.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/dichotomy.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/proof_graph.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/proof_graph.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/property.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/property.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/rewriting.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/rewriting.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/schemes.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/schemes.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/updater.cpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/proofs/updater.hpp
/usr/src/debug/gappa-1.6.1-1.fc43.ppc64le/src/utils.hpp


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 16 02:33:45 2025