<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="27">
<package type="rpm">
  <name>dtlu</name>
  <arch>src</arch>
  <version epoch="0" ver="0.0+20161201" rel="3.5"/>
  <checksum type="sha256" pkgid="YES">4fe18a8b61b78e4b767ededed67d54358baabb62fba3f95cbbed463ebb34eae8</checksum>
  <summary>Dependency Tracking Linker Utils</summary>
  <description>The tools allows for linking only relevant objects into one LLVM binary which
can then be symbolically executed e.g. by Klee. Some functions can be replaced
by another implementation if need be.</description>
  <packager></packager>
  <url>https://github.com/Linhos13/dtlu/</url>
  <time file="1503886780" build="1484654400"/>
  <size package="20242" installed="13536" archive="13916"/>
  <location href="src/dtlu-0.0+20161201-3.5.src.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>localhost</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5016" end="7364"/>
    <rpm:requires>
      <rpm:entry name="clang3_8"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="llvm3_8-devel"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>dtlu</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20161201" rel="3.5"/>
  <checksum type="sha256" pkgid="YES">30cd75aa76f6dbae717256077bd955f59ddf14d6f0b47e70dfcedd02ae882cc3</checksum>
  <summary>Dependency Tracking Linker Utils</summary>
  <description>The tools allows for linking only relevant objects into one LLVM binary which
can then be symbolically executed e.g. by Klee. Some functions can be replaced
by another implementation if need be.</description>
  <packager></packager>
  <url>https://github.com/Linhos13/dtlu/</url>
  <time file="1503886780" build="1484654400"/>
  <size package="37558" installed="97757" archive="98732"/>
  <location href="x86_64/dtlu-0.0+20161201-3.5.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>localhost</rpm:buildhost>
    <rpm:sourcerpm>dtlu-0.0+20161201-3.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="9510"/>
    <rpm:provides>
      <rpm:entry name="dtlu" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
      <rpm:entry name="dtlu(x86-64)" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/python"/>
      <rpm:entry name="/usr/bin/stcc"/>
      <rpm:entry name="libLLVMBitWriter.so.3.8()(64bit)"/>
      <rpm:entry name="libLLVMCore.so.3.8()(64bit)"/>
      <rpm:entry name="libLLVMIRReader.so.3.8()(64bit)"/>
      <rpm:entry name="libLLVMSupport.so.3.8()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.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.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/dtlu-indexer</file>
    <file>/usr/bin/dtlu-linker</file>
    <file>/usr/bin/dtlu-project-maker</file>
  </format>
</package>
<package type="rpm">
  <name>dtlu-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20161201" rel="3.5"/>
  <checksum type="sha256" pkgid="YES">d518b14d2055a247c340246e532146e08cc182a095e5c5cfc678fbe0a8546407</checksum>
  <summary>Debug information for package dtlu</summary>
  <description>This package provides debug information for package dtlu.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/Linhos13/dtlu/</url>
  <time file="1503886780" build="1484654400"/>
  <size package="343386" installed="1595759" archive="1597820"/>
  <location href="x86_64/dtlu-debuginfo-0.0+20161201-3.5.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>localhost</rpm:buildhost>
    <rpm:sourcerpm>dtlu-0.0+20161201-3.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="9490"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d9731cc3ccf69b23a541d6fa6ba51c5e7b2cfada"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f7b729d5e421c2447e28c72d24f0984c2cc1854f"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="fcbafe72fd40c2a70287087f6f907664ad043fa4"/>
      <rpm:entry name="dtlu-debuginfo" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
      <rpm:entry name="dtlu-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
    </rpm:provides>
    <file>/usr/lib/debug/usr/bin/dtlu-indexer.debug</file>
    <file>/usr/lib/debug/usr/bin/dtlu-linker.debug</file>
  </format>
