gappa-debugsource-1.6.0-1.fc42.riscv64 | RPM Info

Information for RPM gappa-debugsource-1.6.0-1.fc42.riscv64.rpm

13521

Build

gappa-1.6.0-1.fc42

Name

gappa-debugsource

Version

1.6.0

Release

1.fc42

Epoch

Arch

riscv64

Draft

False

Summary

Debug sources for package gappa

Description

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

Build Time

2025-03-25 01:04:39 GMT

Size

108.21 KB

SIGMD5

009706d646d7edbc148e13b73c894303

License

GPL-3.0-only OR CECILL-2.1

VCS

git:https://gitlab.inria.fr/gappa/gappa.git

Provides

gappa-debugsource = 1.6.0-1.fc42

gappa-debugsource(riscv-64) = 1.6.0-1.fc42

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 56 >>>
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/arithmetic	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/arithmetic/fixed.cpp	9.85 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/arithmetic/float.cpp	15.85 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/backend.cpp	998.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/backend.hpp	1.75 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/coq.cpp	4.76 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/coq_common.cpp	38.48 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/coq_common.hpp	1.79 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/coq_lambda.cpp	1.76 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/d2.cpp	9.69 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/holl.cpp	14.96 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/backends/latex.cpp	9.14 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/main.cpp	4.22 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/interval.cpp	9.72 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/interval.hpp	1.17 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/interval_arith.hpp	1.09 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/interval_utility.hpp	1.34 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/io.cpp	3.27 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/real.cpp	1.96 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/real.hpp	2.81 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/round.cpp	7.64 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/numbers/round.hpp	3.26 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parameters.cpp	5.85 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parameters.hpp	939.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/ast.cpp	11.42 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/ast.hpp	4.05 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/ast_real.hpp	5.34 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/lexer.cpp	51.71 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/lexer.lpp	3.99 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/parser.cpp	89.77 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/parser.hpp	4.33 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/parser.ypp	11.40 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/parser_aux.cpp	7.30 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/pattern.cpp	9.17 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/pattern.hpp	1.81 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/parser/ring.cpp	9.04 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs	0.00 B
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/basic_proof.cpp	63.64 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/dichotomy.cpp	14.98 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/dichotomy.hpp	1.00 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/proof_graph.cpp	18.17 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/proof_graph.hpp	7.36 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/property.cpp	11.58 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/property.hpp	5.95 KB
/usr/src/debug/gappa-1.6.0-1.fc42.riscv64/src/proofs/rewriting.cpp	16.22 KB

Component of

No Buildroots