RPM openSUSE Leap 15 z3-debugsource 4.6.0+git.20180112 x86

z3-debugsource rpm build for : openSUSE Leap 15. For other distributions click z3-debugsource.

Name : z3-debugsource
Version : 4.6.0+git.20180112	Vendor : openSUSE
Release : lp150.1.1	Date : 2018-03-22 13:00:00
Group : Development/Debug	Source RPM : z3-4.6.0+git.20180112-lp150.1.1.src.rpm
Size : 16.95 MB
Packager : https://bugs_opensuse_org
Summary : Debug sources for package z3
Description : This package provides debug sources for package z3. Debug sources are 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.0-Current/repo/oss/x86_64

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl z3-debugsource-4.6.0+git.20180112-lp150.1.1.x86_64.rpm

Provides :
z3-debugsource
z3-debugsource(x86-64)

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/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ackermannization
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ackermannization/ackermannization_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ackermannization/ackermannize_bv_tactic_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/api_commands.cpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/api_log_macros.cpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/api_log_macros.h
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/dll
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/dll/gparams_register_modules.cpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/dll/install_tactic.cpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/api/dll/mem_initializer.cpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/fpa
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/fpa/fpa2bv_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/normal_forms
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/normal_forms/nnf_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/pattern
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/pattern/database.h
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/pattern/pattern_inference_params_helper.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/pp_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/arith_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/array_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/bool_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/bv_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/fpa_rewriter_params.hpp
/usr/src/debug/z3-4.6.0+git.20180112-lp150.1.1.x86_64/build/src/ast/rewriter/poly_rewriter_params.hpp
There is 1557 files more in these RPM.