</package>
<package type="rpm">
  <name>dtlu-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20161201" rel="3.5"/>
  <checksum type="sha256" pkgid="YES">ee4457998010188e260115352360aa5de7fc1bf92660bace89866750108c7135</checksum>
  <summary>Debug sources for package dtlu</summary>
  <description>This package provides debug sources for package dtlu.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/Linhos13/dtlu/</url>
  <time file="1503886780" build="1484654400"/>
  <size package="14809" installed="29568" archive="32008"/>
  <location href="x86_64/dtlu-debugsource-0.0+20161201-3.5.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>localhost</rpm:buildhost>
    <rpm:sourcerpm>dtlu-0.0+20161201-3.5.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="8929"/>
    <rpm:provides>
      <rpm:entry name="dtlu-debugsource" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
      <rpm:entry name="dtlu-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20161201" rel="3.5"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>llvmdg</name>
  <arch>src</arch>
  <version epoch="0" ver="0.0+20171106" rel="17.20"/>
  <checksum type="sha256" pkgid="YES">fa21865c0d80dedd7ac2cad5fa7844733cb9a6162cc877f305b9d732d8e7c3c8</checksum>
  <summary>Dependence graph for programs</summary>
  <description>Dg is a library which implements a dependence graph for programs. It contains a
set of generic templates that can be specialized to user's needs. Dg can be
used for different analyses, optimizations or program slicing (we currently use
it for the last one). As a part of dg, you can find a pointer analyses,
reaching definitions analysis and a static slicer for LLVM.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038444" build="1550038431"/>
  <size package="138498" installed="131070" archive="132104"/>
  <location href="src/llvmdg-0.0+20171106-17.20.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb11</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="13908"/>
    <rpm:requires>
      <rpm:entry name="clang4"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="llvm4-devel"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="python3-base"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>llvmdg</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171106" rel="17.20"/>
  <checksum type="sha256" pkgid="YES">ffc4d990eb5e870129294fc66b815cf56da3a0b29b8a61d878de10f0d0705905</checksum>
  <summary>Dependence graph for programs</summary>
  <description>Dg is a library which implements a dependence graph for programs. It contains a
set of generic templates that can be specialized to user's needs. Dg can be
used for different analyses, optimizations or program slicing (we currently use
it for the last one). As a part of dg, you can find a pointer analyses,
reaching definitions analysis and a static slicer for LLVM.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038444" build="1550038431"/>
  <size package="174260" installed="686771" archive="688148"/>
  <location href="x86_64/llvmdg-0.0+20171106-17.20.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb11</rpm:buildhost>
    <rpm:sourcerpm>llvmdg-0.0+20171106-17.20.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="16620"/>
    <rpm:provides>
      <rpm:entry name="libLLVMdg.so()(64bit)"/>
      <rpm:entry name="libLLVMpta.so()(64bit)"/>
      <rpm:entry name="libPTA.so()(64bit)"/>
      <rpm:entry name="libRD.so()(64bit)"/>
      <rpm:entry name="llvmdg" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
      <rpm:entry name="llvmdg(x86-64)" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libLLVM.so.4()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.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.15)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(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.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.17)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/llvm-dg-dump</file>
    <file>/usr/bin/llvm-slicer</file>
  </format>
</package>
<package type="rpm">
  <name>llvmdg-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171106" rel="17.20"/>
  <checksum type="sha256" pkgid="YES">87a4439d6dc933b94b05fde4d510197904ccf71879614394f0c33fc8ed907af5</checksum>
  <summary>Debug information for package llvmdg</summary>
  <description>This package provides debug information for package llvmdg.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038444" build="1550038431"/>
  <size package="1438708" installed="7056271" archive="7062188"/>
  <location href="x86_64/llvmdg-debuginfo-0.0+20171106-17.20.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb11</rpm:buildhost>
    <rpm:sourcerpm>llvmdg-0.0+20171106-17.20.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="18836"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="021c30348700861e1615e354b2845fca8b407ad2"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="332773fcbcaa212f7a2b73ab5e7b35e7124e7892"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8917e01fb91b43554a4ff27f2a45b2755b97ef08"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d9b0c9ad83cc04e10e116ebd541e592635bed6f7"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="ea21cc7264c2c01e9cd4aabd38aadd6944394acf"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="efa007a11f1d6ee41b9da7d8ff02e8a67d9c3331"/>
      <rpm:entry name="llvmdg-debuginfo" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
      <rpm:entry name="llvmdg-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="llvmdg-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/llvm-dg-dump-0.0+20171106-17.20.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/llvm-slicer-0.0+20171106-17.20.x86_64.debug</file>
  </format>
