SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

cvc4-python3-debuginfo rpm build for : Fedora 37. For other distributions click cvc4-python3-debuginfo.

Name : cvc4-python3-debuginfo
Version : 1.8 Vendor : Fedora Project
Release : 12.fc37 Date : 2022-07-21 02:15:58
Group : Development/Debug Source RPM : cvc4-1.8-12.fc37.src.rpm
Size : 12.17 MB
Packager : Fedora Project
Summary : Debug information for package cvc4-python3
Description :
This package provides debug information for package cvc4-python3.
Debug information is useful when developing applications that use this
package or when debugging this package.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/releases/37/Everything/x86_64/debug/tree/Packages/c

Content of RPM  Changelog  Provides Requires

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

Provides :
cvc4-python3-debuginfo
cvc4-python3-debuginfo(x86-64)
debuginfo(build-id)
debuginfo(build-id)

Requires :
cvc4-debuginfo(x86-64) = 1.8-12.fc37
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/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/3af507f73337a103de3e239dd1f8b8e4be9137
/usr/lib/debug/.build-id/21/3af507f73337a103de3e239dd1f8b8e4be9137.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/85985bc19500330155319c5a019dd0fcf1fe3c
/usr/lib/debug/.build-id/2d/85985bc19500330155319c5a019dd0fcf1fe3c.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/python3.11
/usr/lib/debug/usr/lib64/python3.11/site-packages
/usr/lib/debug/usr/lib64/python3.11/site-packages/_CVC4.so-1.8-12.fc37.x86_64.debug
/usr/lib/debug/usr/lib64/python3.11/site-packages/pycvc4
/usr/lib/debug/usr/lib64/python3.11/site-packages/pycvc4/pycvc4.so-1.8-12.fc37.x86_64.debug

 
ICM