SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq-core-debuginfo rpm build for : Fedora 39. For other distributions click coq-core-debuginfo.

Name : coq-core-debuginfo
Version : 8.17.1 Vendor : Fedora Project
Release : 5.fc39 Date : 2023-07-27 18:32:18
Group : Development/Debug Source RPM : coq-8.17.1-5.fc39.src.rpm
Size : 113.72 MB
Packager : Fedora Project
Summary : Debug information for package coq-core
Description :
This package provides debug information for package coq-core.
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/fedora/linux/releases/39/Everything/x86_64/debug/tree/Packages/c

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm
     

Provides :
coq-core-debuginfo
coq-core-debuginfo(x86-64)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)

Requires :
coq-debuginfo(x86-64) = 8.17.1-5.fc39
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PartialHardlinkSets) <= 4.0.4-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/03
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6.debug
/usr/lib/debug/.build-id/36
There is 253 files more in these RPM.

  
ICM