<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="45">
<package type="rpm">
  <name>ada-toml</name>
  <arch>src</arch>
  <version epoch="0" ver="0.5" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">e7a0e8c48fb72b493e308f7b7ce75822cfd91a759a5d6db58470dcebca5b034d</checksum>
  <summary>TOML parser for Ada</summary>
  <description>Ada-toml is a pure Ada library for parsing and creating TOML documents. It
conforms to the version 1.0.0 of the format standard.</description>
  <packager></packager>
  <url>https://github.com/pmderodat/ada-toml</url>
  <time file="1771008215" build="1771008196"/>
  <size package="73264" installed="59006" archive="59688"/>
  <location href="10128278-ada-toml/ada-toml-0.5-1.fc43.src.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02273837-20260213-183030</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="17392"/>
    <rpm:provides>
      <rpm:entry name="ada-toml" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="ada-toml-devel" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.21"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gnatcoll-core-devel" flags="GE" epoch="0" ver="25.0.0"/>
      <rpm:entry name="gprbuild"/>
      <rpm:entry name="python-unversioned-command"/>
      <rpm:entry name="python3-devel"/>
      <rpm:entry name="python3-e3-testsuite"/>
      <rpm:entry name="python3-setuptools"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>ada-toml</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.5" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">e018f8d9b3e9c5ca683bf35e40dc1705372d533f4af16ae3727c8595b082e45b</checksum>
  <summary>TOML parser for Ada</summary>
  <description>Ada-toml is a pure Ada library for parsing and creating TOML documents. It
conforms to the version 1.0.0 of the format standard.</description>
  <packager></packager>
  <url>https://github.com/pmderodat/ada-toml</url>
  <time file="1771008217" build="1771008198"/>
  <size package="164491" installed="464821" archive="466108"/>
  <location href="10128278-ada-toml/ada-toml-0.5-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02273837-20260213-183030</rpm:buildhost>
    <rpm:sourcerpm>ada-toml-0.5-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8345"/>
    <rpm:provides>
      <rpm:entry name="ada-toml" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="ada-toml(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="libada_toml.so.0.5.0()(64bit)"/>
    </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="libgnat-15.so()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>ada-toml-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.5" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">94677ffe385ff47d409d1f31d66bca37965bd78289d24a20be08a99e8634fc06</checksum>
  <summary>Debug information for package ada-toml</summary>
  <description>This package provides debug information for package ada-toml.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/pmderodat/ada-toml</url>
  <time file="1771008218" build="1771008198"/>
  <size package="259256" installed="785191" archive="786536"/>
  <location href="10128278-ada-toml/ada-toml-debuginfo-0.5-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02273837-20260213-183030</rpm:buildhost>
    <rpm:sourcerpm>ada-toml-0.5-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8277"/>
    <rpm:provides>
      <rpm:entry name="ada-toml-debuginfo" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="ada-toml-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8f57f99d8ae6c3debcb76294e93c90a54d589639"/>
      <rpm:entry name="libada_toml.so.0.5.0-0.5-1.fc43.x86_64.debug()(64bit)"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="ada-toml-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>ada-toml-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.5" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">eafc9011cffe07856f89627585aac79b8a13c2f2586a12f3f0b99fad254db812</checksum>
  <summary>Debug sources for package ada-toml</summary>
  <description>This package provides debug sources for package ada-toml.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/pmderodat/ada-toml</url>
  <time file="1771008216" build="1771008198"/>
  <size package="33766" installed="154278" archive="156648"/>
  <location href="10128278-ada-toml/ada-toml-debugsource-0.5-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02273837-20260213-183030</rpm:buildhost>
    <rpm:sourcerpm>ada-toml-0.5-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8485"/>
    <rpm:provides>
      <rpm:entry name="ada-toml-debugsource" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="ada-toml-debugsource(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>ada-toml-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0.5" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">6afece79206d82a36e7508d4385c0ffd1b1aae2404ed2ad48b7039bbaf784fed</checksum>
  <summary>Development files for Ada-TOML</summary>
  <description>Ada-toml is a pure Ada library for parsing and creating TOML documents. It
conforms to the version 1.0.0 of the format standard.

This package contains source code and linking information for developing
applications that use Ada-TOML.</description>
  <packager></packager>
  <url>https://github.com/pmderodat/ada-toml</url>
  <time file="1771008218" build="1771008198"/>
  <size package="61127" installed="265624" archive="268132"/>
  <location href="10128278-ada-toml/ada-toml-devel-0.5-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>BSD-3-Clause</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02273837-20260213-183030</rpm:buildhost>
    <rpm:sourcerpm>ada-toml-0.5-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9089"/>
    <rpm:provides>
      <rpm:entry name="ada-toml-devel" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="ada-toml-devel(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="ada-toml(x86-64)" flags="EQ" epoch="0" ver="0.5" rel="1.fc43"/>
      <rpm:entry name="fedora-gnat-project-common"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="ada-toml-doc"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>adasat</name>
  <arch>src</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">1f4cf92682f3db64807b530236a936b8a82b06c9f629d550432380f69cb7ea34</checksum>
  <summary>An implementation of a DPLL-based SAT solver in Ada</summary>
  <description>Implementation of a DPLL-based SAT solver in Ada. Main features: conflict
analysis and backjumping, two-watched literals scheme, at-Most-One constraints
and custom theories.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/AdaSAT</url>
  <time file="1771008130" build="1771008122"/>
  <size package="47871" installed="35814" archive="36352"/>
  <location href="10128277-adasat/adasat-25.0.0-1.fc43.src.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02274094-20260213-184016</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="14477"/>
    <rpm:provides>
      <rpm:entry name="adasat" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="adasat-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.21"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gprbuild"/>
      <rpm:entry name="python-devel"/>
      <rpm:entry name="python-setuptools"/>
      <rpm:entry name="python3-e3-testsuite"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>adasat</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">5a2f061f86ba1ff879850966cae6e4f4cb8238982ab209029cc6a97829a83e09</checksum>
  <summary>An implementation of a DPLL-based SAT solver in Ada</summary>
  <description>Implementation of a DPLL-based SAT solver in Ada. Main features: conflict
