<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="60">
<package type="rpm">
  <name>cbmc</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="6.8.0" rel="2.11"/>
  <checksum type="sha512" pkgid="YES">5c2953ba8a2a2d7d74b040a66948e6a387a02e845dd2a5b10ca1d6e4527e2af51c34ff0fb9a6b4a8701e5cf1ea9af996638925e5e1dd7adfc7163fe48a1ed2ff</checksum>
  <summary>Bounded Model Checking for Software</summary>
  <description>CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99,
most of C11 and most compiler extensions provided by gcc and Visual Studio. It
also supports SystemC using Scoot. It allows verifying array bounds (buffer
overflows), pointer safety, exceptions and user-specified assertions.
Furthermore, it can check C and C++ for consistency with other languages, such
as Verilog. The verification is performed by unwinding the loops in the program
and passing the resulting equation to a decision procedure.</description>
  <packager></packager>
  <url>https://github.com/diffblue/cbmc/</url>
  <time file="1785877366" build="1765970285"/>
  <size package="17275554" installed="66793823" archive="66798184"/>
  <location href="ppc64le/cbmc-6.8.0-2.11.ppc64le.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>cbmc-6.8.0-2.11.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="23149"/>
    <rpm:provides>
      <rpm:entry name="cbmc" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="cbmc(ppc-64)" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/python3"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libminisat.so.2()(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.2)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.14)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.26)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/cbmc</file>
    <file>/usr/bin/cprover</file>
    <file>/usr/bin/crangler</file>
    <file>/usr/bin/goto-analyzer</file>
    <file>/usr/bin/goto-cc</file>
    <file>/usr/bin/goto-diff</file>
    <file>/usr/bin/goto-gcc</file>
    <file>/usr/bin/goto-harness</file>
    <file>/usr/bin/goto-inspect</file>
    <file>/usr/bin/goto-instrument</file>
    <file>/usr/bin/goto-ld</file>
    <file>/usr/bin/goto-synthesizer</file>
    <file>/usr/bin/ls_parse.py</file>
    <file>/usr/bin/symtab2gb</file>
  </format>
</package>
<package type="rpm">
  <name>cbmc</name>
  <arch>src</arch>
  <version epoch="0" ver="6.8.0" rel="2.11"/>
  <checksum type="sha512" pkgid="YES">86fa8c4b10e3ea814d498b383738f1d54086ffa74737be7598765fbe5930cbb05588af6b89a8b705a6a72b34420c61b9f42a7fbb579a9554d7967cbb51af5ddb</checksum>
  <summary>Bounded Model Checking for Software</summary>
  <description>CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99,
most of C11 and most compiler extensions provided by gcc and Visual Studio. It
also supports SystemC using Scoot. It allows verifying array bounds (buffer
overflows), pointer safety, exceptions and user-specified assertions.
Furthermore, it can check C and C++ for consistency with other languages, such
as Verilog. The verification is performed by unwinding the loops in the program
and passing the resulting equation to a decision procedure.</description>
  <packager></packager>
  <url>https://github.com/diffblue/cbmc/</url>
  <time file="1785877366" build="1765970285"/>
  <size package="9039384" installed="9186016" archive="9187008"/>
  <location href="src/cbmc-6.8.0-2.11.src.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="30300"/>
    <rpm:provides>
      <rpm:entry name="cbmc" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="cbmc-debuginfo" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="cbmc-debugsource" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="bison"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="flex"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="minisat-devel"/>
      <rpm:entry name="ninja"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>cbmc-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="6.8.0" rel="2.11"/>
  <checksum type="sha512" pkgid="YES">0c48900c31439e5c557fe47242b0b97507d185be97981f9ad3b379fa0210b0c546cdba3c4244ea5cd305b5d41e34c59716707c96130b2d81b10c05ef9bc1c31c</checksum>
  <summary>Debug information for package cbmc</summary>
  <description>This package provides debug information for package cbmc.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/diffblue/cbmc/</url>
  <time file="1785877373" build="1765970285"/>
  <size package="300430419" installed="1028494381" archive="1028502576"/>
  <location href="ppc64le/cbmc-debuginfo-6.8.0-2.11.ppc64le.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>cbmc-6.8.0-2.11.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="22813"/>
    <rpm:provides>
      <rpm:entry name="cbmc-debuginfo" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="cbmc-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="00b639e558daa1fd74e73a9964db5430fbf56a48"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="1075d245605c1fe1b97d8bbc0ecd58324b01bc57"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="25a35f9679856daf4ccd3642d186b10ea23c60e4"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="354ab56b311b780125f68c996615c2cbd157ed07"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="6a488bfea8e008e3ec82acaad549be1978c38e0a"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="77dd1156f1ce2df5818b27c857f82016c3411762"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="9a6e567a418d9042657de6a72f01e168d64dea94"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="aa4660e02d9f8752a1a430aee1053352bf05d705"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="bf95197a194596aa5fd5179efa100a64c6ed0b87"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="eb5f31b4ed2024e2c71ebba884373a5449d365c3"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f827cc6f5b47e991389ef020e41c2e0c2ec0ad66"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="cbmc-debugsource(ppc-64)" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/cbmc.debug</file>
    <file>/usr/lib/debug/usr/bin/cprover.debug</file>
    <file>/usr/lib/debug/usr/bin/crangler.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-analyzer.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-cc.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-diff.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-harness.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-inspect.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-instrument.debug</file>
    <file>/usr/lib/debug/usr/bin/goto-synthesizer.debug</file>
    <file>/usr/lib/debug/usr/bin/symtab2gb.debug</file>
  </format>
</package>
<package type="rpm">
  <name>cbmc-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="6.8.0" rel="2.11"/>
  <checksum type="sha512" pkgid="YES">134180e7e31a3f4a63cf2bd05320703bb535a4bb9e4cef434f3208f61ffc47d418cbc8b60329c5267917eeee73f46ba77f970936b68bf1a91467679f377ecd73</checksum>
  <summary>Debug sources for package cbmc</summary>
  <description>This package provides debug sources for package cbmc.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/diffblue/cbmc/</url>
  <time file="1785877373" build="1765970285"/>
  <size package="1938571" installed="12451579" archive="12745200"/>
  <location href="ppc64le/cbmc-debugsource-6.8.0-2.11.ppc64le.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>cbmc-6.8.0-2.11.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="225889"/>
    <rpm:provides>
      <rpm:entry name="cbmc-debugsource" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
      <rpm:entry name="cbmc-debugsource(ppc-64)" flags="EQ" epoch="0" ver="6.8.0" rel="2.11"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>complexity</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.13" rel="19.23"/>
  <checksum type="sha512" pkgid="YES">a3e674da30246ae20ce706e4e201795c51320671a77ea0612c4b0ba23d0b0c2bbfa5427250b0c634c9a8b8f731a505a0f8f88386f8eabc074bbce872a5462320</checksum>
  <summary>C source code complexity computation utility</summary>
  <description>Complexity is a tool for analyzing the complexity of "C" program functions.  It
is very similar to the McCabe scoring, but addresses some issues not considered
in that scoring scheme.</description>
  <packager></packager>
  <url>https://www.gnu.org/software/complexity/</url>
  <time file="1785101065" build="1704542560"/>
  <size package="69078" installed="140670" archive="142432"/>
  <location href="ppc64le/complexity-1.13-19.23.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>complexity-1.13-19.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9589"/>
    <rpm:provides>
      <rpm:entry name="complexity" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="complexity(ppc-64)" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/bash"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libopts.so.25()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/complexity</file>
    <file>/usr/bin/cx-vs-mc</file>
  </format>
</package>
<package type="rpm">
  <name>complexity</name>
  <arch>src</arch>
  <version epoch="0" ver="1.13" rel="19.23"/>
  <checksum type="sha512" pkgid="YES">45391aa53cd860272b14a356a1788fbaa806a9c9cacd5b5e855a47b64028cb13bf6b98d1d10c181aef88cf6492ed1f430735d11ea80ea5c51cc2c2becea3581d</checksum>
  <summary>C source code complexity computation utility</summary>
  <description>Complexity is a tool for analyzing the complexity of "C" program functions.  It
