SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : drat2er-debugsource
Version : 0 Vendor : Fedora Project
Release : 0.12.20190307.521caf1.fc39 Date : 2023-07-19 19:58:48
Group : Development/Debug Source RPM : drat2er-0-0.12.20190307.521caf1.fc39.src.rpm
Size : 0.14 MB
Packager : Fedora Project
Summary : Debug sources for package drat2er
Description :
This package provides debug sources for package drat2er.
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/d

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  drat2er-debugsource-0-0.12.20190307.521caf1.fc39.i686.rpm
     Search for other platforms
drat2er-debugsource-0-0.12.20190307.521caf1.fc39.sparc.rpm
drat2er-debugsource-0-0.12.20190307.521caf1.fc39.alpha.rpm
drat2er-debugsource-0-0.12.20190307.521caf1.fc39.ppc.rpm
drat2er-debugsource-0-0.12.20190307.521caf1.fc39.ia64.rpm
drat2er-debugsource-0-0.12.20190307.521caf1.fc39.s390.rpm

Provides :
drat2er-debugsource
drat2er-debugsource(x86-32)

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/drat2er-0-0.12.20190307.521caf1.fc39.i386
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/backward_file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/deletion.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat2er.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat2er_options.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat_trim_interface.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/file_helper.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/formula.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/formula_parser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/forward_file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/instruction_serialization.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/lrat_parser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/progress_bar.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_reverser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_stat_collector.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_step_renamer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_transformer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rat_clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rat_eliminator.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rup_clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rup_to_resolution_transformer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/unused_clause_eliminator.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/watch.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/redhat-linux-build
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/backward_file_reader.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/clause.cc
There is 21 files more in these RPM.

 
ICM