analysis and backjumping, two-watched literals scheme, at-Most-One constraints
and custom theories.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/AdaSAT</url>
  <time file="1771008132" build="1771008123"/>
  <size package="42997" installed="104155" archive="105436"/>
  <location href="10128277-adasat/adasat-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02274094-20260213-184016</rpm:buildhost>
    <rpm:sourcerpm>adasat-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8401"/>
    <rpm:provides>
      <rpm:entry name="adasat" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="adasat(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libadasat.so.25.0.0()(64bit)"/>
    </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="libgnat-15.so()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>adasat-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">c917307a8b180312fd277f0e28a7139d37d489057cfecc6762f8dfb0da2b88fc</checksum>
  <summary>Debug information for package adasat</summary>
  <description>This package provides debug information for package adasat.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/AdaSAT</url>
  <time file="1771008131" build="1771008123"/>
  <size package="65876" installed="179305" archive="180652"/>
  <location href="10128277-adasat/adasat-debuginfo-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02274094-20260213-184016</rpm:buildhost>
    <rpm:sourcerpm>adasat-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8313"/>
    <rpm:provides>
      <rpm:entry name="adasat-debuginfo" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="adasat-debuginfo(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="a417cd1658fe917ba5fa74c9c5de5e8f9ef4e72c"/>
      <rpm:entry name="libadasat.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="adasat-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>adasat-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">d87e0f877c0250b4d9cdedbbd145081b90519baddba086c01353c2a20f674b57</checksum>
  <summary>Debug sources for package adasat</summary>
  <description>This package provides debug sources for package adasat.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/AdaSAT</url>
  <time file="1771008133" build="1771008123"/>
  <size package="25427" installed="73792" archive="77616"/>
  <location href="10128277-adasat/adasat-debugsource-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02274094-20260213-184016</rpm:buildhost>
    <rpm:sourcerpm>adasat-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9609"/>
    <rpm:provides>
      <rpm:entry name="adasat-debugsource" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="adasat-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>adasat-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">b982af3c5e8badf28431f41370e676ba0ce49cb18b1717eb3f916b39f7a15038</checksum>
  <summary>Development files for AdaSAT</summary>
  <description>Implementation of a DPLL-based SAT solver in Ada. Main features: conflict
analysis and backjumping, two-watched literals scheme, at-Most-One constraints
and custom theories.

