Tue, 14 May 2024 19:11:51 UTC | login

Information for RPM gappa-debugsource-1.4.2-1.fc40.riscv64.rpm

ID1166599
Namegappa-debugsource
Version1.4.2
Release1.fc40
Epoch
Archriscv64
SummaryDebug sources for package gappa
DescriptionThis package provides debug sources for package gappa. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time2024-01-06 16:27:54 GMT
Size106.11 KB
a906f9b0681ed55a04bb1a287f02dad0
LicenseGPL-3.0-only OR CECILL-2.1
Buildrootf40-build-771980-126041
Provides
gappa-debugsource = 1.4.2-1.fc40
gappa-debugsource(riscv-64) = 1.4.2-1.fc40
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
Page:
1 through 50 of 57 >>>
Name ascending sort Size
/usr/src/debug/gappa-1.4.2-1.fc40.riscv640.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/arithmetic0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/arithmetic/fixed.cpp9.82 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/arithmetic/float.cpp15.86 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/arithmetic/homogen.cpp2.94 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/arithmetic/relative.cpp3.97 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/backend.cpp992.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/backend.hpp1.73 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/coq.cpp4.75 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/coq_common.cpp35.12 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/coq_common.hpp1.77 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/coq_lambda.cpp1.74 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/holl.cpp14.88 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/backends/latex.cpp9.04 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/main.cpp4.21 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/interval.cpp9.72 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/interval.hpp1.17 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/interval_arith.hpp1.09 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/interval_utility.hpp1.33 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/io.cpp3.27 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/real.cpp1.95 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/real.hpp2.80 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/round.cpp7.63 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/numbers/round.hpp3.24 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parameters.cpp5.53 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parameters.hpp933.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/ast.cpp11.90 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/ast.hpp3.88 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/ast_real.hpp5.54 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/lexer.cpp51.60 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/lexer.lpp3.96 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/parser.cpp88.57 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/parser.hpp4.27 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/parser.ypp11.38 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/parser_aux.cpp7.24 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/pattern.cpp9.22 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/pattern.hpp1.81 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/parser/ring.cpp9.04 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs0.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/basic_proof.cpp47.16 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/dichotomy.cpp14.96 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/dichotomy.hpp1023.00 B
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/proof_graph.cpp18.13 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/proof_graph.hpp7.36 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/property.cpp11.43 KB
/usr/src/debug/gappa-1.4.2-1.fc40.riscv64/src/proofs/property.hpp5.94 KB
Component of No Buildroots