<a href="rpminfo?rpmID=512288">gappa-debugsource-1.5.0-2.fc42.riscv64</a> | RPM Info

Click here to visit the old openkoji buildsystem (Archived)

Information for RPM gappa-debugsource-1.5.0-2.fc42.riscv64.rpm

512288

Build

gappa-1.5.0-2.fc42

Name

gappa-debugsource

Version

1.5.0

Release

2.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-02-26 19:33:08 GMT

Size

109.13 KB

SIGMD5

d30bbbf700fe6dfec4ba6219f313b31c

License

GPL-3.0-only OR CECILL-2.1

VCS

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

Buildroot

f42-build-3275609-41321

Provides

gappa-debugsource = 1.5.0-2.fc42

gappa-debugsource(riscv-64) = 1.5.0-2.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 58 >>>
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/arithmetic	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/arithmetic/fixed.cpp	9.89 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/arithmetic/float.cpp	15.92 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/arithmetic/homogen.cpp	2.95 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/arithmetic/relative.cpp	3.97 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/backend.cpp	998.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/backend.hpp	1.74 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/coq.cpp	4.76 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/coq_common.cpp	37.95 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/coq_common.hpp	1.79 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/coq_lambda.cpp	1.76 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/d2.cpp	9.69 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/holl.cpp	14.96 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/backends/latex.cpp	9.14 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/main.cpp	4.22 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/interval.cpp	9.72 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/interval.hpp	1.17 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/interval_arith.hpp	1.09 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/interval_utility.hpp	1.34 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/io.cpp	3.27 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/real.cpp	1.96 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/real.hpp	2.81 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/round.cpp	7.64 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/numbers/round.hpp	3.25 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parameters.cpp	5.85 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parameters.hpp	939.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/ast.cpp	11.99 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/ast.hpp	4.04 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/ast_real.hpp	5.54 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/lexer.cpp	51.71 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/lexer.lpp	3.99 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/parser.cpp	90.04 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/parser.hpp	4.33 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/parser.ypp	11.68 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/parser_aux.cpp	7.30 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/pattern.cpp	9.23 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/pattern.hpp	1.81 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/parser/ring.cpp	9.04 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs	0.00 B
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/basic_proof.cpp	60.49 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/dichotomy.cpp	14.97 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/dichotomy.hpp	1.00 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/proof_graph.cpp	18.17 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/proof_graph.hpp	7.36 KB
/usr/src/debug/gappa-1.5.0-2.fc42.riscv64/src/proofs/property.cpp	11.58 KB

Component of

No Buildroots