</package>
<package type="rpm">
  <name>llvmdg-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171106" rel="17.20"/>
  <checksum type="sha256" pkgid="YES">3cd5a66e048e7ccd70976952646834f1dd9610f0023ff442a4c46aa9e2164942</checksum>
  <summary>Debug sources for package llvmdg</summary>
  <description>This package provides debug sources for package llvmdg.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038444" build="1550038431"/>
  <size package="108716" installed="487228" archive="500536"/>
  <location href="x86_64/llvmdg-debugsource-0.0+20171106-17.20.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb11</rpm:buildhost>
    <rpm:sourcerpm>llvmdg-0.0+20171106-17.20.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="21820"/>
    <rpm:provides>
      <rpm:entry name="llvmdg-debugsource" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
      <rpm:entry name="llvmdg-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>llvmdg-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171106" rel="17.20"/>
  <checksum type="sha256" pkgid="YES">825664a1a540b569acb6a2c72cdebec672597664aa423b625f1dbcac61972560</checksum>
  <summary>Header files for Dg</summary>
  <description>Header files for Dependence graph library.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038444" build="1550038431"/>
  <size package="30316" installed="73739" archive="77172"/>
  <location href="x86_64/llvmdg-devel-0.0+20171106-17.20.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb11</rpm:buildhost>
    <rpm:sourcerpm>llvmdg-0.0+20171106-17.20.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="15344"/>
    <rpm:provides>
      <rpm:entry name="llvmdg-devel" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
      <rpm:entry name="llvmdg-devel(x86-64)" flags="EQ" epoch="0" ver="0.0+20171106" rel="17.20"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="llvmdg" flags="EQ" epoch="0" ver="0.0+20171106"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>llvminstrumentation</name>
  <arch>src</arch>
  <version epoch="0" ver="0.0+20171108" rel="14.23"/>
  <checksum type="sha256" pkgid="YES">1084b72fabb8b8034b3c25fbed61e13c72b1596e895bb99f7e21f92a18ed9e08</checksum>
  <summary>Dependence graph for programs</summary>
  <description>Dg is a library which implements a dependence graph for programs. It contains a
set of generic templates that can be specialized to user's needs. Dg can be
used for different analyses, optimizations or program slicing (we currently use
it for the last one). As a part of dg, you can find a pointer analyses,
reaching definitions analysis and a static slicer for LLVM.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038544" build="1550038535"/>
  <size package="131207" installed="122020" archive="122592"/>
  <location href="src/llvminstrumentation-0.0+20171108-14.23.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb16</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="14108"/>
    <rpm:requires>
      <rpm:entry name="clang4"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="jsoncpp-devel"/>
      <rpm:entry name="llvm4-devel"/>
      <rpm:entry name="llvmdg-devel"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>llvminstrumentation</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="14.23"/>
  <checksum type="sha256" pkgid="YES">4b00c15ec8a68d8990189efd3e6632065ce1cfb8ffdc61905d8d41a53a6b3ff5</checksum>
  <summary>Dependence graph for programs</summary>
  <description>Dg is a library which implements a dependence graph for programs. It contains a
set of generic templates that can be specialized to user's needs. Dg can be
used for different analyses, optimizations or program slicing (we currently use
it for the last one). As a part of dg, you can find a pointer analyses,
reaching definitions analysis and a static slicer for LLVM.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038544" build="1550038535"/>
  <size package="80100" installed="280999" archive="284892"/>
  <location href="x86_64/llvminstrumentation-0.0+20171108-14.23.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb16</rpm:buildhost>
    <rpm:sourcerpm>llvminstrumentation-0.0+20171108-14.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="18232"/>
    <rpm:provides>
      <rpm:entry name="libPoints_to_plugin.so()(64bit)"/>
      <rpm:entry name="llvminstrumentation" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
      <rpm:entry name="llvminstrumentation(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libLLVM.so.4()(64bit)"/>
      <rpm:entry name="libLLVMpta.so()(64bit)"/>
      <rpm:entry name="libPTA.so()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libjsoncpp.so.19()(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.1)(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.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/LLVMinstr</file>
  </format>
</package>
<package type="rpm">
  <name>llvminstrumentation-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="14.23"/>
  <checksum type="sha256" pkgid="YES">e4e1ff27af6da464875ee08c50a5ae97c663cadec1129435446dbcb427734230</checksum>
  <summary>Debug information for package llvminstrumentation</summary>
  <description>This package provides debug information for package llvminstrumentation.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038544" build="1550038535"/>
  <size package="536648" installed="2642247" archive="2644984"/>
  <location href="x86_64/llvminstrumentation-debuginfo-0.0+20171108-14.23.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb16</rpm:buildhost>
    <rpm:sourcerpm>llvminstrumentation-0.0+20171108-14.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="16472"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="a412a2a93ede6c15c673adcb8af49cc0aea4f6ca"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f0da0e616a586423850f68054275b91475415bb3"/>
      <rpm:entry name="llvminstrumentation-debuginfo" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
      <rpm:entry name="llvminstrumentation-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="llvminstrumentation-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/LLVMinstr-0.0+20171108-14.23.x86_64.debug</file>
  </format>
