SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : coq-core-debuginfo
Version : 8.18.0 Vendor : Fedora Project
Release : 10.fc41 Date : 2024-07-17 22:05:19
Group : Development/Debug Source RPM : coq-8.18.0-10.fc41.src.rpm
Size : 115.42 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/development/41/Everything/x86_64/debug/tree/Packages/c

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-core-debuginfo-8.18.0-10.fc41.x86_64.rpm
ftp.icm.edu.pl  coq-core-debuginfo-8.18.0-10.fc41.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)
debuginfo(build-id)

Requires :
coq-debuginfo(x86-64) = 8.18.0-10.fc41
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/09
/usr/lib/debug/.build-id/09/401596be6a8ee0d61eb5d2c3ed80debfbb7ecc
/usr/lib/debug/.build-id/09/401596be6a8ee0d61eb5d2c3ed80debfbb7ecc.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/d77cc4685cc5df947ff1d84595cb6042aa9a50
/usr/lib/debug/.build-id/0b/d77cc4685cc5df947ff1d84595cb6042aa9a50.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/30c5409c0fc12bca2ca267fc614e23a557829d
/usr/lib/debug/.build-id/13/30c5409c0fc12bca2ca267fc614e23a557829d.debug
/usr/lib/debug/.build-id/13/57f922f8ef7a169e98ccaf743b6529d6ab9da2
/usr/lib/debug/.build-id/13/57f922f8ef7a169e98ccaf743b6529d6ab9da2.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/b480a3b38d61b1d03acddf1931980736b3ffc8
/usr/lib/debug/.build-id/15/b480a3b38d61b1d03acddf1931980736b3ffc8.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/7d5c346b372d0274344e308bd02326d5d7976b
/usr/lib/debug/.build-id/18/7d5c346b372d0274344e308bd02326d5d7976b.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/757b275637c94eaa1561d41face8589a1d5a91
/usr/lib/debug/.build-id/27/757b275637c94eaa1561d41face8589a1d5a91.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/45491a3b743dd37d22274ba610c8bae5fbd450
/usr/lib/debug/.build-id/29/45491a3b743dd37d22274ba610c8bae5fbd450.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/636d7ca01a8e6e330a8110bab5e3445af743b8
/usr/lib/debug/.build-id/2a/636d7ca01a8e6e330a8110bab5e3445af743b8.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/f1a8c7de928c6cd1ba1e0abcb199d17c07f2cb
There is 257 files more in these RPM.

  
ICM