SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : gappa-debugsource
Version : 1.4.2 Vendor : Fedora Project
Release : 4.fc41 Date : 2024-07-18 02:15:03
Group : Development/Debug Source RPM : gappa-1.4.2-4.fc41.src.rpm
Size : 0.50 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/41/Everything/x86_64/debug/tree/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  gappa-debugsource-1.4.2-4.fc41.x86_64.rpm
ftp.icm.edu.pl  gappa-debugsource-1.4.2-4.fc41.x86_64.rpm
     

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.4.2-4.fc41.x86_64
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/fixed.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/float.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/homogen.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/relative.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/backend.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/backend.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_common.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_common.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_lambda.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/holl.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/latex.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/main.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval_arith.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval_utility.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/io.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/real.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/real.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/round.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/round.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parameters.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parameters.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser
There is 27 files more in these RPM.

  
ICM