</package>
<package type="rpm">
  <name>llvminstrumentation-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="14.23"/>
  <checksum type="sha256" pkgid="YES">6333b26d0520469ba11f5f579f9c3fe013190fb1d85ba9d965a744dccd55afc4</checksum>
  <summary>Debug sources for package llvminstrumentation</summary>
  <description>This package provides debug sources for package llvminstrumentation.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/mchalupa/dg/</url>
  <time file="1550038544" build="1550038535"/>
  <size package="30052" installed="66263" archive="69652"/>
  <location href="x86_64/llvminstrumentation-debugsource-0.0+20171108-14.23.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb16</rpm:buildhost>
    <rpm:sourcerpm>llvminstrumentation-0.0+20171108-14.23.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="16012"/>
    <rpm:provides>
      <rpm:entry name="llvminstrumentation-debugsource" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
      <rpm:entry name="llvminstrumentation-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="14.23"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>llvmslicer</name>
  <arch>src</arch>
  <version epoch="0" ver="20150903" rel="5.36"/>
  <checksum type="sha256" pkgid="YES">c6b79e20f56d430311088748dcfbe6640d5419890aba3c64c85b45a634682ff0</checksum>
  <summary>Static slicer for LLVM</summary>
  <description>LLVMSlicer is a static slicer for LLVM bytecode. It implements Weiser's
slicing.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/LLVMSlicer</url>
  <time file="1578850158" build="1578850136"/>
  <size package="39991" installed="33314" archive="33708"/>
  <location href="src/llvmslicer-20150903-5.36.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>cloud128</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="7048"/>
    <rpm:requires>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="llvm34-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>llvmslicer</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20150903" rel="5.36"/>
  <checksum type="sha256" pkgid="YES">53f5ed41b0b4a3d6710662db7f662588eb16fb5142b1138ff3ab4223a7d068ec</checksum>
  <summary>Static slicer for LLVM</summary>
  <description>LLVMSlicer is a static slicer for LLVM bytecode. It implements Weiser's