is very similar to the McCabe scoring, but addresses some issues not considered
in that scoring scheme.</description>
  <packager></packager>
  <url>https://www.gnu.org/software/complexity/</url>
  <time file="1785101065" build="1704542560"/>
  <size package="471234" installed="459479" archive="460040"/>
  <location href="src/complexity-1.13-19.23.src.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="12377"/>
    <rpm:provides>
      <rpm:entry name="complexity" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="complexity-debuginfo" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="complexity-debugsource" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="autogen"/>
      <rpm:entry name="pkgconfig"/>
      <rpm:entry name="pkgconfig(autoopts)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>complexity-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.13" rel="19.23"/>
  <checksum type="sha512" pkgid="YES">15574134df80fb5fdaf1084ceb127a6e477baaf02f4f66357a40b56093a23b359c538bcf616aee1b4bf33daab237fb265a3ae31de479e29aa97d8435226d5754</checksum>
  <summary>Debug information for package complexity</summary>
  <description>This package provides debug information for package complexity.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://www.gnu.org/software/complexity/</url>
  <time file="1785101065" build="1704542560"/>
  <size package="51594" installed="144422" archive="145740"/>
  <location href="ppc64le/complexity-debuginfo-1.13-19.23.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>complexity-1.13-19.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8677"/>
    <rpm:provides>
      <rpm:entry name="complexity-debuginfo" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="complexity-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="00b70118559d4fdf4b621e91c96c87ffb0e616d6"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="complexity-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/complexity.debug</file>
  </format>
</package>
<package type="rpm">
  <name>complexity-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.13" rel="19.23"/>
  <checksum type="sha512" pkgid="YES">92b7be2bd42f459124305bc7de459a2195ebb43e4aed839071da4ae7b0c86ce40635c3e29157247d7d985f2225d00c20a5b8b3a751a656e936d794f070753ff6</checksum>
  <summary>Debug sources for package complexity</summary>
  <description>This package provides debug sources for package complexity.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://www.gnu.org/software/complexity/</url>
  <time file="1785101066" build="1704542560"/>
  <size package="34765" installed="131450" archive="132980"/>
  <location href="ppc64le/complexity-debugsource-1.13-19.23.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>complexity-1.13-19.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8421"/>
    <rpm:provides>
      <rpm:entry name="complexity-debugsource" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
      <rpm:entry name="complexity-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.13" rel="19.23"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>klee</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="3.2+20260221" rel="3.2"/>
  <checksum type="sha512" pkgid="YES">8f28bf4fd949d57a1c14051c92211510ec98293f58042d0dd15f38b87c938cb438cf7f807ebff59f466b98e3294cb9bb6e9d29e65fbaf468a40bc2704d98b854</checksum>
  <summary>LLVM Execution Engine</summary>
  <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.</description>
  <packager></packager>
  <url>http://klee.github.io/</url>
  <time file="1783139894" build="1781503822"/>
  <size package="728796" installed="4028049" archive="4036280"/>
  <location href="ppc64le/klee-3.2+20260221-3.2.ppc64le.rpm"/>
  <format>
    <rpm:license>NCSA</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>klee-3.2+20260221-3.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="30897"/>
    <rpm:provides>
      <rpm:entry name="klee" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="klee(ppc-64)" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="libkleeRuntest.so.1.0()(64bit)"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="/sbin/ldconfig"/>
      <rpm:entry name="/usr/bin/python3"/>
      <rpm:entry name="libLLVM.so.15()(64bit)"/>
      <rpm:entry name="libLLVM.so.15(LLVM_15)(64bit)"/>
      <rpm:entry name="libcap.so.2()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libsqlite3.so.0()(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.14)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.26)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libstp.so.2.3()(64bit)"/>
      <rpm:entry name="libtcmalloc.so.4()(64bit)"/>
      <rpm:entry name="libz.so.1()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/kleaver</file>
    <file>/usr/bin/klee</file>
    <file>/usr/bin/klee-exec-tree</file>
    <file>/usr/bin/klee-replay</file>
    <file>/usr/bin/klee-stats</file>
    <file>/usr/bin/klee-zesti</file>
    <file>/usr/bin/ktest-gen</file>
    <file>/usr/bin/ktest-randgen</file>
    <file>/usr/bin/ktest-tool</file>
  </format>
</package>
<package type="rpm">
  <name>klee</name>
  <arch>src</arch>
  <version epoch="0" ver="3.2+20260221" rel="3.2"/>
  <checksum type="sha512" pkgid="YES">8968efeb248519f6144a91298a8cf53434033c713e9ea4905a165ad60e9d755c344b326f80e1a53742cf4a7069c7bcf72bc1a569d1dfe0ed6179cacc93d353b3</checksum>
  <summary>LLVM Execution Engine</summary>
  <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.</description>
  <packager></packager>
  <url>http://klee.github.io/</url>
  <time file="1783139894" build="1781503822"/>
  <size package="908487" installed="805488" archive="806400"/>
  <location href="src/klee-3.2+20260221-3.2.src.rpm"/>
  <format>
    <rpm:license>NCSA</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="198031"/>
    <rpm:provides>
      <rpm:entry name="klee" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="klee-debuginfo" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="klee-debugsource" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="clang15"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gperftools-devel"/>
      <rpm:entry name="libacl-devel"/>
      <rpm:entry name="libcap-devel"/>
      <rpm:entry name="libselinux-devel"/>
      <rpm:entry name="llvm15-devel"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="python3"/>
      <rpm:entry name="python3-lit"/>
      <rpm:entry name="python3-setuptools"/>
      <rpm:entry name="python3-tabulate"/>
      <rpm:entry name="sqlite3-devel"/>
      <rpm:entry name="stp-devel"/>
      <rpm:entry name="xz"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>klee-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="3.2+20260221" rel="3.2"/>
  <checksum type="sha512" pkgid="YES">49b7f77d37f3d00e9c6cad5c96d211c122cf0fe0c4b84d752ded143ae65822f4b09cb966c517d02ded1484967c93c675a4a8d516e0e34ddbb1d03a6f10622fc7</checksum>
  <summary>Debug information for package klee</summary>
  <description>This package provides debug information for package klee.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://klee.github.io/</url>
  <time file="1783139896" build="1781503822"/>
  <size package="6608401" installed="28420384" archive="28425800"/>
  <location href="ppc64le/klee-debuginfo-3.2+20260221-3.2.ppc64le.rpm"/>
  <format>
    <rpm:license>NCSA</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>klee-3.2+20260221-3.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="26485"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="08f7624ae70b17a0c7b40bd08e50bb9df0cf0863"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="17b2e2f446073b6d5bba8716ea966cdfa40a6cc1"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="32809d6a2d28d15e5a7b73ea53ec3f4b7a1c1d67"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="4fb36d4b2f3fa19a6021d5b46d0a3e27e3baee71"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="6dbfb13a0dc13ea54984577f33907eb064576200"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="91eba1855f805c3507c24a0c92726e8b812d1455"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="dac76e2194594d29c04cd9dcf27bc01b4909ba7f"/>
      <rpm:entry name="klee-debuginfo" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="klee-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="klee-debugsource(ppc-64)" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/kleaver.debug</file>
    <file>/usr/lib/debug/usr/bin/klee-exec-tree.debug</file>
    <file>/usr/lib/debug/usr/bin/klee-replay.debug</file>
    <file>/usr/lib/debug/usr/bin/klee.debug</file>
    <file>/usr/lib/debug/usr/bin/ktest-gen.debug</file>
    <file>/usr/lib/debug/usr/bin/ktest-randgen.debug</file>
  </format>
