SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : coq-core-debuginfo
Version : 8.18.0 Vendor : Fedora Project
Release : 4.fc40 Date : 2024-02-02 23:51:10
Group : Development/Debug Source RPM : coq-8.18.0-4.fc40.src.rpm
Size : 112.29 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/40/Everything/x86_64/debug/tree/Packages/c

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-core-debuginfo-8.18.0-4.fc40.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-4.fc40
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/00
/usr/lib/debug/.build-id/00/a48f5a55dc407d68686df3d03d968b0a3b1d82
/usr/lib/debug/.build-id/00/a48f5a55dc407d68686df3d03d968b0a3b1d82.debug
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/21b1ffdb604b89f8c90aad177c4016f6cdeff9
/usr/lib/debug/.build-id/02/21b1ffdb604b89f8c90aad177c4016f6cdeff9.debug
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/4818fc62e46ba2071a11075e1cd5d429578e5c
/usr/lib/debug/.build-id/12/4818fc62e46ba2071a11075e1cd5d429578e5c.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/3d5dcfd7914ce5ebcefaccb8ae5ff7106ed659
/usr/lib/debug/.build-id/15/3d5dcfd7914ce5ebcefaccb8ae5ff7106ed659.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/706f7bc15bab7c54ed8afa6f78d4625016adaf
/usr/lib/debug/.build-id/18/706f7bc15bab7c54ed8afa6f78d4625016adaf.debug
/usr/lib/debug/.build-id/1a
/usr/lib/debug/.build-id/1a/dd0582de915de0f62f5a928273b4ab6a0b06e7
/usr/lib/debug/.build-id/1a/dd0582de915de0f62f5a928273b4ab6a0b06e7.debug
/usr/lib/debug/.build-id/1b
/usr/lib/debug/.build-id/1b/1f1459a133487becc851851ac2417b36a8a338
/usr/lib/debug/.build-id/1b/1f1459a133487becc851851ac2417b36a8a338.debug
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/4a6fc61056b343fc94b3a2a2e613be268ca064
/usr/lib/debug/.build-id/20/4a6fc61056b343fc94b3a2a2e613be268ca064.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/2f89e5cc81bc4e3bf87b010d2c88937ab88595
/usr/lib/debug/.build-id/21/2f89e5cc81bc4e3bf87b010d2c88937ab88595.debug
/usr/lib/debug/.build-id/21/b5aa45b659291082b92de94e14341fca4a0312
There is 251 files more in these RPM.

  
ICM