slicing.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/LLVMSlicer</url>
  <time file="1578850158" build="1578850136"/>
  <size package="235332" installed="1364139" archive="1364704"/>
  <location href="x86_64/llvmslicer-20150903-5.36.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>cloud128</rpm:buildhost>
    <rpm:sourcerpm>llvmslicer-20150903-5.36.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="8360"/>
    <rpm:provides>
      <rpm:entry name="llvmslicer" flags="EQ" epoch="0" ver="20150903" rel="5.36"/>
      <rpm:entry name="llvmslicer(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="5.36"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="libLLVMAnalysis.so()(64bit)"/>
      <rpm:entry name="libLLVMBitWriter.so()(64bit)"/>
      <rpm:entry name="libLLVMCore.so()(64bit)"/>
      <rpm:entry name="libLLVMSupport.so()(64bit)"/>
      <rpm:entry name="libLLVMTransformUtils.so()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.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.21)(64bit)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>llvmslicer-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20150903" rel="5.36"/>
  <checksum type="sha256" pkgid="YES">c704c85ba622bad7bfea0ed1a7cf8f3ba89d1a025bf1ab2433ae5bf8d132f6bb</checksum>
  <summary>Debug information for package llvmslicer</summary>
  <description>This package provides debug information for package llvmslicer.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/LLVMSlicer</url>
  <time file="1578850159" build="1578850136"/>
  <size package="81556" installed="542680" archive="544140"/>
  <location href="x86_64/llvmslicer-debuginfo-20150903-5.36.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>cloud128</rpm:buildhost>
    <rpm:sourcerpm>llvmslicer-20150903-5.36.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="8636"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="e71340bf9749b334d1caddf7c5fb7c0bf54e5304"/>
      <rpm:entry name="llvmslicer-debuginfo" flags="EQ" epoch="0" ver="20150903" rel="5.36"/>
      <rpm:entry name="llvmslicer-debuginfo(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="5.36"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="llvmslicer-debugsource(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="5.36"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>stanse</name>
  <arch>src</arch>
  <version epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
  <checksum type="sha256" pkgid="YES">9830584193d4a3dbbdcac826773ac5ed027b0371f14202ed43d2da60c28a0e29</checksum>
  <summary>An automatic bug-finding tool for C</summary>
  <description>The aim of this project is to research, evaluate and implement modern
approaches to automatic bug finding for programs written in procedural
languages related to C (C/C++/C#/Java). This project is done in close
collaboration with ANF DATA (Siemens AG). The goal is to create a software
tool which is able to automatically discover some types of bugs in real-life
sized projects (e.g. the Linux kernel).</description>
  <packager></packager>
  <url>http://stanse.fi.muni.cz/</url>
  <time file="1532570631" build="1532570615"/>
  <size package="3550703" installed="3546319" archive="3547652"/>
  <location href="src/stanse-20151020.ea3682c00e-7.245.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>System/Management</rpm:group>
    <rpm:buildhost>lamb05</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="16068"/>
    <rpm:requires>
      <rpm:entry name="ant"/>
      <rpm:entry name="antlr3c-devel"/>
      <rpm:entry name="dom4j"/>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="fdupes"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="graphviz"/>
      <rpm:entry name="java-devel" flags="EQ" epoch="0" ver="1.7.0"/>
      <rpm:entry name="jaxen"/>
      <rpm:entry name="log4j"/>
      <rpm:entry name="swing-layout"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>stanse</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
  <checksum type="sha256" pkgid="YES">167734eeffe38d74fa1cf57cb3112407fbdbec420fc328710b626428dc5b36b8</checksum>
  <summary>An automatic bug-finding tool for C</summary>
  <description>The aim of this project is to research, evaluate and implement modern
approaches to automatic bug finding for programs written in procedural
languages related to C (C/C++/C#/Java). This project is done in close
collaboration with ANF DATA (Siemens AG). The goal is to create a software
tool which is able to automatically discover some types of bugs in real-life
sized projects (e.g. the Linux kernel).</description>
  <packager></packager>
  <url>http://stanse.fi.muni.cz/</url>
  <time file="1532570631" build="1532570615"/>
  <size package="1266504" installed="1707177" archive="1712696"/>
  <location href="x86_64/stanse-20151020.ea3682c00e-7.245.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>System/Management</rpm:group>
    <rpm:buildhost>lamb05</rpm:buildhost>
    <rpm:sourcerpm>stanse-20151020.ea3682c00e-7.245.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="20608"/>
    <rpm:provides>
      <rpm:entry name="stanse" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
      <rpm:entry name="stanse(x86-64)" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/sh"/>
      <rpm:entry name="/usr/bin/perl"/>
      <rpm:entry name="cpp"/>
      <rpm:entry name="dom4j"/>
      <rpm:entry name="java" flags="EQ" epoch="0" ver="1.7.0"/>
      <rpm:entry name="jaxen"/>
      <rpm:entry name="libantlr3c.so.3()(64bit)"/>
      <rpm:entry name="log4j"/>
      <rpm:entry name="swing-layout"/>
      <rpm:entry name="libc.so.6(GLIBC_2.2.5)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/st_xml_bugcount</file>
    <file>/usr/bin/stanse</file>
    <file>/usr/bin/stanse_run</file>
    <file>/usr/bin/stcc</file>
    <file>/usr/bin/stcparser-c</file>
    <file>/usr/bin/stpreproc</file>
  </format>
</package>
<package type="rpm">
  <name>stanse-doc</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
  <checksum type="sha256" pkgid="YES">1c61c4deeddd5fbbb9ccf2eb74f2562177ad6bf61df8e133287c61ea462c2331</checksum>
  <summary>Doxygen documentation of stanse project</summary>
  <description>Doxygen documentation of stanse project. This is useful only when hacking on
Stanse.</description>
  <packager></packager>
  <url>http://stanse.fi.muni.cz/</url>
  <time file="1532570631" build="1532570615"/>
  <size package="732848" installed="11861938" archive="12129680"/>
  <location href="x86_64/stanse-doc-20151020.ea3682c00e-7.245.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Documentation/HTML</rpm:group>
    <rpm:buildhost>lamb05</rpm:buildhost>
    <rpm:sourcerpm>stanse-20151020.ea3682c00e-7.245.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="241868"/>
    <rpm:provides>
      <rpm:entry name="stanse-doc" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
      <rpm:entry name="stanse-doc(x86-64)" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>stanse-web</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
  <checksum type="sha256" pkgid="YES">bf05472d18cf9bc15f411448bc19daf0f24ebe6c4636e21dfd7bde35f4b01452</checksum>
  <summary>Support for Stanse web interface</summary>
  <description>Web frontend for presentation of errors found and dumped by Stanse.</description>
  <packager></packager>
  <url>http://stanse.fi.muni.cz/</url>
  <time file="1532570631" build="1532570615"/>
  <size package="18788" installed="9041" archive="9732"/>
  <location href="x86_64/stanse-web-20151020.ea3682c00e-7.245.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Productivity/Networking/Web/Frontends</rpm:group>
    <rpm:buildhost>lamb05</rpm:buildhost>
    <rpm:sourcerpm>stanse-20151020.ea3682c00e-7.245.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="15380"/>
    <rpm:provides>
      <rpm:entry name="stanse-web" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
      <rpm:entry name="stanse-web(x86-64)" flags="EQ" epoch="0" ver="20151020.ea3682c00e" rel="7.245"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/perl"/>
    </rpm:requires>
    <file>/usr/bin/st_xml2sqlite3</file>
  </format>
</package>
<package type="rpm">
  <name>svc13</name>
  <arch>src</arch>
  <version epoch="0" ver="20150903" rel="10.33"/>
  <checksum type="sha256" pkgid="YES">341e5fbe83cc6d93da41e25d03aa931365b9bc11435c13393c515b0b3564d762</checksum>
  <summary>SV-COMP files</summary>
  <description>Prerequisities for the SV-COMP 2013.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/svc13</url>
  <time file="1578850265" build="1578850258"/>
  <size package="14696" installed="8323" archive="8704"/>
  <location href="src/svc13-20150903-10.33.src.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>build79</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="6956"/>
    <rpm:requires>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="llvm34-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>svc13</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20150903" rel="10.33"/>
  <checksum type="sha256" pkgid="YES">5ab8c330c2e702d6c6bf9742fe4d30fd3f9e508cee8def030159700b702a51c5</checksum>
  <summary>SV-COMP files</summary>
  <description>Prerequisities for the SV-COMP 2013.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/svc13</url>
  <time file="1578850265" build="1578850258"/>
  <size package="27564" installed="79540" archive="80776"/>
  <location href="x86_64/svc13-20150903-10.33.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Tools/Other</rpm:group>
    <rpm:buildhost>build79</rpm:buildhost>
    <rpm:sourcerpm>svc13-20150903-10.33.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="8960"/>
    <rpm:provides>
      <rpm:entry name="svc13" flags="EQ" epoch="0" ver="20150903" rel="10.33"/>
      <rpm:entry name="svc13(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="10.33"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/bin/bash"/>
      <rpm:entry name="/bin/sh"/>
      <rpm:entry name="bash"/>
      <rpm:entry name="klee"/>
      <rpm:entry name="libLLVMCore.so()(64bit)"/>
      <rpm:entry name="libLLVMSupport.so()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.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(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="llvm34"/>
      <rpm:entry name="llvmslicer"/>
      <rpm:entry name="sed"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>svc13-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="20150903" rel="10.33"/>
  <checksum type="sha256" pkgid="YES">fab7d3e76c635679d873249fc9a146f2f454a18c33daebd03f282e3b41d8fa9e</checksum>
  <summary>Debug information for package svc13</summary>
  <description>This package provides debug information for package svc13.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/jirislaby/svc13</url>
  <time file="1578850265" build="1578850258"/>
  <size package="14924" installed="28784" archive="30244"/>
  <location href="x86_64/svc13-debuginfo-20150903-10.33.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-2.0</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>build79</rpm:buildhost>
    <rpm:sourcerpm>svc13-20150903-10.33.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="8568"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="0b810bddde2c016bd04b56c42e1f402aa8e569b1"/>
      <rpm:entry name="svc13-debuginfo" flags="EQ" epoch="0" ver="20150903" rel="10.33"/>
      <rpm:entry name="svc13-debuginfo(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="10.33"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="svc13-debugsource(x86-64)" flags="EQ" epoch="0" ver="20150903" rel="10.33"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>symbiotic</name>
  <arch>src</arch>
  <version epoch="0" ver="0.0+20171108" rel="8.8"/>
  <checksum type="sha256" pkgid="YES">74582d4244796df2448ec1cb604d82b630ccad0f34de531f85ecd4e639a70e9d</checksum>
  <summary>Computer programs verifier</summary>
  <description>Symbiotic is a tool for verifying computer programs. It uses three well-know
techniques -- instrumentation, slicing and symbolic execution. Symbiotic is
highly modular, so most of the components are in self-standing repositories
(see https://github.com/staticafi).</description>
  <packager></packager>
  <url>https://github.com/staticafi/symbiotic</url>
  <time file="1515385286" build="1510228800"/>
  <size package="331716" installed="324338" archive="325040"/>
  <location href="src/symbiotic-0.0+20171108-8.8.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb51</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5016" end="15932"/>
    <rpm:requires>
      <rpm:entry name="clang4"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="glibc-32bit"/>
      <rpm:entry name="glibc-devel-32bit"/>
      <rpm:entry name="llvm4-devel"/>
      <rpm:entry name="llvminstrumentation"/>
      <rpm:entry name="ninja"/>
      <rpm:entry name="python3-base"/>
      <rpm:entry name="xz"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>symbiotic</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="8.8"/>
  <checksum type="sha256" pkgid="YES">72bd3be78e135212964ed1fb902482d9e6bca96d6ed3d6381b017f810f531b57</checksum>
  <summary>Computer programs verifier</summary>
  <description>Symbiotic is a tool for verifying computer programs. It uses three well-know
techniques -- instrumentation, slicing and symbolic execution. Symbiotic is
highly modular, so most of the components are in self-standing repositories
(see https://github.com/staticafi).</description>
  <packager></packager>
  <url>https://github.com/staticafi/symbiotic</url>
  <time file="1515385286" build="1510228800"/>
  <size package="103598" installed="298415" archive="321128"/>
  <location href="x86_64/symbiotic-0.0+20171108-8.8.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Languages/Other</rpm:group>
    <rpm:buildhost>lamb51</rpm:buildhost>
    <rpm:sourcerpm>symbiotic-0.0+20171108-8.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="31402"/>
    <rpm:provides>
      <rpm:entry name="symbiotic" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
      <rpm:entry name="symbiotic(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/python"/>
      <rpm:entry name="clang4"/>
      <rpm:entry name="libLLVM.so.4()(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.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="llvm4"/>
      <rpm:entry name="llvmdg"/>
      <rpm:entry name="llvminstrumentation"/>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="2.7"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/symbiotic</file>
  </format>
</package>
<package type="rpm">
  <name>symbiotic-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="8.8"/>
  <checksum type="sha256" pkgid="YES">a4674563f7ee5913691de4cf25304601de03ed19c01702f442ce3d0691a9cb32</checksum>
  <summary>Debug information for package symbiotic</summary>
  <description>This package provides debug information for package symbiotic.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/staticafi/symbiotic</url>
  <time file="1515385286" build="1510228800"/>
  <size package="441694" installed="1969608" archive="1970584"/>
  <location href="x86_64/symbiotic-debuginfo-0.0+20171108-8.8.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb51</rpm:buildhost>
    <rpm:sourcerpm>symbiotic-0.0+20171108-8.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="16314"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="027b05f4456b8b430f31992785810c69972fa1a0"/>
      <rpm:entry name="symbiotic-debuginfo" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
      <rpm:entry name="symbiotic-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>symbiotic-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.0+20171108" rel="8.8"/>
  <checksum type="sha256" pkgid="YES">5c5d1f8fa837d6a79a0f32ad1dd5c2af23aad7f15bbf3f77118c94ef34cf7fea</checksum>
  <summary>Debug sources for package symbiotic</summary>
  <description>This package provides debug sources for package symbiotic.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/staticafi/symbiotic</url>
  <time file="1515385286" build="1510228800"/>
  <size package="27500" installed="53060" archive="55756"/>
  <location href="x86_64/symbiotic-debugsource-0.0+20171108-8.8.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>obs://build.opensuse.org/home:jirislaby</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>lamb51</rpm:buildhost>
    <rpm:sourcerpm>symbiotic-0.0+20171108-8.8.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5016" end="17208"/>
    <rpm:provides>
      <rpm:entry name="symbiotic-debugsource" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
      <rpm:entry name="symbiotic-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.0+20171108" rel="8.8"/>
    </rpm:provides>
  </format>
</package>
</metadata>