SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq-debuginfo rpm build for : OpenSuSE. For other distributions click coq-debuginfo.

Name : coq-debuginfo
Version : 8.19.1 Vendor : openSUSE
Release : bp156.1.14 Date : 2024-05-21 18:36:04
Group : Development/Debug Source RPM : coq-8.19.1-bp156.1.14.src.rpm
Size : 77.46 MB
Packager : https://bugs_opensuse_org
Summary : Debug information for package coq
Description :
This package provides debug information for package coq.
Debug information is useful when developing applications that use this
package or when debugging this package.

RPM found in directory: /vol/rzm3/linux-opensuse/debug/distribution/leap/15.6/repo/oss/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-debuginfo-8.19.1-bp156.1.14.x86_64.rpm
     

Provides :
coq-debuginfo
coq-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)
debuginfo(build-id)
debuginfo(build-id)
debuginfo(build-id)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/c22b73eef653bd3aac8036abb605cc1a069227
/usr/lib/debug/.build-id/00/c22b73eef653bd3aac8036abb605cc1a069227.debug
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/b8d932cf1820adbc7bbb5d955902598b3f3cf7
/usr/lib/debug/.build-id/02/b8d932cf1820adbc7bbb5d955902598b3f3cf7.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/bce6d7768eae6354957fdf28af0d9edae5c690
/usr/lib/debug/.build-id/0b/bce6d7768eae6354957fdf28af0d9edae5c690.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/c8c72b49c9b32b575fc6de96fc376af6b73bb3
/usr/lib/debug/.build-id/0f/c8c72b49c9b32b575fc6de96fc376af6b73bb3.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/ca0b22ee9379766b5668313a1f148cabc754f4
/usr/lib/debug/.build-id/11/ca0b22ee9379766b5668313a1f148cabc754f4.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/e65699299a78f8228987c2d1e53eb84db4ec00
/usr/lib/debug/.build-id/14/e65699299a78f8228987c2d1e53eb84db4ec00.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/9182504161f77a478ab8368178ce32dcd8d6e9
/usr/lib/debug/.build-id/21/9182504161f77a478ab8368178ce32dcd8d6e9.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/deb7ce2eb17e289742f902dd4950a009dce04b
/usr/lib/debug/.build-id/2d/deb7ce2eb17e289742f902dd4950a009dce04b.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/c69f35ee2bcf99a276e29e98c5096e476507a0
/usr/lib/debug/.build-id/2e/c69f35ee2bcf99a276e29e98c5096e476507a0.debug
/usr/lib/debug/.build-id/2f
There is 272 files more in these RPM.

  
ICM