This package contains source code and linking information for developing
applications that use AdaSAT.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/AdaSAT</url>
  <time file="1771008133" build="1771008123"/>
  <size package="42859" installed="155453" archive="159900"/>
  <location href="10128277-adasat/adasat-devel-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-spot-prod-02274094-20260213-184016</rpm:buildhost>
    <rpm:sourcerpm>adasat-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="11181"/>
    <rpm:provides>
      <rpm:entry name="adasat-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="adasat-devel(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="adasat(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="fedora-gnat-project-common"/>
      <rpm:entry name="libadasat.so.25.0.0()(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libgpr2</name>
  <arch>src</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">93dd72add55f57fa6383ddde58695b923ca5cac083001339c8bf37d7286013b0</checksum>
  <summary>The GNAT project manager library</summary>
  <description>An Ada library for handling GNAT project files.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008867" build="1771008514"/>
  <size package="1700752" installed="1694767" archive="1695596"/>
  <location href="10128281-libgpr2/libgpr2-25.0.0-1.fc43.src.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="19559"/>
    <rpm:provides>
      <rpm:entry name="libgpr2" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-tools" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.21"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gnatcoll-core-devel" flags="GE" epoch="0" ver="25.0.0"/>
      <rpm:entry name="gnatcoll-gmp-devel"/>
      <rpm:entry name="gnatcoll-iconv-devel"/>
      <rpm:entry name="gprbuild"/>
      <rpm:entry name="gprconfig-kb"/>
      <rpm:entry name="make"/>
      <rpm:entry name="sed"/>
      <rpm:entry name="xmlada-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libgpr2</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">c96731f1f088616d35cd30fec0d80d8f42a49b7be2b243a647ae999ed9bf6ba1</checksum>
  <summary>The GNAT project manager library</summary>
  <description>An Ada library for handling GNAT project files.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008865" build="1771008516"/>
  <size package="5634649" installed="24556173" archive="24557456"/>
  <location href="10128281-libgpr2/libgpr2-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8813"/>
    <rpm:provides>
      <rpm:entry name="libgpr2" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2.so.25.0.0()(64bit)"/>
    </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="libgnarl-15.so()(64bit)"/>
      <rpm:entry name="libgnat-15.so()(64bit)"/>
      <rpm:entry name="libgnatcoll_core.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_gmp.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_iconv.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_minimal.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_dom.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_input_sources.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_sax.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_schema.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_unicode.so.25.0.0()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
    <rpm:conflicts>
      <rpm:entry name="libgpr2_next"/>
    </rpm:conflicts>
  </format>
</package>
<package type="rpm">
  <name>libgpr2-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">16a62b1138baf1871084bd9da32ed37d4125aaaa556eb77ce6f9f5e2a93f4f10</checksum>
  <summary>Debug information for package libgpr2</summary>
  <description>This package provides debug information for package libgpr2.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008863" build="1771008516"/>
  <size package="10737160" installed="46878335" archive="46879680"/>
  <location href="10128281-libgpr2/libgpr2-debuginfo-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8313"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="ed84ed4d7563fa80ee730eb157b3f957ca97e50f"/>
      <rpm:entry name="libgpr2-debuginfo" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-debuginfo(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="libgpr2-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>libgpr2-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">10f97732a5d9f0098d0ef501634bc2d944d80b1a379a147a93fd754377047902</checksum>
  <summary>Debug sources for package libgpr2</summary>
  <description>This package provides debug sources for package libgpr2.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008863" build="1771008516"/>
  <size package="672616" installed="6116217" archive="6188128"/>
  <location href="10128281-libgpr2/libgpr2-debugsource-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="59773"/>
    <rpm:provides>
      <rpm:entry name="libgpr2-debugsource" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>libgpr2-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">7a488efd06bb1985f3303508c3206ac7cd7ded1c1d56e2ce773c93262c25d8db</checksum>
  <summary>Development files for the GNAT project manager library</summary>
  <description>An Ada library for handling GNAT project files.

This package contains source code and linking information for developing
applications that use the GNAT project manager library.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008866" build="1771008516"/>
  <size package="1586402" installed="13835624" archive="13914596"/>
  <location href="10128281-libgpr2/libgpr2-devel-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="81913"/>
    <rpm:provides>
      <rpm:entry name="libgpr2-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-devel(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common"/>
      <rpm:entry name="gnatcoll-core-devel"/>
      <rpm:entry name="gnatcoll-gmp-devel"/>
      <rpm:entry name="gnatcoll-iconv-devel"/>
      <rpm:entry name="libgpr-devel"/>
      <rpm:entry name="libgpr2(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2.so.25.0.0()(64bit)"/>
      <rpm:entry name="xmlada-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>libgpr2-tools</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">465870901322e31222f61ac406e9d7c7843ff7c3507fbc1581ca18760d4fdf22</checksum>
  <summary>Tools based on the GNAT project manager library</summary>
  <description>An Ada library for handling GNAT project files.

This package contains tools to manage and build GNAT projects. Most of these
tools are rewrites of those provided in package gprbuild.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008862" build="1771008516"/>
  <size package="801369" installed="3505906" archive="3509128"/>
  <location href="10128281-libgpr2/libgpr2-tools-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12041"/>
    <rpm:provides>
      <rpm:entry name="libgpr2-tools" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-tools(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common"/>
      <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="libgnarl-15.so()(64bit)"/>
      <rpm:entry name="libgnat-15.so()(64bit)"/>
      <rpm:entry name="libgnatcoll_core.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_gmp.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_iconv.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_minimal.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgpr2(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_dom.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_input_sources.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_sax.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_schema.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_unicode.so.25.0.0()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/gpr2build</file>
    <file>/usr/bin/gpr2clean</file>
    <file>/usr/bin/gpr2config</file>
    <file>/usr/bin/gpr2doc</file>
    <file>/usr/bin/gpr2inspect</file>
    <file>/usr/bin/processes-wrapper</file>
  </format>
</package>
<package type="rpm">
  <name>libgpr2-tools-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">5b0f9141aa5ba9358dece12900d4d58af0164c194b16aeecf665a4eadbb6008f</checksum>
  <summary>Debug information for package libgpr2-tools</summary>
  <description>This package provides debug information for package libgpr2-tools.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/gpr</url>
  <time file="1771008864" build="1771008516"/>
  <size package="2013555" installed="10643023" archive="10647760"/>
  <location href="10128281-libgpr2/libgpr2-tools-debuginfo-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02274391-20260213-184503</rpm:buildhost>
    <rpm:sourcerpm>libgpr2-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12629"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="2ba576264029384ab642577aa4ca48ab0417a135"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="4dcf088d2acd19a84c8d24e213ca42cc3710663f"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="4e796df987830b581c641673715e1e6d257452d9"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="871185360de3a06a677f4b5220fe5ff78c008916"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="9daef7659efe9f8eb111d23f6d8182d9b0bfda66"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d23809eb8f01c3bd164aa0e0db9ff560db773d16"/>
      <rpm:entry name="libgpr2-tools-debuginfo" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="libgpr2-tools-debuginfo(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="libgpr2-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/gpr2build-25.0.0-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/gpr2clean-25.0.0-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/gpr2config-25.0.0-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/gpr2doc-25.0.0-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/gpr2inspect-25.0.0-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/bin/processes-wrapper-25.0.0-1.fc43.x86_64.debug</file>
  </format>
</package>
<package type="rpm">
  <name>libtree-sitter-ada</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">6c7a0b5ac9d399d005684e56d07ee49d5fa52b0357a6236ddbbaabb6504fd0e2</checksum>
  <summary>Ada grammar for Tree-sitter</summary>
  <description>Add support for Ada to Tree-sitter, an incremental parsing system
for programming tools.</description>
  <packager></packager>
  <url>https://github.com/briot/tree-sitter-ada</url>
  <time file="1778754324" build="1778754317"/>
  <size package="56908" installed="348211" archive="350496"/>
  <location href="10458818-tree-sitter-ada/libtree-sitter-ada-0^git20251216.6b58259-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829043-20260514-101908</rpm:buildhost>
    <rpm:sourcerpm>tree-sitter-ada-0^git20251216.6b58259-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9289"/>
    <rpm:provides>
      <rpm:entry name="libtree-sitter-ada" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada.so.14.0()(64bit)"/>
      <rpm:entry name="tree-sitter(ada)"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="tree-sitter(:LANGUAGE_VERSION)" flags="EQ" epoch="0" ver="14"/>
    </rpm:requires>
    <rpm:enhances>
      <rpm:entry name="libtree-sitter"/>
    </rpm:enhances>
  </format>
</package>
<package type="rpm">
  <name>libtree-sitter-ada-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">9d63d5deff8a9901b293c70c5db077d0c3a94643d8ab80fe4b7438944e28932c</checksum>
  <summary>Debug information for package libtree-sitter-ada</summary>
  <description>This package provides debug information for package libtree-sitter-ada.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/briot/tree-sitter-ada</url>
  <time file="1778754324" build="1778754317"/>
  <size package="29511" installed="76135" archive="77504"/>
  <location href="10458818-tree-sitter-ada/libtree-sitter-ada-debuginfo-0^git20251216.6b58259-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829043-20260514-101908</rpm:buildhost>
    <rpm:sourcerpm>tree-sitter-ada-0^git20251216.6b58259-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8653"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="7bc416fcb80f47bcd3cfdfda63b1b3f7ec06b07a"/>
      <rpm:entry name="libtree-sitter-ada-debuginfo" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada-debuginfo(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada.so.14.0-0^git20251216.6b58259-1.fc43.x86_64.debug()(64bit)"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="tree-sitter-ada-debugsource(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>libtree-sitter-ada-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">311c20c68cf22265bea411868edbd27485a763f1cd7ce1ee33cecf8337c85a81</checksum>
  <summary>Development files for libtree-sitter-ada</summary>
  <description>Libraries and header files for developing applications that use
tree-sitter-ada.</description>
  <packager></packager>
  <url>https://github.com/briot/tree-sitter-ada</url>
  <time file="1778754323" build="1778754317"/>
  <size package="8143" installed="484" archive="1064"/>
  <location href="10458818-tree-sitter-ada/libtree-sitter-ada-devel-0^git20251216.6b58259-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829043-20260514-101908</rpm:buildhost>
    <rpm:sourcerpm>tree-sitter-ada-0^git20251216.6b58259-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="7737"/>
    <rpm:provides>
      <rpm:entry name="libtree-sitter-ada-devel" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada-devel(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="pkgconfig(tree-sitter-ada)" flags="EQ" epoch="0" ver="0.1.0"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/pkg-config"/>
      <rpm:entry name="libtree-sitter-ada(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada.so.14.0()(64bit)"/>
      <rpm:entry name="libtree-sitter-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python-e3-core</name>
  <arch>src</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">78322a8cafba47ce6cf56eb1f9a175ff8dbcd00850d2ebd22f648cde1a40945e</checksum>
  <summary>Core framework for developing portable automated build systems</summary>
  <description>E3 is a Python framework to ease the development of portable automated build
systems (compilation, dependency management, binary code packaging, and
automated testing).</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753853" build="1778753798"/>
  <size package="840054" installed="827015" archive="828876"/>
  <location href="10458753-python-e3-core/python-e3-core-22.10.0-1.fc43.src.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="29509"/>
    <rpm:provides>
      <rpm:entry name="python3-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+test" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+check" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python-e3-core-debuginfo" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python-e3-core-debugsource" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="(python3dist(tomli) if python3-devel &lt; 3.11)"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="git"/>
      <rpm:entry name="openssl"/>
      <rpm:entry name="pyproject-rpm-macros"/>
      <rpm:entry name="python3-coverage"/>
      <rpm:entry name="python3-devel"/>
      <rpm:entry name="python3-tox"/>
      <rpm:entry name="python3dist(colorama)"/>
      <rpm:entry name="python3dist(distro)"/>
      <rpm:entry name="python3dist(packaging)"/>
      <rpm:entry name="python3dist(pip)" flags="GE" epoch="0" ver="19"/>
      <rpm:entry name="python3dist(psutil)"/>
      <rpm:entry name="python3dist(ptyprocess)"/>
      <rpm:entry name="python3dist(pytest)"/>
      <rpm:entry name="python3dist(python-dateutil)"/>
      <rpm:entry name="python3dist(pyyaml)"/>
      <rpm:entry name="python3dist(requests)"/>
      <rpm:entry name="python3dist(requests-cache)"/>
      <rpm:entry name="python3dist(requests-mock)"/>
      <rpm:entry name="python3dist(requests-toolbelt)"/>
      <rpm:entry name="python3dist(resolvelib)"/>
      <rpm:entry name="python3dist(setuptools)"/>
      <rpm:entry name="python3dist(setuptools)" flags="GE" epoch="0" ver="61"/>
      <rpm:entry name="python3dist(stevedore)" flags="GT" epoch="0" ver="1.20.0"/>
      <rpm:entry name="python3dist(tox)"/>
      <rpm:entry name="python3dist(tox-current-env)" flags="GE" epoch="0" ver="0.0.16"/>
      <rpm:entry name="python3dist(tqdm)"/>
      <rpm:entry name="subversion"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python-e3-core-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">d05ac328ea82e59ab062596a3c99dd94faa260f58719ccebed470c0974423d70</checksum>
  <summary>Debug sources for package python-e3-core</summary>
  <description>This package provides debug sources for package python-e3-core.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753852" build="1778753798"/>
  <size package="10871" installed="8717" archive="9544"/>
  <location href="10458753-python-e3-core/python-e3-core-debugsource-22.10.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm>python-e3-core-22.10.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="7557"/>
    <rpm:provides>
      <rpm:entry name="python-e3-core-debugsource" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python-e3-core-debugsource(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>python-e3-testsuite</name>
  <arch>src</arch>
  <version epoch="0" ver="27.2" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">2826bba0b96f273ee3d3be05e93e0fea78e095fa20e66782b9c6efcf01bfd0a9</checksum>
  <summary>Generic testsuite framework in Python</summary>
  <description>A testsuite driver for the e3 build system.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-testsuite</url>
  <time file="1778754120" build="1778754100"/>
  <size package="194484" installed="175225" archive="175792"/>
  <location href="10458807-python-e3-testsuite/python-e3-testsuite-27.2-1.fc43.src.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829015-20260514-101846</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="22243"/>
    <rpm:provides>
      <rpm:entry name="python3-e3-testsuite" flags="EQ" epoch="0" ver="27.2" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="(python3dist(tomli) if python3-devel &lt; 3.11)"/>
      <rpm:entry name="pyproject-rpm-macros"/>
      <rpm:entry name="python3-coverage"/>
      <rpm:entry name="python3-devel"/>
      <rpm:entry name="python3-tox"/>
      <rpm:entry name="python3dist(e3-core)"/>
      <rpm:entry name="python3dist(e3-core[test])"/>
      <rpm:entry name="python3dist(packaging)"/>
      <rpm:entry name="python3dist(pip)" flags="GE" epoch="0" ver="19"/>
      <rpm:entry name="python3dist(setuptools)" flags="GE" epoch="0" ver="61"/>
      <rpm:entry name="python3dist(tox)"/>
      <rpm:entry name="python3dist(tox-current-env)" flags="GE" epoch="0" ver="0.0.16"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python3-e3-core+check</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">4f437164c6559aa88bc7293fae6497a7a3eeb5784dc0902f08f34d9c6bb8d6ac</checksum>
  <summary>Metapackage for python3-e3-core: check extra</summary>
  <description>E3 is a Python framework to ease the development of portable automated build
systems (compilation, dependency management, binary code packaging, and
automated testing).

This is a metapackage for bringing in check extra requires for python3-e3-core.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753857" build="1778753798"/>
  <size package="8589" installed="41777" archive="124"/>
  <location href="10458753-python-e3-core/python3-e3-core+check-22.10.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm>python-e3-core-22.10.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8545"/>
    <rpm:provides>
      <rpm:entry name="python-e3-core+check" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+check" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+check(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14-e3-core+check" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(e3-core[check])" flags="EQ" epoch="0" ver="22.10"/>
      <rpm:entry name="python3dist(e3-core[check])" flags="EQ" epoch="0" ver="22.10"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
      <rpm:entry name="python3-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(bandit)"/>
      <rpm:entry name="python3.14dist(mypy)" flags="EQ" epoch="0" ver="1.14.1"/>
      <rpm:entry name="python3.14dist(pip-audit)"/>
      <rpm:entry name="python3.14dist(pytest)"/>
      <rpm:entry name="python3.14dist(types-colorama)"/>
      <rpm:entry name="python3.14dist(types-mock)"/>
      <rpm:entry name="python3.14dist(types-psutil)"/>
      <rpm:entry name="python3.14dist(types-python-dateutil)"/>
      <rpm:entry name="python3.14dist(types-pyyaml)"/>
      <rpm:entry name="python3.14dist(types-requests)"/>
      <rpm:entry name="python3.14dist(types-setuptools)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python3-e3-core+test</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">69547e7d6f6f93d35f0b592a1339998c522182392b7788e69ed5dbca9a2bba2c</checksum>
  <summary>Metapackage for python3-e3-core: test extra</summary>
  <description>E3 is a Python framework to ease the development of portable automated build
systems (compilation, dependency management, binary code packaging, and
automated testing).

This is a metapackage for bringing in the test extra requires for python3-e3-core.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753855" build="1778753798"/>
  <size package="8273" installed="41777" archive="124"/>
  <location href="10458753-python-e3-core/python3-e3-core+test-22.10.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm>python-e3-core-22.10.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8229"/>
    <rpm:provides>
      <rpm:entry name="python-e3-core+test" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+test" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core+test(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14-e3-core+test" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(e3-core[test])" flags="EQ" epoch="0" ver="22.10"/>
      <rpm:entry name="python3dist(e3-core[test])" flags="EQ" epoch="0" ver="22.10"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
      <rpm:entry name="python3-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(ptyprocess)"/>
      <rpm:entry name="python3.14dist(pytest)"/>
      <rpm:entry name="python3.14dist(requests-mock)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>python3-e3-core</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">b1fcf6cebeeeef263eaef9f5f9565592c7b7a0ad101846e0f2c8c95ca0446324</checksum>
  <summary>Core framework for developing portable automated build systems</summary>
  <description>E3 is a Python framework to ease the development of portable automated build
systems (compilation, dependency management, binary code packaging, and
automated testing).</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753856" build="1778753798"/>
  <size package="592023" installed="2767914" archive="2834100"/>
  <location href="10458753-python-e3-core/python3-e3-core-22.10.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm>python-e3-core-22.10.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="61245"/>
    <rpm:provides>
      <rpm:entry name="python-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14-e3-core" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(e3-core)" flags="EQ" epoch="0" ver="22.10"/>
      <rpm:entry name="python3dist(e3-core)" flags="EQ" epoch="0" ver="22.10"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/python3"/>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
      <rpm:entry name="python3.14dist(colorama)"/>
      <rpm:entry name="python3.14dist(distro)"/>
      <rpm:entry name="python3.14dist(packaging)"/>
      <rpm:entry name="python3.14dist(psutil)"/>
      <rpm:entry name="python3.14dist(python-dateutil)"/>
      <rpm:entry name="python3.14dist(pyyaml)"/>
      <rpm:entry name="python3.14dist(requests)"/>
      <rpm:entry name="python3.14dist(requests-cache)"/>
      <rpm:entry name="python3.14dist(requests-toolbelt)"/>
      <rpm:entry name="python3.14dist(resolvelib)"/>
      <rpm:entry name="python3.14dist(setuptools)"/>
      <rpm:entry name="python3.14dist(stevedore)" flags="GT" epoch="0" ver="1.20.0"/>
      <rpm:entry name="python3.14dist(tqdm)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.38)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/e3</file>
    <file>/usr/bin/e3-pypi-closure</file>
    <file>/usr/bin/e3-sandbox</file>
  </format>
</package>
<package type="rpm">
  <name>python3-e3-core-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="22.10.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">6167e356aa2c12cecce226ecd1a2aab7cc9a06d27ac81bda0e760d12d30a825f</checksum>
  <summary>Debug information for package python3-e3-core</summary>
  <description>This package provides debug information for package python3-e3-core.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-core</url>
  <time file="1778753854" build="1778753798"/>
  <size package="16126" installed="25167" archive="27348"/>
  <location href="10458753-python-e3-core/python3-e3-core-debuginfo-22.10.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08828880-20260514-100653</rpm:buildhost>
    <rpm:sourcerpm>python-e3-core-22.10.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="9125"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="0357f18502216bf49977ad0183d89a1cd4fa569e"/>
      <rpm:entry name="python-e3-core-debuginfo" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core-debuginfo" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3-e3-core-debuginfo(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
      <rpm:entry name="python3.14-e3-core-debuginfo" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="python-e3-core-debugsource(x86-64)" flags="EQ" epoch="0" ver="22.10.0" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>python3-e3-testsuite</name>
  <arch>noarch</arch>
  <version epoch="0" ver="27.2" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">14112123bde224ef435c4d0e26d4031d56af701f5f1db81151e61c210d686ca7</checksum>
  <summary>Generic testsuite framework in Python</summary>
  <description>A testsuite driver for the e3 build system.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/e3-testsuite</url>
  <time file="1778754119" build="1778754100"/>
  <size package="192300" installed="858706" archive="876572"/>
  <location href="10458807-python-e3-testsuite/python3-e3-testsuite-27.2-1.fc43.noarch.rpm"/>
  <format>
    <rpm:license>GPL-3.0-only</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829015-20260514-101846</rpm:buildhost>
    <rpm:sourcerpm>python-e3-testsuite-27.2-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="21313"/>
    <rpm:provides>
      <rpm:entry name="python-e3-testsuite" flags="EQ" epoch="0" ver="27.2" rel="1.fc43"/>
      <rpm:entry name="python3-e3-testsuite" flags="EQ" epoch="0" ver="27.2" rel="1.fc43"/>
      <rpm:entry name="python3.14-e3-testsuite" flags="EQ" epoch="0" ver="27.2" rel="1.fc43"/>
      <rpm:entry name="python3.14dist(e3-testsuite)" flags="EQ" epoch="0" ver="27.2"/>
      <rpm:entry name="python3dist(e3-testsuite)" flags="EQ" epoch="0" ver="27.2"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/python3"/>
      <rpm:entry name="python(abi)" flags="EQ" epoch="0" ver="3.14"/>
      <rpm:entry name="python3.14dist(e3-core)"/>
    </rpm:requires>
    <file>/usr/bin/e3-convert-xunit</file>
    <file>/usr/bin/e3-find-skipped-tests</file>
    <file>/usr/bin/e3-opt-check</file>
    <file>/usr/bin/e3-opt-parser</file>
    <file>/usr/bin/e3-run-test-fragment</file>
    <file>/usr/bin/e3-test</file>
    <file>/usr/bin/e3-testsuite-report</file>
  </format>
</package>
<package type="rpm">
  <name>spark2014</name>
  <arch>src</arch>
  <version epoch="0" ver="15.0.4" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">5d31e127b2534f5e7eb639821ba1b8893a6c015155aa756d655e81bd7637ecc7</checksum>
  <summary>Software development technology for engineering high-reliability applications</summary>
  <description>SPARK is a software development technology specifically designed for
engineering high-reliability applications. It consists of a programming
language, a verification toolset and a design method which, taken
together, ensure that ultra-low defect software can be deployed in
application domains where high-reliability must be assured and where
safety and security are key requirements.</description>
  <packager></packager>
  <url>https://www.adacore.com/about-spark</url>
  <time file="1771028840" build="1771027910"/>
  <size package="106225319" installed="106305410" archive="106308688"/>
  <location href="10128728-spark2014/spark2014-15.0.4-1.fc43.src.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later AND LGPL-2.1-only AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normal-prod-02274120-20260213-184058</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="28395"/>
    <rpm:provides>
      <rpm:entry name="spark2014" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
      <rpm:entry name="spark2014-doc" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="autoconf"/>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.17"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gnatcoll-core-devel" flags="GE" epoch="0" ver="25.0.0"/>
      <rpm:entry name="gprbuild"/>
      <rpm:entry name="latexmk"/>
      <rpm:entry name="libgpr2-devel"/>
      <rpm:entry name="make"/>
      <rpm:entry name="ocaml-findlib"/>
      <rpm:entry name="ocaml-menhir"/>
      <rpm:entry name="ocaml-num-devel"/>
      <rpm:entry name="ocaml-ocamlgraph-devel"/>
      <rpm:entry name="ocaml-ppx-deriving-devel"/>
      <rpm:entry name="ocaml-ppx-sexp-conv-devel"/>
      <rpm:entry name="ocaml-re-devel"/>
      <rpm:entry name="ocaml-sexplib-devel"/>
      <rpm:entry name="ocaml-yojson-devel"/>
      <rpm:entry name="ocaml-zarith-devel"/>
      <rpm:entry name="python3-sphinx"/>
      <rpm:entry name="python3-sphinx-latex"/>
      <rpm:entry name="python3-sphinx_rtd_theme"/>
      <rpm:entry name="sed"/>
      <rpm:entry name="zlib-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>spark2014</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.4" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">9a16b0d34406c835c158713c412c7c40cd2a56d00520cb36bf00c63b92a755b6</checksum>
  <summary>Software development technology for engineering high-reliability applications</summary>
  <description>SPARK is a software development technology specifically designed for
engineering high-reliability applications. It consists of a programming
language, a verification toolset and a design method which, taken
together, ensure that ultra-low defect software can be deployed in
application domains where high-reliability must be assured and where
safety and security are key requirements.</description>
  <packager></packager>
  <url>https://www.adacore.com/about-spark</url>
  <time file="1771028837" build="1771027915"/>
  <size package="19163516" installed="68029832" archive="68096928"/>
  <location href="10128728-spark2014/spark2014-15.0.4-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later AND LGPL-2.1-only AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normal-prod-02274120-20260213-184058</rpm:buildhost>
    <rpm:sourcerpm>spark2014-15.0.4-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="69017"/>
    <rpm:provides>
      <rpm:entry name="bundled(gcc-gnat)"/>
      <rpm:entry name="bundled(why3)"/>
      <rpm:entry name="gnatprove" flags="EQ" epoch="0" ver="15.0.4"/>
      <rpm:entry name="spark-ada" flags="EQ" epoch="0" ver="15.0.4"/>
      <rpm:entry name="spark2014" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
      <rpm:entry name="spark2014(x86-64)" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="alt-ergo"/>
      <rpm:entry name="cvc5"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gprbuild"/>
      <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="libgnarl-15.so()(64bit)"/>
      <rpm:entry name="libgnat-15.so()(64bit)"/>
      <rpm:entry name="libgnatcoll_core.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_gmp.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_iconv.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgnatcoll_minimal.so.25.0.0()(64bit)"/>
      <rpm:entry name="libgpr2.so.25.0.0()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.35)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.38)(64bit)"/>
      <rpm:entry name="libxmlada_dom.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_input_sources.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_sax.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_schema.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_unicode.so.25.0.0()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="z3"/>
      <rpm:entry name="libc.so.6(GLIBC_2.42)(64bit)"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="memcached"/>
      <rpm:entry name="sparklib"/>
    </rpm:recommends>
    <file>/usr/bin/gnatprove</file>
    <file>/usr/libexec/spark2014/bin/gnat2why</file>
    <file>/usr/libexec/spark2014/bin/gnatwhy3</file>
    <file>/usr/libexec/spark2014/bin/gnatwhy3.hash</file>
    <file>/usr/libexec/spark2014/bin/spark_memcached_wrapper</file>
    <file>/usr/libexec/spark2014/bin/spark_report</file>
    <file>/usr/libexec/spark2014/bin/spark_semaphore_wrapper</file>
    <file>/usr/libexec/spark2014/bin/target.atp</file>
    <file>/usr/libexec/spark2014/bin/why3</file>
    <file>/usr/libexec/spark2014/bin/why3cpulimit</file>
    <file>/usr/libexec/spark2014/bin/why3server</file>
  </format>
</package>
<package type="rpm">
  <name>spark2014-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.4" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">7182bb98363bae163bcef2111f2532d55255c0f9ba261ccc61bfde8b0464bbdd</checksum>
  <summary>Debug information for package spark2014</summary>
  <description>This package provides debug information for package spark2014.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://www.adacore.com/about-spark</url>
  <time file="1771028844" build="1771027915"/>
  <size package="31116734" installed="121630729" archive="121654892"/>
  <location href="10128728-spark2014/spark2014-debuginfo-15.0.4-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later AND LGPL-2.1-only AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normal-prod-02274120-20260213-184058</rpm:buildhost>
    <rpm:sourcerpm>spark2014-15.0.4-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="35997"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="190b3fe1f8028a5620002a6e0e606d7628c91daa"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="257ad7bd0de9bf2a4d286ff83a01c423bf5cb342"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="25fce4895f9f86ddb7a8ba0af87bd0b7e6c458db"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="26ff4c6a51e0d8e9591b35f1211d9b1609e2769b"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="2d5832b606333e1d1a10e98ca2aa8ff476cdebaf"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="322c5a84bbc85ef16bb157d159afcb2b923fac41"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="3df78ca6f12acf097b43465857f0a542dc55cab0"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="4817da9cb6060558ac12e5d09d02d18cb6578990"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="6587fd475a615c0e97c53d77eef32c09a13bca73"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="777d13a98277ce786b37fce1f9762f0c267e2327"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="789b5e5ded1423430d3722b1830a37a3e8ca20a4"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="7f656fdc7c8568dd8d6cfd2dc59cf359bf87fc78"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="845adb3de4da2b39e112003e9cfba87f09ae4008"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8944ffb9aa5c9bd690fa56575eae4b101070dce2"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8ad3ab7f1758f89fb2d2b88158b47330b21cdbf8"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="8e5fdeefef4fcfdab7b547ea0e064c112ec6f9d5"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="987092c3cc13d205da9329fbdd4bacf56d4377c4"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="99a09a23324c04e45cfc014201be992f1a5bea31"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="affec6f5a0ebd5fbcf7a6c88dda0af2cecd9549c"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="bdcdbe1aa894d6a133425e6b0d659c8b4f94d4e7"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="bea1b405d75af22a4f63794fd1b127f1872349d4"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="c39128659e5a48be81cc9928648259d8ddf31b86"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d3ea8c4c51ee73be506fc5fecfff2c0aaf957500"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d4a03e8fd4af9fdeef299bb1239f4fce7c8c4ec4"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d70ff6b965cbb3f242472cc88527dd987534a346"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d952dd1910b5cf23a2ecb893afcddbfa8854da7b"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="d97e8722414b9bc9e87be61ded4f51011c0d166d"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="e8da10764d2e0b8ec508ec52f458ff3a591c209b"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f0555b0a1e3f1402d3bed5667f49951f55b5d5a3"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f1665aacdd11616b2e11bf4a19671ba5d3321e4e"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="f32efde416d712058da9a9863a7dde98d6abaec3"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="ff679763d835a18531e3b1d5b10eb71bbc6c29f9"/>
      <rpm:entry name="spark2014-debuginfo" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
      <rpm:entry name="spark2014-debuginfo(x86-64)" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="spark2014-debugsource(x86-64)" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:recommends>
    <file>/usr/lib/debug/usr/bin/gnatprove-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/gnat2why-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/gnatwhy3-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/spark_memcached_wrapper-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/spark_report-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/spark_semaphore_wrapper-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/why3-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/why3cpulimit-15.0.4-1.fc43.x86_64.debug</file>
    <file>/usr/lib/debug/usr/libexec/spark2014/bin/why3server-15.0.4-1.fc43.x86_64.debug</file>
  </format>
</package>
<package type="rpm">
  <name>spark2014-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.4" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">cc9b1c1f9b94a42ad2dd3d757ed8c588b23ae5728ed4d8f8499e887375b9c17d</checksum>
  <summary>Debug sources for package spark2014</summary>
  <description>This package provides debug sources for package spark2014.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://www.adacore.com/about-spark</url>
  <time file="1771028838" build="1771027915"/>
  <size package="5659742" installed="48208273" archive="48394464"/>
  <location href="10128728-spark2014/spark2014-debugsource-15.0.4-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>GPL-3.0-or-later AND LGPL-2.1-only AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normal-prod-02274120-20260213-184058</rpm:buildhost>
    <rpm:sourcerpm>spark2014-15.0.4-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="136913"/>
    <rpm:provides>
      <rpm:entry name="spark2014-debugsource" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
      <rpm:entry name="spark2014-debugsource(x86-64)" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>spark2014-doc</name>
  <arch>noarch</arch>
  <version epoch="0" ver="15.0.4" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">b287902345ec07168fd0a0d8e3d094b136ada937769c3d15225b30a13b59987f</checksum>
  <summary>Documentation for SPARK 2014</summary>
  <description>SPARK is a software development technology specifically designed for
engineering high-reliability applications. It consists of a programming
language, a verification toolset and a design method which, taken
together, ensure that ultra-low defect software can be deployed in
application domains where high-reliability must be assured and where
safety and security are key requirements.

This package contains the SPARK user's guide and SPARK 2014 language reference
manual in HTML and PDF format, and some examples.</description>
  <packager></packager>
  <url>https://www.adacore.com/about-spark</url>
  <time file="1771028845" build="1771027915"/>
  <size package="7458261" installed="20774416" archive="21304812"/>
  <location href="10128728-spark2014/spark2014-doc-15.0.4-1.fc43.noarch.rpm"/>
  <format>
    <rpm:license>GFDL-1.1-no-invariants-or-later AND MIT AND BSD-2-Clause AND GPL-3.0-or-later</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normal-prod-02274120-20260213-184058</rpm:buildhost>
    <rpm:sourcerpm>spark2014-15.0.4-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="383517"/>
    <rpm:provides>
      <rpm:entry name="spark2014-doc" flags="EQ" epoch="0" ver="15.0.4" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>sparklib</name>
  <arch>src</arch>
  <version epoch="0" ver="15.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">c3ecda50b014cc8fe2bd152c00876115f2cdabd5fa6ec231cbcb8842a507dd11</checksum>
  <summary>A collection of useful libraries in SPARK 2014</summary>
  <description>This package contains various libraries, such as a wide range of containers,
as well as lemmas to use directly in user code.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/SPARKlib</url>
  <time file="1771029735" build="1771029723"/>
  <size package="708020" installed="718492" archive="719140"/>
  <location href="10128736-sparklib/sparklib-15.0.0-1.fc43.src.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02278255-20260214-002802</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="12698"/>
    <rpm:provides>
      <rpm:entry name="sparklib" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
      <rpm:entry name="sparklib-devel" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.21"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gprbuild"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>sparklib</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">d9fe15050b07bb5843e356b4c91222d6902a91cfa1e53d66f172174efe1fda99</checksum>
  <summary>A collection of useful libraries in SPARK 2014</summary>
  <description>This package contains various libraries, such as a wide range of containers,
as well as lemmas to use directly in user code.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/SPARKlib</url>
  <time file="1771029736" build="1771029725"/>
  <size package="66832" installed="243306" archive="244588"/>
  <location href="10128736-sparklib/sparklib-15.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02278255-20260214-002802</rpm:buildhost>
    <rpm:sourcerpm>sparklib-15.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8449"/>
    <rpm:provides>
      <rpm:entry name="libsparklib.so.15.0.0()(64bit)"/>
      <rpm:entry name="sparklib" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
      <rpm:entry name="sparklib(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </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="libgnat-15.so()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.4)(64bit)"/>
    </rpm:requires>
    <rpm:recommends>
      <rpm:entry name="spark2014" flags="GE" epoch="0" ver="15.0.0"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>sparklib-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">da9467755a1b3d0bd02719df60d538e74826f8a192f52588d0e800a5e9ecf425</checksum>
  <summary>Debug information for package sparklib</summary>
  <description>This package provides debug information for package sparklib.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/SPARKlib</url>
  <time file="1771029737" build="1771029725"/>
  <size package="135260" installed="548931" archive="550280"/>
  <location href="10128736-sparklib/sparklib-debuginfo-15.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02278255-20260214-002802</rpm:buildhost>
    <rpm:sourcerpm>sparklib-15.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="8337"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="9bce1d18e495d9d5a2207204dcdbbb3784bf2cc1"/>
      <rpm:entry name="libsparklib.so.15.0.0-15.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="sparklib-debuginfo" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
      <rpm:entry name="sparklib-debuginfo(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="sparklib-debugsource(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>sparklib-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">68e4fd1458c5369c8632d63d061c3731d3af510da489fcdf6e5a4fd1975b9dc0</checksum>
  <summary>Debug sources for package sparklib</summary>
  <description>This package provides debug sources for package sparklib.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/SPARKlib</url>
  <time file="1771029738" build="1771029725"/>
  <size package="123260" installed="1611115" archive="1632892"/>
  <location href="10128736-sparklib/sparklib-debugsource-15.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02278255-20260214-002802</rpm:buildhost>
    <rpm:sourcerpm>sparklib-15.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="23641"/>
    <rpm:provides>
      <rpm:entry name="sparklib-debugsource" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
      <rpm:entry name="sparklib-debugsource(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>sparklib-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="15.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">f914c6f1eadf6d2fb6f2990d7cebf10a4c13978a362699a124f0fd5735919cce</checksum>
  <summary>Development files for SPARKlib</summary>
  <description>This package contains various libraries, such as a wide range of containers,
as well as lemmas to use directly in user code.

This package contains source code and linking information for developing
applications that use SPARKlib.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/SPARKlib</url>
  <time file="1771029734" build="1771029725"/>
  <size package="344086" installed="2561253" archive="2593432"/>
  <location href="10128736-sparklib/sparklib-devel-15.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-exception</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02278255-20260214-002802</rpm:buildhost>
    <rpm:sourcerpm>sparklib-15.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="37213"/>
    <rpm:provides>
      <rpm:entry name="sparklib-devel" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
      <rpm:entry name="sparklib-devel(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common"/>
      <rpm:entry name="libsparklib.so.15.0.0()(64bit)"/>
      <rpm:entry name="sparklib(x86-64)" flags="EQ" epoch="0" ver="15.0.0" rel="1.fc43"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>tree-sitter-ada</name>
  <arch>src</arch>
  <version epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">0eb0b8d9d12ee2d65ea5f6345e7952e2a07788e35c258694c2b6d41d8cfb201b</checksum>
  <summary>Ada grammar for Tree-sitter</summary>
  <description>Add support for Ada to Tree-sitter, an incremental parsing system
for programming tools.</description>
  <packager></packager>
  <url>https://github.com/briot/tree-sitter-ada</url>
  <time file="1778754325" build="1778754317"/>
  <size package="213123" installed="215561" archive="215964"/>
  <location href="10458818-tree-sitter-ada/tree-sitter-ada-0^git20251216.6b58259-1.fc43.src.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829043-20260514-101908</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="10930"/>
    <rpm:provides>
      <rpm:entry name="libtree-sitter-ada" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="libtree-sitter-ada-devel" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="tree-sitter-ada-debuginfo" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="tree-sitter-ada-debugsource" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="(gcc-c++ if tree-sitter-cli &lt; 0.24.0)"/>
      <rpm:entry name="gcc"/>
      <rpm:entry name="libtree-sitter-devel"/>
      <rpm:entry name="make"/>
      <rpm:entry name="tree-sitter-cli" flags="GE" epoch="0" ver="0.24.0"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>tree-sitter-ada-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">4ec4db7530cede2a7c0e29f7884a9f88f72621f07e41812f6afd1461fd12c79b</checksum>
  <summary>Debug sources for package tree-sitter-ada</summary>
  <description>This package provides debug sources for package tree-sitter-ada.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/briot/tree-sitter-ada</url>
  <time file="1778754326" build="1778754317"/>
  <size package="84553" installed="2376939" archive="2378020"/>
  <location href="10458818-tree-sitter-ada/tree-sitter-ada-debugsource-0^git20251216.6b58259-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>MIT</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-08829043-20260514-101908</rpm:buildhost>
    <rpm:sourcerpm>tree-sitter-ada-0^git20251216.6b58259-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="7857"/>
    <rpm:provides>
      <rpm:entry name="tree-sitter-ada-debugsource" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
      <rpm:entry name="tree-sitter-ada-debugsource(x86-64)" flags="EQ" epoch="0" ver="0^git20251216.6b58259" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>vss</name>
  <arch>src</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">bf301b325ddcbf3822ac1883046ea7b78c4c7e9bd8b30b65d478ae1aca7178a7</checksum>
  <summary>High level string and text processing library</summary>
  <description>The VSS (as an abbreviation for Virtual String Subsystem) library is
designed to provide advanced string and text processing capabilities. It
offers a convenient and robust API that allows developers to work with
Unicode text, regardless of its internal representation.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/VSS</url>
  <time file="1771007662" build="1771007605"/>
  <size package="1232335" installed="1314281" archive="1314944"/>
  <location href="10128263-vss/vss-25.0.0-1.fc43.src.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-Exception AND Unicode-DFS-2016</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02273841-20260213-183111</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="14807"/>
    <rpm:provides>
      <rpm:entry name="vss" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="vss-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common" flags="GE" epoch="0" ver="3.21"/>
      <rpm:entry name="gcc-gnat"/>
      <rpm:entry name="gprbuild"/>
      <rpm:entry name="make"/>
      <rpm:entry name="sed"/>
      <rpm:entry name="xmlada-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>vss</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">67b653daf8958cac510df224ced497708081494315bbc71385ad27fcdbeafcff</checksum>
  <summary>High level string and text processing library</summary>
  <description>The VSS (as an abbreviation for Virtual String Subsystem) library is
designed to provide advanced string and text processing capabilities. It
offers a convenient and robust API that allows developers to work with
Unicode text, regardless of its internal representation.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/VSS</url>
  <time file="1771007663" build="1771007607"/>
  <size package="1078706" installed="4993761" archive="4997772"/>
  <location href="10128263-vss/vss-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-Exception AND Unicode-DFS-2016</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02273841-20260213-183111</rpm:buildhost>
    <rpm:sourcerpm>vss-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="12481"/>
    <rpm:provides>
      <rpm:entry name="libvss-gnat.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-json.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-regexp.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml-templates.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml-xmlada.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss.so.25.0.0()(64bit)"/>
      <rpm:entry name="vss" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="vss(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </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="libgnarl-15.so()(64bit)"/>
      <rpm:entry name="libgnat-15.so()(64bit)"/>
      <rpm:entry name="libxmlada_input_sources.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_sax.so.25.0.0()(64bit)"/>
      <rpm:entry name="libxmlada_unicode.so.25.0.0()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.14)(64bit)"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>vss-debuginfo</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">afc28956cf71c20754fb14fc9fdcebd4d4d31654cf2c780a1ca59c20962b8b02</checksum>
  <summary>Debug information for package vss</summary>
  <description>This package provides debug information for package vss.
Debug information is useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/VSS</url>
  <time file="1771007662" build="1771007607"/>
  <size package="1595428" installed="6928064" archive="6933576"/>
  <location href="10128263-vss/vss-debuginfo-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-Exception AND Unicode-DFS-2016</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02273841-20260213-183111</rpm:buildhost>
    <rpm:sourcerpm>vss-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="13861"/>
    <rpm:provides>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="083c0016889dc65d39a98142cd8c82ad7acbf860"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="1cc9f864db7280e49edff906157271d34b803b25"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="6090bb71e41ba87868348df245f0c3a30a16549f"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="b85cc04818d285311926c339bf963fdb29a08c2e"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="b9efdc9aff2c34d0a3c4715551036c02c0c38324"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="fb0d60ffbaf775139ae7aa59a69819b363140039"/>
      <rpm:entry name="debuginfo(build-id)" flags="EQ" epoch="0" ver="fd50ab365db9c141a083634455e6d5b3849e4132"/>
      <rpm:entry name="libvss-gnat.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss-json.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss-regexp.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss-xml-templates.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss-xml-xmlada.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss-xml.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="libvss.so.25.0.0-25.0.0-1.fc43.x86_64.debug()(64bit)"/>
      <rpm:entry name="vss-debuginfo" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="vss-debuginfo(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:recommends>
      <rpm:entry name="vss-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:recommends>
  </format>
</package>
<package type="rpm">
  <name>vss-debugsource</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">1bdd9ca4e29f3be5fc1205a56bb5c04bbf19b035c491ae25131fe0517c2144c7</checksum>
  <summary>Debug sources for package vss</summary>
  <description>This package provides debug sources for package vss.
Debug sources are useful when developing applications that use this
package or when debugging this package.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/VSS</url>
  <time file="1771007664" build="1771007607"/>
  <size package="458480" installed="6595198" archive="6658704"/>
  <location href="10128263-vss/vss-debugsource-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-Exception AND Unicode-DFS-2016</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Development/Debug</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02273841-20260213-183111</rpm:buildhost>
    <rpm:sourcerpm>vss-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="52333"/>
    <rpm:provides>
      <rpm:entry name="vss-debugsource" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="vss-debugsource(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
  </format>
</package>
<package type="rpm">
  <name>vss-devel</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="25.0.0" rel="1.fc43"/>
  <checksum type="sha256" pkgid="YES">874e199a40fc5a91b706f11ac91c809c0f08bbcbbc63779521c252df61186607</checksum>
  <summary>Development files for the VSS library</summary>
  <description>The VSS (as an abbreviation for Virtual String Subsystem) library is
designed to provide advanced string and text processing capabilities. It
offers a convenient and robust API that allows developers to work with
Unicode text, regardless of its internal representation.

This package contains source code and linking information for developing
applications that use the VSS library.</description>
  <packager></packager>
  <url>https://github.com/AdaCore/VSS</url>
  <time file="1771007661" build="1771007607"/>
  <size package="780795" installed="9009672" archive="9089684"/>
  <location href="10128263-vss/vss-devel-25.0.0-1.fc43.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0 WITH LLVM-Exception AND Unicode-DFS-2016</rpm:license>
    <rpm:vendor>Fedora Copr - user dvraaij</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-normalreserved-prod-02273841-20260213-183111</rpm:buildhost>
    <rpm:sourcerpm>vss-25.0.0-1.fc43.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="81645"/>
    <rpm:provides>
      <rpm:entry name="vss-devel" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
      <rpm:entry name="vss-devel(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="fedora-gnat-project-common"/>
      <rpm:entry name="libvss-gnat.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-json.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-regexp.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml-templates.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml-xmlada.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss-xml.so.25.0.0()(64bit)"/>
      <rpm:entry name="libvss.so.25.0.0()(64bit)"/>
      <rpm:entry name="vss(x86-64)" flags="EQ" epoch="0" ver="25.0.0" rel="1.fc43"/>
    </rpm:requires>
  </format>
</package>
</metadata>