<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="4">
<package type="rpm">
  <name>souffle</name>
  <arch>aarch64</arch>
  <version epoch="0" ver="2.0.2" rel="1.fc35"/>
  <checksum type="sha256" pkgid="YES">b8780336c5d1f7e471fe45b1ecf920f7ff13ac2153c135de63b5287056448c1c</checksum>
  <summary>Datalog logical language variant</summary>
  <description>Soufflé is a variant of Datalog for tool designers crafting analyses
in Horn clauses. Soufflé synthesizes a native parallel C++ program
from a logic specification.</description>
  <packager></packager>
  <url>http://souffle-lang.github.io/</url>
  <time file="1619586320" build="1619585053"/>
  <size package="1558161" installed="6503348" archive="6517684"/>
  <location href="02150993-souffle/souffle-2.0.2-1.fc35.aarch64.rpm"/>
  <format>
    <rpm:license>UPL</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>ip-172-30-3-48.ec2.internal</rpm:buildhost>
    <rpm:sourcerpm>souffle-2.0.2-1.fc35.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="23017"/>
    <rpm:provides>
      <rpm:entry name="souffle" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
      <rpm:entry name="souffle(aarch-64)" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/bash"/>
      <rpm:entry name="/usr/bin/sh"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="ld-linux-aarch64.so.1()(64bit)"/>
      <rpm:entry name="ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libdl.so.2()(64bit)"/>
      <rpm:entry name="libdl.so.2(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libffi.so.6()(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="libgomp.so.1()(64bit)"/>
      <rpm:entry name="libgomp.so.1(GOMP_1.0)(64bit)"/>
      <rpm:entry name="libgomp.so.1(GOMP_4.0)(64bit)"/>
      <rpm:entry name="libgomp.so.1(GOMP_4.5)(64bit)"/>
      <rpm:entry name="libgomp.so.1(OMP_1.0)(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.27)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libncursesw.so.6()(64bit)"/>
      <rpm:entry name="libpthread.so.0()(64bit)"/>
      <rpm:entry name="libpthread.so.0(GLIBC_2.17)(64bit)"/>
      <rpm:entry name="libpthread.so.0(GLIBC_2.30)(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(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.8)(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.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.9)(64bit)"/>
      <rpm:entry name="libtinfo.so.6()(64bit)"/>
      <rpm:entry name="libz.so.1()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.33)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/souffle</file>
    <file>/usr/bin/souffle-compile</file>
    <file>/usr/bin/souffle-config</file>
    <file>/usr/bin/souffle-profile</file>
  </format>
</package>
<package type="rpm">
  <name>souffle</name>
  <arch>src</arch>
  <version epoch="0" ver="2.0.2" rel="1.fc35"/>
  <checksum type="sha256" pkgid="YES">f96eae5a5f4362fd15a7f927863966d1f785a3f3869bcf2b2d9f2df4bdd12cf2</checksum>
  <summary>Datalog logical language variant</summary>
  <description>Soufflé is a variant of Datalog for tool designers crafting analyses
in Horn clauses. Soufflé synthesizes a native parallel C++ program
from a logic specification.</description>
  <packager></packager>
  <url>http://souffle-lang.github.io/</url>
  <time file="1619586319" build="1619585015"/>
  <size package="9039300" installed="9471008" archive="9471392"/>
  <location href="02150993-souffle/souffle-2.0.2-1.fc35.src.rpm"/>
  <format>
    <rpm:license>UPL</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>ip-172-30-3-48.ec2.internal</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="5096" end="7201"/>
    <rpm:provides>
      <rpm:entry name="souffle" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
      <rpm:entry name="souffle-debuginfo" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
      <rpm:entry name="souffle-debugsource" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="bison"/>
      <rpm:entry name="doxygen"/>
      <rpm:entry name="flex"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="libffi-devel"/>
      <rpm:entry name="libtool"/>
      <rpm:entry name="mcpp"/>
      <rpm:entry name="ncurses-devel"/>
      <rpm:entry name="sqlite-devel"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>souffle-debuginfo</name>
  <arch>aarch64</arch>
  <version epoch="0" ver="2.0.2" rel="1.fc35"/>
  <checksum type="sha256" pkgid="YES">9e79e3efaeba0d6ff94fc586e14e3f7bc36f8c6ebeca0c321eb7ac44baf4263f</checksum>
  <summary>Debug information for package souffle</summary>
  <description>This package provides debug information for package souffle.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://souffle-lang.github.io/</url>
  <time file="1619586319" build="1619585053"/>
  <size package="32373191" installed="151470325" archive="151472636"/>
  <location href="02150993-souffle/souffle-debuginfo-2.0.2-1.fc35.aarch64.rpm"/>
  <format>
    <rpm:license>UPL</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>ip-172-30-3-48.ec2.internal</rpm:buildhost>
    <rpm:sourcerpm>souffle-2.0.2-1.fc35.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="9933"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="74032ca741f68fa5773e6497fd240e6fdcf4c013"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d34153c8849dd018e07db29acc1f46f69e99b9bc"/>
      <rpm:entry name="souffle-debuginfo" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
      <rpm:entry name="souffle-debuginfo(aarch-64)" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="souffle-debugsource(aarch-64)" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/souffle-2.0.2-1.fc35.aarch64.debug</file>
    <file>/usr/lib/debug/usr/bin/souffle-profile-2.0.2-1.fc35.aarch64.debug</file>
  </format>
</package>
<package type="rpm">
  <name>souffle-debugsource</name>
  <arch>aarch64</arch>
  <version epoch="0" ver="2.0.2" rel="1.fc35"/>
  <checksum type="sha256" pkgid="YES">0ae7b8e6b1fbc60146c3604fcae1d0053f053e32478aec19ddd5331a071a7e7c</checksum>
  <summary>Debug sources for package souffle</summary>
  <description>This package provides debug sources for package souffle.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>http://souffle-lang.github.io/</url>
  <time file="1619586318" build="1619585053"/>
  <size package="469883" installed="2937851" archive="3016784"/>
  <location href="02150993-souffle/souffle-debugsource-2.0.2-1.fc35.aarch64.rpm"/>
  <format>
    <rpm:license>UPL</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>ip-172-30-3-48.ec2.internal</rpm:buildhost>
    <rpm:sourcerpm>souffle-2.0.2-1.fc35.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="5096" end="62957"/>
    <rpm:provides>
      <rpm:entry name="souffle-debugsource" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
      <rpm:entry name="souffle-debugsource(aarch-64)" flags="EQ" epoch="0" ver="2.0.2" rel="1.fc35"/>
    </rpm:provides>
  </format>
</package>
</metadata>