SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

pvs-sbcl-debugsource rpm build for : Fedora 39. For other distributions click pvs-sbcl-debugsource.

Name : pvs-sbcl-debugsource
Version : 7.1 Vendor : Fedora Project
Release : 9.fc38 Date : 2023-01-20 11:55:03
Group : Development/Debug Source RPM : pvs-sbcl-7.1-9.fc38.src.rpm
Size : 0.76 MB
Packager : Fedora Project
Summary : Debug sources for package pvs-sbcl
Description :
This package provides debug sources for package pvs-sbcl.
Debug sources are 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/p

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  pvs-sbcl-debugsource-7.1-9.fc38.x86_64.rpm
     

Provides :
pvs-sbcl-debugsource
pvs-sbcl-debugsource(x86-64)

Requires :
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/src/debug/pvs-sbcl-7.1-9.fc38.x86_64
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/appl.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/appl.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_extern.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_factor.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_factor.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_fns.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_fns.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_quant.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_quant.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_vfns.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/alloc.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/alloc.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/double.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/double.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/general.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/hash.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/hash.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/list.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/list.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd_interface.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/ix86_64-Linux
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu
There is 40 files more in these RPM.

  
ICM