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

gappa-debugsource-1.4.2-1.fc39 RPM for aarch64

From Fedora 39 updates for aarch64 / debug / Packages / g

Name: gappa-debugsource Distribution: Fedora Project
Version: 1.4.2 Vendor: Fedora Project
Release: 1.fc39 Build date: Wed Jan 3 00:47:50 2024
Group: Development/Debug Build host: buildvm-a64-13.iad2.fedoraproject.org
Size: 522218 Source RPM: gappa-1.4.2-1.fc39.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 Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.4.2-1
  - Version 1.4.2
  - New URLs
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Aug 10 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1
  - Version 1.4.1
  - Use SPDX license names
  - Add a doc subpackage
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Nov 27 04:04:38 2024