SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

gappa-debugsource rpm build for : Rawhide. For other distributions click gappa-debugsource.

Name : gappa-debugsource
Version : 1.5.0 Vendor : Fedora Project
Release : 2.fc42 Date : 2025-01-16 20:32:37
Group : Development/Debug Source RPM : gappa-1.5.0-2.fc42.src.rpm
Size : 0.53 MB
Packager : Fedora Project
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.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/debug/tree/Packages/g

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
gappa-debugsource
gappa-debugsource(x86-64)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/arithmetic
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/arithmetic/fixed.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/arithmetic/float.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/arithmetic/homogen.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/arithmetic/relative.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/backend.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/backend.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/coq.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/coq_common.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/coq_common.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/coq_lambda.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/d2.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/holl.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/backends/latex.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/main.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/interval.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/interval.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/interval_arith.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/interval_utility.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/io.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/real.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/real.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/round.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/numbers/round.hpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/parameters.cpp
/usr/src/debug/gappa-1.5.0-2.fc42.x86_64/src/parameters.hpp
There is 28 files more in these RPM.

 
ICM