</package>
<package type="rpm">
  <name>klee-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="3.2+20260221" rel="3.2"/>
  <checksum type="sha512" pkgid="YES">76fd4ae18cde9a4ac41df37726383445538467622dfe0125a1aba20fc45d5a450a76a460112c621fdf24b386ea03696ad34901f20e9d614b60493a69946b5fae</checksum>
  <summary>Debug sources for package klee</summary>
  <description>This package provides debug sources for package klee.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://klee.github.io/</url>
  <time file="1783139896" build="1781503822"/>
  <size package="318665" installed="1549537" archive="1587436"/>
  <location href="ppc64le/klee-debugsource-3.2+20260221-3.2.ppc64le.rpm"/>
  <format>
    <rpm:license>NCSA</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>klee-3.2+20260221-3.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="47285"/>
    <rpm:provides>
      <rpm:entry name="klee-debugsource" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
      <rpm:entry name="klee-debugsource(ppc-64)" flags="EQ" epoch="0" ver="3.2+20260221" rel="3.2"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>libmetaSMT4_0</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">811d9cbce1bab4fba3e49eb9f8cd139177e160b2a3f778c843f856e9f969f3f34bcee0f629038d938f09d1d9f6672a7653711094fee9df9a21373ac0722b2858</checksum>
  <summary>Wrapper around various solvers</summary>
  <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913521" build="1743223746"/>
  <size package="41214" installed="67168" archive="67432"/>
  <location href="ppc64le/libmetaSMT4_0-0.0+20191203-5.17.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>System/Libraries</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>metasmt-0.0+20191203-5.17.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="39817"/>
    <rpm:provides>
      <rpm:entry name="libmetaSMT.so.4.0()(64bit)"/>
      <rpm:entry name="libmetaSMT4_0" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="libmetaSMT4_0(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="/sbin/ldconfig"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libmetaSMT4_0-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">6f203d8298599f8cd4f9af46b29f9bfe15c677f9efac3bd51bffc16eed7577570273e95b489059427560764fa5afd943151c66cd0f23a43efe7c43a9f5280562</checksum>
  <summary>Debug information for package libmetaSMT4_0</summary>
  <description>This package provides debug information for package libmetaSMT4_0.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913522" build="1743223746"/>
  <size package="45724" installed="14976" archive="16300"/>
  <location href="ppc64le/libmetaSMT4_0-debuginfo-0.0+20191203-5.17.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>metasmt-0.0+20191203-5.17.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="40597"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="e577e4e2cafa8c5c6af450f820ac23ecfc49f34b"/>
      <rpm:entry name="libmetaSMT4_0-debuginfo" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="libmetaSMT4_0-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="metasmt-debugsource(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>libminisat2</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">183089fbc85142cd01cda02adafe15f9276c19ce01ae9f80a15a04dd5bd4aed081e84ca18f41e359ec1bb4c086a6f27867f3e2555612d66ed2b0f96c03a05cb5</checksum>
  <summary>SAT solver</summary>
  <description>MiniSat is a comparatively small SAT solver. It can do
conflict-clause recording, conflict-driven backjumping, VSIDS dynamic
variable order, two-literal watch scheme, non-clausal constraints
over boolean variables, and variable elimination style
simplification.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621358" build="1772092329"/>
  <size package="54466" installed="133227" archive="133636"/>
  <location href="ppc64le/libminisat2-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>System/Libraries</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9937"/>
    <rpm:provides>
      <rpm:entry name="libminisat.so.2()(64bit)"/>
      <rpm:entry name="libminisat2" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="libminisat2(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="/sbin/ldconfig"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libminisat2-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">3f5d951cdfdafb87eaa68e2bf397515d61d32fe6a950f08afb0474a2d24318317c8716bf16e806120431a4d38b57f5708d7ba08144de60d2da25edbb059d53ac</checksum>
  <summary>Debug information for package libminisat2</summary>
  <description>This package provides debug information for package libminisat2.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621358" build="1772092329"/>
  <size package="192336" installed="538068" archive="539392"/>
  <location href="ppc64le/libminisat2-debuginfo-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="10205"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="5bf75979fc93f6d5958bf5c0751a3ba827c7bca5"/>
      <rpm:entry name="libminisat2-debuginfo" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="libminisat2-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="minisat-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="minisat-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>libstp2_4</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">88c7ee2ac5b2345e436ee060b8b63c26a8b2dc2ff0a0d3ae735e125653ed798c69de173917d9137d385d6b1989fa5c6b7bf2575d0ba6dd8d288bace950493187</checksum>
  <summary>Constraint Solver</summary>
  <description>STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315739" build="1785913246"/>
  <size package="1220742" installed="3542576" archive="3542836"/>
  <location href="ppc64le/libstp2_4-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="16793"/>
    <rpm:provides>
      <rpm:entry name="libstp.so.2.4()(64bit)"/>
      <rpm:entry name="libstp2_4" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="libstp2_4(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="/sbin/ldconfig"/>
      <rpm:entry name="ld64.so.2()(64bit)"/>
      <rpm:entry name="ld64.so.2(GLIBC_2.22)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libminisat.so.2()(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.7)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libstp2_4-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">d9df1efb0b7e5e462de3d44b53bed3a381a1d3c5fa8100d02ac6e9e00916589a4771ecc53f96313ae49071899d8b103f5efe6ba5ab8e8e06e98c853a2bb5bdc9</checksum>
  <summary>Debug information for package libstp2_4</summary>
  <description>This package provides debug information for package libstp2_4.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="6276091" installed="21373672" archive="21374992"/>
  <location href="ppc64le/libstp2_4-debuginfo-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="16225"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="5f740630fbb9a88ef230eb1fb9543502583915e5"/>
      <rpm:entry name="libstp2_4-debuginfo" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="libstp2_4-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="stp-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="stp-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>libz3-5_0</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">9bf6d2ee3865f5a9dfa0eaab526476f4a74c0c64c8907445f5fd3f1faf3db5038f24aefcd28df19f2c618855db368c0e3aa067c8d6d47920a0e46d02f518d586</checksum>
  <summary>Library for the Z3 SMT theorem prover</summary>
  <description>Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
several decision procedures.

This subpackage contains the Z3 runtime library needed for Z3 and
other projects.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623925" build="1784802467"/>
  <size package="7636345" installed="23468424" archive="23469124"/>
  <location href="ppc64le/libz3-5_0-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>System/Libraries</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="18349"/>
    <rpm:provides>
      <rpm:entry name="libz3-5_0" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="libz3-5_0(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="libz3.so.5.0()(64bit)"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/sbin/ldconfig" pre="1"/>
      <rpm:entry name="/sbin/ldconfig"/>
      <rpm:entry name="ld64.so.2()(64bit)"/>
      <rpm:entry name="ld64.so.2(GLIBC_2.22)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libgmp.so.10()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.2)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.14)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.17)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.22)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.26)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.30)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.31)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.35)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libz3-5_0-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">b5ba2e44b02ed12280b9356ccc14698b4261a175541e94a4f496a94d775a29459c7dedfcdca261c8177e7acd37209dd3c3706b33422b9d1752fc54c9a94d5c1b</checksum>
  <summary>Debug information for package libz3-5_0</summary>
  <description>This package provides debug information for package libz3-5_0.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623927" build="1784802467"/>
  <size package="98565424" installed="311770006" archive="311771332"/>
  <location href="ppc64le/libz3-5_0-debuginfo-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="17261"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="da9e07319c80b9ff9832267e7e8712627cbfd2e5"/>
      <rpm:entry name="libz3-5_0-debuginfo" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="libz3-5_0-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="z3-debugsource(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>ltl2ba</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.3" rel="1.57"/>
  <checksum type="sha512" pkgid="YES">ad1ce1976d1f079af0de8a140cfe0fa788b690bcbc85b106e3db96e05a3eb127c0ee89b32e95d9b43c615acfcb39b335697f76e56aae3922c33172cbcf42a54d</checksum>
  <summary>Translator from LTL to Buechi automata</summary>
  <description>Implementation of the algorithm described in "Fast LTL to Büchi
Automata Translation" in 13th International Conference on Computer Aided
Verification, CAV 2001.</description>
  <packager></packager>
  <url>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba</url>
  <time file="1785622138" build="1652259994"/>
  <size package="53648" installed="156281" archive="157120"/>
  <location href="ppc64le/ltl2ba-1.3-1.57.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>ltl2ba-1.3-1.57.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8581"/>
    <rpm:provides>
      <rpm:entry name="ltl2ba" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
      <rpm:entry name="ltl2ba(ppc-64)" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/ltl2ba</file>
  </format>
</package>
<package type="rpm">
  <name>ltl2ba</name>
  <arch>src</arch>
  <version epoch="0" ver="1.3" rel="1.57"/>
  <checksum type="sha512" pkgid="YES">7d37b56e6efa138ae51157c4a29b22a81410f43cbda68605f6cc77a57c5b067043c6ccfcbc8da00b3296bc965562d73eeade4f7e1924cfdd3842109dab76dc12</checksum>
  <summary>Translator from LTL to Buechi automata</summary>
  <description>Implementation of the algorithm described in "Fast LTL to Büchi
Automata Translation" in 13th International Conference on Computer Aided
Verification, CAV 2001.</description>
  <packager></packager>
  <url>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba</url>
  <time file="1785622138" build="1652259994"/>
  <size package="51485" installed="41773" archive="42420"/>
  <location href="src/ltl2ba-1.3-1.57.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Math</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="10897"/>
    <rpm:provides>
      <rpm:entry name="ltl2ba" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
      <rpm:entry name="ltl2ba-debuginfo" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
      <rpm:entry name="ltl2ba-debugsource" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>ltl2ba-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.3" rel="1.57"/>
  <checksum type="sha512" pkgid="YES">7526359e76bdfcaefbea2a80c836f4d42679b10e5c4080c59e7f882b987beb55e9aa22f9bbe9ee6c468482524bd6e6bd02bdfcae298a0fa57b1ff4578554e2f8</checksum>
  <summary>Debug information for package ltl2ba</summary>
  <description>This package provides debug information for package ltl2ba.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba</url>
  <time file="1785622138" build="1652259994"/>
  <size package="91699" installed="312534" archive="313848"/>
  <location href="ppc64le/ltl2ba-debuginfo-1.3-1.57.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>ltl2ba-1.3-1.57.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8821"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d901dd5bdd3dc296866dcbbd249d928519c01620"/>
      <rpm:entry name="ltl2ba-debuginfo" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
      <rpm:entry name="ltl2ba-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="ltl2ba-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/ltl2ba.debug</file>
  </format>
</package>
<package type="rpm">
  <name>ltl2ba-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.3" rel="1.57"/>
  <checksum type="sha512" pkgid="YES">3c0f6a8c0720a3c2ca00c29acb5cbd328b8c48a0a6df8b048968f664c0aaaabb8e9f077997d3b6991c4dbf3e8c34dd70d572ead0c8f677b10ac548b22232aed8</checksum>
  <summary>Debug sources for package ltl2ba</summary>
  <description>This package provides debug sources for package ltl2ba.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba</url>
  <time file="1785622138" build="1652259994"/>
  <size package="29839" installed="123550" archive="125596"/>
  <location href="ppc64le/ltl2ba-debugsource-1.3-1.57.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>ltl2ba-1.3-1.57.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9085"/>
    <rpm:provides>
      <rpm:entry name="ltl2ba-debugsource" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
      <rpm:entry name="ltl2ba-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.3" rel="1.57"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>metasmt</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">538f4ed2275c88956cb0b823a0040435331cfd233f1df11f187e7780cb2c18a013904067d2ab28171cb463a3924433f4eabbffdc6299e682ceaad68e86163667</checksum>
  <summary>Wrapper around various solvers</summary>
  <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913522" build="1743223746"/>
  <size package="42983" installed="6428" archive="7168"/>
  <location href="ppc64le/metasmt-0.0+20191203-5.17.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>metasmt-0.0+20191203-5.17.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="39781"/>
    <rpm:provides>
      <rpm:entry name="metasmt" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>metasmt</name>
  <arch>src</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">885272b7b8c227e77868e9167dd5f8d36a3c41cc8e245f83a3b5e6dcbb15799f98cfcb875c35a39523ecfb90f98f1135f9458b16ef2913e581f2bca09f7d0dba</checksum>
  <summary>Wrapper around various solvers</summary>
  <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913522" build="1743223746"/>
  <size package="176746" installed="122787" archive="123980"/>
  <location href="src/metasmt-0.0+20191203-5.17.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="79772"/>
    <rpm:provides>
      <rpm:entry name="metasmt" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt-debuginfo" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt-debugsource" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="libmetaSMT4_0" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt-devel" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="stp-devel"/>
      <rpm:entry name="xz"/>
      <rpm:entry name="z3-devel"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>metasmt-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">b97d6ad40c4d1d9f0077a1c5641296984be7d5691b554350270d08eca1e5ed350b9e229af42d52383200536c85065a94bd71a6ec0167664ecb36fcc9cc158e52</checksum>
  <summary>Debug sources for package metasmt</summary>
  <description>This package provides debug sources for package metasmt.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913522" build="1743223746"/>
  <size package="40719" installed="659" archive="2068"/>
  <location href="ppc64le/metasmt-debugsource-0.0+20191203-5.17.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>metasmt-0.0+20191203-5.17.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="40141"/>
    <rpm:provides>
      <rpm:entry name="metasmt-debugsource" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt-debugsource(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>metasmt-devel</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.0+20191203" rel="5.17"/>
  <checksum type="sha512" pkgid="YES">88dc8a224a8664fdc07e820d5b746a19161da8875f4c8cfbf70cff8cc9dbdbf989d59163e95bd6de14fdce650f7ddb89d5b87102a91310e363d8b94e5f4a28ba</checksum>
  <summary>Devel files for metasmt</summary>
  <description>Development files for metasmt library.</description>
  <packager></packager>
  <url>https://github.com/hoangmle/metaSMT</url>
  <time file="1785913522" build="1743223746"/>
  <size package="87237" installed="275834" archive="287160"/>
  <location href="ppc64le/metasmt-devel-0.0+20191203-5.17.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>metasmt-0.0+20191203-5.17.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="48237"/>
    <rpm:provides>
      <rpm:entry name="metasmt-devel" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="metasmt-devel(ppc-64)" flags="EQ" epoch="0" ver="0.0+20191203" rel="5.17"/>
      <rpm:entry name="pkgconfig(metasmt)"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libmetaSMT4_0" flags="EQ" epoch="0" ver="0.0+20191203"/>
      <rpm:entry name="metasmt" flags="EQ" epoch="0" ver="0.0+20191203"/>
      <rpm:entry name="stp-devel"/>
      <rpm:entry name="z3-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>minisat</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">bc619edabbab4e3fc69c9849b7092b3601057a79b8a0cff0b2e71397857d7b39b45bc47cb38e8825e23517ec2e28f45fc38ed928d3a06d929ca51e8206b9a8d0</checksum>
  <summary>SAT solver</summary>
  <description>MiniSat is a comparatively small SAT solver with documentation
(through the following paper). The first version was just above 600
lines while containing many then-desirable features (conflict-clause
recording, conflict-driven backjumping, VSIDS dynamic variable order,
two-literal watch scheme), and even extensions for incremental SAT
and for non-clausal constraints over boolean variables.

The current MiniSat v2 supports variable elimination style
simplification, too.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621358" build="1772092329"/>
  <size package="24110" installed="138733" archive="139708"/>
  <location href="ppc64le/minisat-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="10877"/>
    <rpm:provides>
      <rpm:entry name="minisat" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libminisat.so.2()(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libz.so.1()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/minisat</file>
    <file>/usr/bin/minisat_core</file>
  </format>
</package>
<package type="rpm">
  <name>minisat</name>
  <arch>src</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">420ae450b97ee70f09d5ddd934188303f93b8935d169f16be19cf299191cd287277b1fe1122ba9c9e17ed7cb0ea6a9ffcc6c75294b930224a035ae28eb0d32c5</checksum>
  <summary>SAT solver</summary>
  <description>MiniSat is a comparatively small SAT solver with documentation
(through the following paper). The first version was just above 600
lines while containing many then-desirable features (conflict-clause
recording, conflict-driven backjumping, VSIDS dynamic variable order,
two-literal watch scheme), and even extensions for incremental SAT
and for non-clausal constraints over boolean variables.

The current MiniSat v2 supports variable elimination style
simplification, too.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621359" build="1772092329"/>
  <size package="68373" installed="53978" archive="54864"/>
  <location href="src/minisat-2.2.1+20230206-4.8.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="18799"/>
    <rpm:provides>
      <rpm:entry name="minisat" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-debuginfo" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-debugsource" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="libminisat2" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-devel" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>minisat-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">0335ac0932db5f75c9fff55ff7bc62aac41ac7b29225e7f62dd78bd46e3d546c8457cb0cc2d610858e09248af9f87cd4648a61caf86f9957b24dd65afcce955f</checksum>
  <summary>Debug information for package minisat</summary>
  <description>This package provides debug information for package minisat.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621359" build="1772092329"/>
  <size package="60265" installed="191113" archive="193388"/>
  <location href="ppc64le/minisat-debuginfo-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="11413"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="cc732839d7b04bbe7e001e7c9ddd4661e2ed2d07"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d872dc4e12c427bbe0e08403819b4f90a649b55e"/>
      <rpm:entry name="minisat-debuginfo" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="minisat-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/minisat.debug</file>
    <file>/usr/lib/debug/usr/bin/minisat_core.debug</file>
  </format>
</package>
<package type="rpm">
  <name>minisat-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">0ca6c952ba3e41a557c78c32ad2ac7b06e548b1ce49a8b15c6b90b26a3b9d477eff61353dd57a9f14ea204279ad37ce4ae10d5f596783acb334dc4594f4e738e</checksum>
  <summary>Debug sources for package minisat</summary>
  <description>This package provides debug sources for package minisat.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621359" build="1772092329"/>
  <size package="48518" installed="193025" archive="198092"/>
  <location href="ppc64le/minisat-debugsource-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12261"/>
    <rpm:provides>
      <rpm:entry name="minisat-debugsource" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>minisat-devel</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.2.1+20230206" rel="4.8"/>
  <checksum type="sha512" pkgid="YES">0854a94efc5fd4bd8876f634fb44663b69986dab26d7c7e788f2654e816c95a3c4f16131d3b2ebdf6478b243c2c0695fb8fcd5658df2b62aefb5b47b52d94611</checksum>
  <summary>Devel files for minisat</summary>
  <description>Headers and libraries for the minisat package.</description>
  <packager></packager>
  <url>http://minisat.se/MiniSat.html</url>
  <time file="1785621359" build="1772092329"/>
  <size package="36047" installed="122862" archive="127104"/>
  <location href="ppc64le/minisat-devel-2.2.1+20230206-4.8.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>minisat-2.2.1+20230206-4.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12281"/>
    <rpm:provides>
      <rpm:entry name="cmake(minisat)"/>
      <rpm:entry name="minisat-devel" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
      <rpm:entry name="minisat-devel(ppc-64)" flags="EQ" epoch="0" ver="2.2.1+20230206" rel="4.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libminisat2" flags="EQ" epoch="0" ver="2.2.1+20230206"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>pmccabe</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.8" rel="3.48"/>
  <checksum type="sha512" pkgid="YES">afd998989f11d20b9d9a44ee340d0283b43439586343b2ab40bf92d25f8bac3dd355448d6d10a4f34229a8b94b7bd8116a6bcd33b9e4ca3ecf75cd6a5657c646</checksum>
  <summary>McCabe-style complexity and line counting for C and C++</summary>
  <description>Pmccabe calculates McCabe-style cyclomatic complexity for C and C++
source code.  Per-function complexity may be used for spotting likely
trouble spots and for estimating testing effort.

Pmccabe also includes a non-commented line counter compatible with anac,
'decomment' which only removes comments from source code; 'codechanges',
a program to calculate the amount of change which has occurred between
two source trees or files; and 'vifn', to invoke 'vi' given a function
name rather than a file name.

Pmccabe attempts to calculate the apparent complexity rather
than the complexity following the C++ and/or cpp preprocessors.
This causes Pmccabe to become confused with cpp constructs which
cause unmatched curly braces - most of which can profitably be
rewritten so they won't confuse prettyprinters anyway.  Pmccabe prints
C-compiler-style error messages when the parser gets confused so they
may be browsed with standard tools.

Two types of cyclomatic complexity are generated - one type counts
each switch() statement as regardless of the number of cases included and
the other more traditional measure counts each case within the switch().
Pmccabe also calculates the starting line for each function, the number of
lines consumed by the function, and the number of C statements within the
function.</description>
  <packager></packager>
  <url>https://gitlab.com/jas/pmccabe</url>
  <time file="1785090137" build="1616781202"/>
  <size package="45792" installed="183504" archive="185028"/>
  <location href="ppc64le/pmccabe-2.8-3.48.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>pmccabe-2.8-3.48.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="10537"/>
    <rpm:provides>
      <rpm:entry name="pmccabe" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
      <rpm:entry name="pmccabe(ppc-64)" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/sh"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/codechanges</file>
    <file>/usr/bin/decomment</file>
    <file>/usr/bin/pmccabe</file>
    <file>/usr/bin/vifn</file>
  </format>
</package>
<package type="rpm">
  <name>pmccabe</name>
  <arch>src</arch>
  <version epoch="0" ver="2.8" rel="3.48"/>
  <checksum type="sha512" pkgid="YES">68b18b0c5f786fa4b83e87d0bd28c599eb1e1df567d2001fcb72ab97649ae78923d4be076634ca4d8bc287bf95b9e12c303edc361df8a32972728eac778ecef6</checksum>
  <summary>McCabe-style complexity and line counting for C and C++</summary>
  <description>Pmccabe calculates McCabe-style cyclomatic complexity for C and C++
source code.  Per-function complexity may be used for spotting likely
trouble spots and for estimating testing effort.

Pmccabe also includes a non-commented line counter compatible with anac,
'decomment' which only removes comments from source code; 'codechanges',
a program to calculate the amount of change which has occurred between
two source trees or files; and 'vifn', to invoke 'vi' given a function
name rather than a file name.

Pmccabe attempts to calculate the apparent complexity rather
than the complexity following the C++ and/or cpp preprocessors.
This causes Pmccabe to become confused with cpp constructs which
cause unmatched curly braces - most of which can profitably be
rewritten so they won't confuse prettyprinters anyway.  Pmccabe prints
C-compiler-style error messages when the parser gets confused so they
may be browsed with standard tools.

Two types of cyclomatic complexity are generated - one type counts
each switch() statement as regardless of the number of cases included and
the other more traditional measure counts each case within the switch().
Pmccabe also calculates the starting line for each function, the number of
lines consumed by the function, and the number of C statements within the
function.</description>
  <packager></packager>
  <url>https://gitlab.com/jas/pmccabe</url>
  <time file="1785090137" build="1616781202"/>
  <size package="79128" installed="69647" archive="70028"/>
  <location href="src/pmccabe-2.8-3.48.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="10995"/>
    <rpm:provides>
      <rpm:entry name="pmccabe" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
      <rpm:entry name="pmccabe-debuginfo" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
      <rpm:entry name="pmccabe-debugsource" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>pmccabe-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.8" rel="3.48"/>
  <checksum type="sha512" pkgid="YES">aecdc64d7b3f912ac7ee7914b8657f6f243e5d75461ed4cf9410b5023a27a69df5937371c9a8378546aeb90e3f6522f65dc8b80e9849f0563ef6e000e2997a4f</checksum>
  <summary>Debug information for package pmccabe</summary>
  <description>This package provides debug information for package pmccabe.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://gitlab.com/jas/pmccabe</url>
  <time file="1785090137" build="1616781202"/>
  <size package="14555" installed="73995" archive="76252"/>
  <location href="ppc64le/pmccabe-debuginfo-2.8-3.48.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-or-later</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>pmccabe-2.8-3.48.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9321"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8459be1ecc1332ae4f65bfccfea73f08d5ecf666"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="e6bfb6f288363599600d4a4e23e626573a255fc4"/>
      <rpm:entry name="pmccabe-debuginfo" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
      <rpm:entry name="pmccabe-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="pmccabe-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.8" rel="3.48"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/decomment.debug</file>
    <file>/usr/lib/debug/usr/bin/pmccabe.debug</file>
  </format>
</package>
<package type="rpm">
  <name>python313-stp</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">8a1c2a4d7239ba6f3a5560f2a1ea6ca4ec8dde47b1414943af78bc35434a1ccc0b668b8e08c66b92d7b8c2e5abb657642270cd26740f07cdce5cd2ee4b6f94ee</checksum>
  <summary>Constraint Solver</summary>
  <description>STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="23451" installed="35803" archive="36572"/>
  <location href="ppc64le/python313-stp-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="16009"/>
    <rpm:provides>
      <rpm:entry name="python3-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="python313-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="python313-stp(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.13"/>
    </rpm:requires>
    <rpm:obsoletes>
      <rpm:entry name="python3-stp" flags="LT" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:obsoletes>
  </format>
</package>
<package type="rpm">
  <name>python313-z3</name>
  <arch>noarch</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">97e6c7417b14a447c1f389f2bd629cc232bed6d4f984f2430642749dd2644e1755c1d4c9c2e48db2f942011fa516f1aa4d2f42938cbaec6ba26f282547ee088b</checksum>
  <summary>Python bindings for z3</summary>
  <description>Z3 is a theorem prover from Microsoft Research.

Python bindings for the module.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623927" build="1784802467"/>
  <size package="313252" installed="2381532" archive="2389772"/>
  <location href="noarch/python313-z3-5.0.0-1.5.noarch.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="22793"/>
    <rpm:provides>
      <rpm:entry name="python3-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python3.13dist(z3-solver)" flags="EQ" epoch="0" ver="5"/>
      <rpm:entry name="python313-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python3dist(z3-solver)" flags="EQ" epoch="0" ver="5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libz3-5_0" flags="EQ" epoch="0" ver="5.0.0"/>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.13"/>
    </rpm:requires>
    <rpm:obsoletes>
      <rpm:entry name="python3-z3" flags="LT" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:obsoletes>
  </format>
</package>
<package type="rpm">
  <name>python314-stp</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">7b3d08889a36df7357d058527b70a95ca7de07682da08f5574912de4e025788625ada12b08c25fd552e1acc577c390f37bf7b32e679ad13a7654765f2eef9e86</checksum>
  <summary>Constraint Solver</summary>
  <description>STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="23346" installed="35803" archive="36572"/>
  <location href="ppc64le/python314-stp-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="15905"/>
    <rpm:provides>
      <rpm:entry name="python314-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="python314-stp(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python314-z3</name>
  <arch>noarch</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">ae4382aafe786f2c30b93c400e302dce4f0c8d00cfcfcfd2f92b03d2639800bf996e3b9e85464ab4519d800a1e493116bcfc5b073302ecab726cc39693eed55d</checksum>
  <summary>Python bindings for z3</summary>
  <description>Z3 is a theorem prover from Microsoft Research.

Python bindings for the module.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623927" build="1784802467"/>
  <size package="315365" installed="2408737" archive="2416984"/>
  <location href="noarch/python314-z3-5.0.0-1.5.noarch.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="22793"/>
    <rpm:provides>
      <rpm:entry name="python3-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python3.14dist(z3-solver)" flags="EQ" epoch="0" ver="5"/>
      <rpm:entry name="python314-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python3dist(z3-solver)" flags="EQ" epoch="0" ver="5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libz3-5_0" flags="EQ" epoch="0" ver="5.0.0"/>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
    </rpm:requires>
    <rpm:obsoletes>
      <rpm:entry name="python3-z3" flags="LT" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:obsoletes>
  </format>
</package>
<package type="rpm">
  <name>smatch</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.75+20260505" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">3de2e8c8d4c7f42e3365d307d0962aaa28ab556d53bc04868a8583ac1ee41f9e0d14e131a6e1e0dd262cd9858d1758b23553ec624844a2efa0849383a57a7bbd</checksum>
  <summary>Static analysis tool for C</summary>
  <description>Smatch is a static analysis tool for C. Most of the checks are for the linux
kernel. Please write checks for your project. It's fun and easy!</description>
  <packager></packager>
  <url>http://smatch.sf.net</url>
  <time file="1786315383" build="1784800540"/>
  <size package="1174561" installed="9507825" archive="9537468"/>
  <location href="ppc64le/smatch-1.75+20260505-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-only</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Building</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>smatch-1.75+20260505-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="39457"/>
    <rpm:provides>
      <rpm:entry name="smatch" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
      <rpm:entry name="smatch(ppc-64)" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/bash"/>
      <rpm:entry name="/usr/bin/perl"/>
      <rpm:entry name="/usr/bin/python3"/>
      <rpm:entry name="ld64.so.2()(64bit)"/>
      <rpm:entry name="ld64.so.2(GLIBC_2.23)(64bit)"/>
      <rpm:entry name="libcrypto.so.3()(64bit)"/>
      <rpm:entry name="libcrypto.so.3(OPENSSL_3.0.0)(64bit)"/>
      <rpm:entry name="libsqlite3.so.0()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/smatch</file>
  </format>
</package>
<package type="rpm">
  <name>smatch</name>
  <arch>src</arch>
  <version epoch="0" ver="1.75+20260505" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">702f0397d84e65edabcb301e51a7ce2e87c0efd45055e77cbf77d6916eb52d207e2892bf33952160c3cba62c6ed5ad2181782e8a8c27e6b28963b802f9ed0d2c</checksum>
  <summary>Static analysis tool for C</summary>
  <description>Smatch is a static analysis tool for C. Most of the checks are for the linux
kernel. Please write checks for your project. It's fun and easy!</description>
  <packager></packager>
  <url>http://smatch.sf.net</url>
  <time file="1786315383" build="1784800540"/>
  <size package="1086339" installed="1065398" archive="1066100"/>
  <location href="src/smatch-1.75+20260505-1.5.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0-only</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Building</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="27279"/>
    <rpm:provides>
      <rpm:entry name="smatch" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
      <rpm:entry name="smatch-debuginfo" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
      <rpm:entry name="smatch-debugsource" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="gcc"/>
      <rpm:entry name="make"/>
      <rpm:entry name="openssl-devel"/>
      <rpm:entry name="pkgconfig"/>
      <rpm:entry name="sqlite3-devel"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>smatch-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.75+20260505" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">9954948bdff5319c0b6e8db65b3d06f2dbf46394bb56f11d97b0145989ff63b8cf2fcc8247ca0d51d1698ff0a74d96bf61c224f6dc578c4a82bcaec9b98ffddb</checksum>
  <summary>Debug information for package smatch</summary>
  <description>This package provides debug information for package smatch.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://smatch.sf.net</url>
  <time file="1786315383" build="1784800540"/>
  <size package="2460362" installed="9965326" archive="9966640"/>
  <location href="ppc64le/smatch-debuginfo-1.75+20260505-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-only</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>smatch-1.75+20260505-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="14961"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="678ea2068aa0f9c3e00bca55d6673e2d43bf77df"/>
      <rpm:entry name="smatch-debuginfo" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
      <rpm:entry name="smatch-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="smatch-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/smatch.debug</file>
  </format>
</package>
<package type="rpm">
  <name>smatch-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="1.75+20260505" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">f4d2eb099ee319cfdd547fd4fa6146b57d8a42ceaf15c193e98876697dbf06cef1dfeccca828c08488070952c0d9754171ddbfc06c45a3424ff27cd2ee5fa127</checksum>
  <summary>Debug sources for package smatch</summary>
  <description>This package provides debug sources for package smatch.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://smatch.sf.net</url>
  <time file="1786315383" build="1784800540"/>
  <size package="518787" installed="3039299" archive="3102560"/>
  <location href="ppc64le/smatch-debugsource-1.75+20260505-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>GPL-2.0-only</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>smatch-1.75+20260505-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="62901"/>
    <rpm:provides>
      <rpm:entry name="smatch-debugsource" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
      <rpm:entry name="smatch-debugsource(ppc-64)" flags="EQ" epoch="0" ver="1.75+20260505" rel="1.5"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>sparse</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">12df985132e6287f68a064b6e51c3b4b2e04f4a784f9fe7c18b49256cac8db9d70862b3ef57a03411953dc3b11ec70ed42912a3c0ef63c0fd0a771ed5f86ef74</checksum>
  <summary>A semantic parser of source files</summary>
  <description>Sparse is a semantic parser of source files: it's neither a compiler
(although it could be used as a front-end for one) nor is it a
preprocessor (although it contains as a part of it a preprocessing
phase).

It is meant to be a small - and simple - library.  Scanty and meager,
and partly because of that easy to use.  It has one mission in life:
create a semantic parse tree for some arbitrary user for further
analysis.  It's not a tokenizer, nor is it some generic context-free
parser.  In fact, context (semantics) is what it's all about - figuring
out not just what the grouping of tokens are, but what the _types_ are
that the grouping implies.

Sparse is primarily used in the development and debugging of the Linux
kernel.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="379734" installed="1805463" archive="1807272"/>
  <location href="ppc64le/sparse-0.6.5~rc1+20251218-3.4.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Building</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>sparse-0.6.5~rc1+20251218-3.4.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="15737"/>
    <rpm:provides>
      <rpm:entry name="sparse" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/perl"/>
      <rpm:entry name="ld64.so.2()(64bit)"/>
      <rpm:entry name="ld64.so.2(GLIBC_2.23)(64bit)"/>
      <rpm:entry name="libsqlite3.so.0()(64bit)"/>
      <rpm:entry name="libxml2.so.16()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/c2xml</file>
    <file>/usr/bin/cgcc</file>
    <file>/usr/bin/semind</file>
    <file>/usr/bin/sparse</file>
  </format>
</package>
<package type="rpm">
  <name>sparse</name>
  <arch>src</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">faec53bc9d046019048004647506309ada18ccf3626503559a881754b78204beda4dceed419cde5904b7463e9e0884b31d688d8a39ee8f426a34b67d3ad51f7d</checksum>
  <summary>A semantic parser of source files</summary>
  <description>Sparse is a semantic parser of source files: it's neither a compiler
(although it could be used as a front-end for one) nor is it a
preprocessor (although it contains as a part of it a preprocessing
phase).

It is meant to be a small - and simple - library.  Scanty and meager,
and partly because of that easy to use.  It has one mission in life:
create a semantic parse tree for some arbitrary user for further
analysis.  It's not a tokenizer, nor is it some generic context-free
parser.  In fact, context (semantics) is what it's all about - figuring
out not just what the grouping of tokens are, but what the _types_ are
that the grouping implies.

Sparse is primarily used in the development and debugging of the Linux
kernel.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="431863" installed="395873" archive="396268"/>
  <location href="src/sparse-0.6.5~rc1+20251218-3.4.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Tools/Building</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="48358"/>
    <rpm:provides>
      <rpm:entry name="sparse" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-debuginfo" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-debugsource" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-inspect" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="gcc"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="ncurses-devel"/>
      <rpm:entry name="pkgconfig"/>
      <rpm:entry name="pkgconfig(gtk+-2.0)"/>
      <rpm:entry name="pkgconfig(libxml-2.0)"/>
      <rpm:entry name="pkgconfig(sqlite3)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>sparse-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">a4c8959f79b32034f515eaf137904a4d8e5ff1859799ff4949182a2c4bd09cd5492d27098ed5b2a47d6d97c08d08170dbb50240304bd372fe54f38ac40c7ff42</checksum>
  <summary>Debug information for package sparse</summary>
  <description>This package provides debug information for package sparse.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="1142600" installed="5451479" archive="5454408"/>
  <location href="ppc64le/sparse-debuginfo-0.6.5~rc1+20251218-3.4.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>sparse-0.6.5~rc1+20251218-3.4.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="15389"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="3914fbeb8f1d41545fc57828e078edd34c600ba3"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f85e548b2e03284cf402cfb9d291ce88b737b5bb"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="fd9c2e29057d0ea8d4fbe4f6e50e0bfefd6bf66a"/>
      <rpm:entry name="sparse-debuginfo" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="sparse-debugsource(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/c2xml.debug</file>
    <file>/usr/lib/debug/usr/bin/semind.debug</file>
    <file>/usr/lib/debug/usr/bin/sparse.debug</file>
  </format>
</package>
<package type="rpm">
  <name>sparse-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">fcb5c63eb332133f0df25280286fe34a4f5ad09847ccd5263c82e3d667f79d5d63410cc3fb4b76aa456981dbaab3cc47d729466d36249b709388fc8379639f51</checksum>
  <summary>Debug sources for package sparse</summary>
  <description>This package provides debug sources for package sparse.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="199976" installed="938428" archive="955284"/>
  <location href="ppc64le/sparse-debugsource-0.6.5~rc1+20251218-3.4.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>sparse-0.6.5~rc1+20251218-3.4.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="24485"/>
    <rpm:provides>
      <rpm:entry name="sparse-debugsource" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-debugsource(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>sparse-inspect</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">9239590cd2d3ecc2b9f801dd4d21a5df1d49edb8a09e6b988b249608e21a069eb223b7c534339a5509cf0e1d99e63865a7833a22001ef833dc111179f756b982</checksum>
  <summary>Inspect binary from sparse</summary>
  <description>test-inspect is a gtk frontend for sparse.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="189778" installed="548792" archive="549052"/>
  <location href="ppc64le/sparse-inspect-0.6.5~rc1+20251218-3.4.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Libraries/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>sparse-0.6.5~rc1+20251218-3.4.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12653"/>
    <rpm:provides>
      <rpm:entry name="sparse-inspect" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-inspect(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="ld64.so.2()(64bit)"/>
      <rpm:entry name="ld64.so.2(GLIBC_2.23)(64bit)"/>
      <rpm:entry name="libglib-2.0.so.0()(64bit)"/>
      <rpm:entry name="libgobject-2.0.so.0()(64bit)"/>
      <rpm:entry name="libgtk-x11-2.0.so.0()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/test-inspect</file>
  </format>
</package>
<package type="rpm">
  <name>sparse-inspect-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
  <checksum type="sha512" pkgid="YES">cbe24b28c23754c7d0fa601b1707bb649ac017b867278802765a011d71aca4cffbbe8c86608a2fdd988acf8248da115e7c4a4943bc86e5d4bcb3c12af9f696b4</checksum>
  <summary>Debug information for package sparse-inspect</summary>
  <description>This package provides debug information for package sparse-inspect.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://sparse.docs.kernel.org/</url>
  <time file="1786317825" build="1783496068"/>
  <size package="426296" installed="1610490" archive="1611808"/>
  <location href="ppc64le/sparse-inspect-debuginfo-0.6.5~rc1+20251218-3.4.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>sparse-0.6.5~rc1+20251218-3.4.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="13405"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="bec1feca629dc62715987947d3f65dcbc24a0c35"/>
      <rpm:entry name="sparse-inspect-debuginfo" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
      <rpm:entry name="sparse-inspect-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="sparse-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="sparse-debugsource(ppc-64)" flags="EQ" epoch="0" ver="0.6.5~rc1+20251218" rel="3.4"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/test-inspect.debug</file>
  </format>
</package>
<package type="rpm">
  <name>stp</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">7781d633a242139dc379b7193bab63ba52eec7fd2d0b96f289066164ec843cec2680e5a5d317afbe0b89e7b9c3308f9df26c456eb10021c1e134de49a48e6694</checksum>
  <summary>Constraint Solver</summary>
  <description>STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="141475" installed="570153" archive="571260"/>
  <location href="ppc64le/stp-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="17469"/>
    <rpm:provides>
      <rpm:entry name="python2-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libboost_program_options.so.1.91.0()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libstp.so.2.4()(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/stp</file>
    <file>/usr/bin/stp_simple</file>
  </format>
</package>
<package type="rpm">
  <name>stp</name>
  <arch>src</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">e2c28fe2dcb1ac482f7429e9d8a1c9eca88087c1d7ea68b6398eb7cc06d8d7f5890ff84d532d6641fcbd593e16407dd4fa7b041f1c5fa7d52725d3a11963b824</checksum>
  <summary>Constraint Solver</summary>
  <description>STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="7743751" installed="7695056" archive="7695760"/>
  <location href="src/stp-2.4.1-1.2.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="66048"/>
    <rpm:provides>
      <rpm:entry name="stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="python314-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="python313-stp" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-debuginfo" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-debugsource" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="libstp2_4" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-devel" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="bison"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="cmake(minisat)"/>
      <rpm:entry name="flex"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="libboost_program_options-devel"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="pkgconfig(gmp)"/>
      <rpm:entry name="python-rpm-macros"/>
      <rpm:entry name="python3-setuptools"/>
      <rpm:entry name="python313-base"/>
      <rpm:entry name="python314-base"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>stp-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">ca33d3bac81e12ba3cb41a0763a738b5bdaa6c142daf2f92d22002f495e018833a778d14e95cb430c32b186e7c812f32c84c9e82de37f7245b3a5a3769c41388</checksum>
  <summary>Debug information for package stp</summary>
  <description>This package provides debug information for package stp.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315740" build="1785913246"/>
  <size package="1228734" installed="5558045" archive="5560304"/>
  <location href="ppc64le/stp-debuginfo-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="17421"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="53a09ebfb5495141efa0c06d599e3d07ff539c46"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f6d09800fb6fbf9d6220fe6e47daffc7d4c1fac8"/>
      <rpm:entry name="stp-debuginfo" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="stp-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/stp.debug</file>
    <file>/usr/lib/debug/usr/bin/stp_simple.debug</file>
  </format>
</package>
<package type="rpm">
  <name>stp-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">4de1995dac9d93c906fc83fab45df500fe6cbb29b08ab8937a7b59fe064d5ece28379f6b063795a175aeaab2208e585101b9d9dd28b15c76d678bbaef630c753</checksum>
  <summary>Debug sources for package stp</summary>
  <description>This package provides debug sources for package stp.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315741" build="1785913246"/>
  <size package="1372686" installed="7942428" archive="8018512"/>
  <location href="ppc64le/stp-debugsource-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="68449"/>
    <rpm:provides>
      <rpm:entry name="stp-debugsource" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-debugsource(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>stp-devel</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="2.4.1" rel="1.2"/>
  <checksum type="sha512" pkgid="YES">9bc8f56e74033183a37c4645d544771e69003632c17234857dc8cd92945b2863caf63b7bbcba8abbc0186d741fb0b9d82adcd73327f20ae35307ee49cd94ed38</checksum>
  <summary>Devel files for stp</summary>
  <description>Development files for stp library.</description>
  <packager></packager>
  <url>https://github.com/stp/stp/wiki</url>
  <time file="1786315741" build="1785913246"/>
  <size package="30212" installed="65770" archive="67820"/>
  <location href="ppc64le/stp-devel-2.4.1-1.2.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>stp-2.4.1-1.2.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="16489"/>
    <rpm:provides>
      <rpm:entry name="cmake(STP)" flags="EQ" epoch="0" ver="2.4.1"/>
      <rpm:entry name="stp-devel" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
      <rpm:entry name="stp-devel(ppc-64)" flags="EQ" epoch="0" ver="2.4.1" rel="1.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libboost_program_options-devel"/>
      <rpm:entry name="libstp2_4" flags="EQ" epoch="0" ver="2.4.1"/>
      <rpm:entry name="minisat-devel"/>
      <rpm:entry name="stp" flags="EQ" epoch="0" ver="2.4.1"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>z3</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">a9cdfbdb887804cc7b0a56bd68b27d92829575a0116fa7edcd8f2607d460b8a92bf0450d30c62b147de6cfd01e01c417a2dd126362c2da1f08e5d57eff7dea00</checksum>
  <summary>Theorem prover from Microsoft Research</summary>
  <description>Z3 is a satisfiability modulo theories (SMT) solver; given a set of
constraints with variables, it reports a set of values for those
variables that would meet the constraints.  The Z3 input format is an
extension of the one defined by the SMT-LIB 2.0 standard.  Z3 supports
arithmetic, fixed-size bit-vectors, extensional arrays, datatypes,
uninterpreted functions, and quantifiers.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623927" build="1784802467"/>
  <size package="7831557" installed="24101273" archive="24102252"/>
  <location href="ppc64le/z3-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="18841"/>
    <rpm:provides>
      <rpm:entry name="z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libgmp.so.10()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.2)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.5)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.14)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.17)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.22)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.26)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.30)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.31)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.35)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/z3</file>
  </format>
</package>
<package type="rpm">
  <name>z3</name>
  <arch>src</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">57665e1d83175848054757b50daaab5aff0e45b6ff0a326d4133af0b61c04707e88e121f9676db91a1eed77aaf305e5a8d8c10ae8f54ad8b14756b2437641c4a</checksum>
  <summary>Theorem prover from Microsoft Research</summary>
  <description>Z3 is a satisfiability modulo theories (SMT) solver; given a set of
constraints with variables, it reports a set of values for those
variables that would meet the constraints.  The Z3 input format is an
extension of the one defined by the SMT-LIB 2.0 standard.  Z3 supports
arithmetic, fixed-size bit-vectors, extensional arrays, datatypes,
uninterpreted functions, and quantifiers.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623928" build="1784802467"/>
  <size package="6971400" installed="6860618" archive="6861408"/>
  <location href="src/z3-5.0.0-1.5.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Productivity/Scientific/Other</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="168359"/>
    <rpm:provides>
      <rpm:entry name="z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python314-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="python313-z3" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-debuginfo" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-debugsource" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="libz3-5_0" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-devel" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="c++_compiler"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="fdupes"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="graphviz"/>
      <rpm:entry name="help2man"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="pkgconfig"/>
      <rpm:entry name="pkgconfig(gmpxx)"/>
      <rpm:entry name="python-rpm-macros"/>
      <rpm:entry name="python313-devel"/>
      <rpm:entry name="python313-pip"/>
      <rpm:entry name="python313-setuptools" flags="GE" epoch="0" ver="44"/>
      <rpm:entry name="python313-wheel"/>
      <rpm:entry name="python314-devel"/>
      <rpm:entry name="python314-pip"/>
      <rpm:entry name="python314-setuptools" flags="GE" epoch="0" ver="44"/>
      <rpm:entry name="python314-wheel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>z3-debuginfo</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">cea89376aa3148f8a2ab22d379d76d1314c37e6164231a9187b30ad8b8c88b5693e2c4d309daec5e5f13bedc28ead887545285dbd5db8667526761d049f29345</checksum>
  <summary>Debug information for package z3</summary>
  <description>This package provides debug information for package z3.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623930" build="1784802467"/>
  <size package="99935357" installed="339912806" archive="339914116"/>
  <location href="ppc64le/z3-debuginfo-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="17241"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="e6da6732940ebab87b7a57d6511b8d51ed46ff01"/>
      <rpm:entry name="z3-debuginfo" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-debuginfo(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="z3-debugsource(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/z3.debug</file>
  </format>
</package>
<package type="rpm">
  <name>z3-debugsource</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">98cf85d6b56b8ea52baa288333ddbed300b4b1e2848e87a1b68184fc0958871c21913171032d79722635fcb348c2eb7fde5e387e51252f0832789703afead122</checksum>
  <summary>Debug sources for package z3</summary>
  <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.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623930" build="1784802467"/>
  <size package="3353618" installed="22201434" archive="22530340"/>
  <location href="ppc64le/z3-debugsource-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="265277"/>
    <rpm:provides>
      <rpm:entry name="z3-debugsource" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-debugsource(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>z3-devel</name>
  <arch>ppc64le</arch>
  <version epoch="0" ver="5.0.0" rel="1.5"/>
  <checksum type="sha512" pkgid="YES">96ef9690d89a3aa625376f9a572f8fbe0f014a34c0b951ab6fa4d6066fce6815bd81c6754b4091cd2d3c3a7a924226385d7c2392311c69e4b69b75f297439564</checksum>
  <summary>Development files for Z3</summary>
  <description>Development files for the Z3 library.</description>
  <packager></packager>
  <url>https://github.com/Z3Prover/z3/wiki</url>
  <time file="1785623930" build="1784802467"/>
  <size package="104000" installed="609352" archive="612736"/>
  <location href="ppc64le/z3-devel-5.0.0-1.5.ppc64le.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/devel:tools</rpm:vendor>
    <rpm:group>Development/Languages/C and C++</rpm:group>
    <rpm:buildhost>reproducible</rpm:buildhost>
    <rpm:sourcerpm>z3-5.0.0-1.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="19061"/>
    <rpm:provides>
      <rpm:entry name="cmake(Z3)" flags="EQ" epoch="0" ver="5.0.0.0"/>
      <rpm:entry name="pkgconfig(z3)" flags="EQ" epoch="0" ver="5.0.0.0"/>
      <rpm:entry name="z3-devel" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
      <rpm:entry name="z3-devel(ppc-64)" flags="EQ" epoch="0" ver="5.0.0" rel="1.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/pkg-config"/>
      <rpm:entry name="libz3-5_0" flags="EQ" epoch="0" ver="5.0.0"/>
    </rpm:requires>
  </format>
</package>
</metadata>