SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : cryptominisat-debugsource
Version : 5.8.0 Vendor : Fedora Project
Release : 15.fc39 Date : 2023-07-19 19:00:56
Group : Development/Debug Source RPM : cryptominisat-5.8.0-15.fc39.src.rpm
Size : 1.77 MB
Packager : Fedora Project
Summary : Debug sources for package cryptominisat
Description :
This package provides debug sources for package cryptominisat.
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  cryptominisat-debugsource-5.8.0-15.fc39.x86_64.rpm
     

Provides :
cryptominisat-debugsource
cryptominisat-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/cryptominisat-5.8.0-15.fc39.x86_64
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/GitSHA1.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/cryptominisat5
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/cryptominisat5/cryptominisat.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/cryptominisat5/cryptominisat_c.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/cryptominisat5/solvertypesmini.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/cmsat5-src/sql_tablestructure.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/pycryptosat
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/pycryptosat/src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/redhat-linux-build/pycryptosat/src/pycryptosat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/GitSHA1.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/MersenneTwister.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/Vec.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/XAlloc.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/alg.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/avgcalc.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/boundedqueue.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/bva.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/bva.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/cardfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/cardfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/ccnr.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/ccnr.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/ccnr_cms.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/ccnr_cms.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/ccnr_mersenne.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.x86_64/src/clabstraction.h
There is 119 files more in these RPM.

 
ICM