SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

cadical-debugsource rpm build for : Fedora 39. For other distributions click cadical-debugsource.

Name : cadical-debugsource
Version : 1.7.3 Vendor : Fedora Project
Release : 1.fc39 Date : 2023-09-15 23:17:57
Group : Development/Debug Source RPM : cadical-1.7.3-1.fc39.src.rpm
Size : 1.20 MB
Packager : Fedora Project
Summary : Debug sources for package cadical
Description :
This package provides debug sources for package cadical.
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/releases/39/Everything/x86_64/debug/tree/Packages/c

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  cadical-debugsource-1.7.3-1.fc39.i686.rpm
     Search for other platforms
cadical-debugsource-1.7.3-1.fc39.sparc.rpm
cadical-debugsource-1.7.3-1.fc39.alpha.rpm
cadical-debugsource-1.7.3-1.fc39.ppc.rpm
cadical-debugsource-1.7.3-1.fc39.ia64.rpm
cadical-debugsource-1.7.3-1.fc39.s390.rpm

Provides :
cadical-debugsource
cadical-debugsource(x86-32)

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/cadical-1.7.3-1.fc39.i386
/usr/src/debug/cadical-1.7.3-1.fc39.i386/build
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/analyze.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/arena.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/arena.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/assume.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/averages.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/averages.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/backtrack.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/backward.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/bins.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/bins.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/block.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/block.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/cadical.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/cadical.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/ccadical.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/ccadical.h
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/checker.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/checker.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/clause.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/clause.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/collect.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/compact.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/condition.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/config.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/config.hpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/constrain.cpp
/usr/src/debug/cadical-1.7.3-1.fc39.i386/src/contract.cpp
There is 98 files more in these RPM.

 
ICM