<?xml version="1.0" encoding="UTF-8"?>
<metadata xmlns="http://linux.duke.edu/metadata/common" xmlns:rpm="http://linux.duke.edu/metadata/rpm" packages="2">
<package type="rpm">
  <name>lean4</name>
  <arch>src</arch>
  <version epoch="0" ver="4.33.0" rel="1.el9"/>
  <checksum type="sha256" pkgid="YES">6b06de188cc764d0689c528a98e7b6907e220d768267c5254665c8d30572d659</checksum>
  <summary>Functional programming language and theorem prover</summary>
  <description>Lean is a functional programming language that makes it easy to write
correct and maintainable code. You can also use Lean as an interactive
theorem prover. Lean programming primarily involves defining types and
functions. This allows your focus to remain on the problem domain and
manipulating its data, rather than the details of programming.</description>
  <packager></packager>
  <url>https://lean-lang.org/</url>
  <time file="1786459353" build="1786454733"/>
  <size package="85338801" installed="86685524" archive="86685908"/>
  <location href="10846719-lean4/lean4-4.33.0-1.el9.src.rpm"/>
  <format>
    <rpm:license>Apache-2.0</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-17857620-20260811-132101</rpm:buildhost>
    <rpm:sourcerpm></rpm:sourcerpm>
    <rpm:header-range start="4504" end="10005"/>
    <rpm:provides>
      <rpm:entry name="lean4" flags="EQ" epoch="0" ver="4.33.0" rel="1.el9"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="cadical"/>
      <rpm:entry name="cmake"/>
      <rpm:entry name="gcc-c++"/>
      <rpm:entry name="gmp-devel"/>
      <rpm:entry name="libuv-devel"/>
      <rpm:entry name="openssl-devel"/>
    </rpm:requires>
  </format>
</package>
<package type="rpm">
  <name>lean4</name>
  <arch>x86_64</arch>
  <version epoch="0" ver="4.33.0" rel="1.el9"/>
  <checksum type="sha256" pkgid="YES">ffb2e38f6cc4becd0c46c2a5fe39691d1e265d0a4b3471ea644921eed98d651e</checksum>
  <summary>Functional programming language and theorem prover</summary>
  <description>Lean is a functional programming language that makes it easy to write
correct and maintainable code. You can also use Lean as an interactive
theorem prover. Lean programming primarily involves defining types and
functions. This allows your focus to remain on the problem domain and
manipulating its data, rather than the details of programming.</description>
  <packager></packager>
  <url>https://lean-lang.org/</url>
  <time file="1786459344" build="1786454738"/>
  <size package="538839061" installed="2894918069" archive="2898063084"/>
  <location href="10846719-lean4/lean4-4.33.0-1.el9.x86_64.rpm"/>
  <format>
    <rpm:license>Apache-2.0</rpm:license>
    <rpm:vendor>Fedora Copr - user petersen</rpm:vendor>
    <rpm:group>Unspecified</rpm:group>
    <rpm:buildhost>aws-x86-64-reserved-prod-17857620-20260811-132101</rpm:buildhost>
    <rpm:sourcerpm>lean4-4.33.0-1.el9.src.rpm</rpm:sourcerpm>
    <rpm:header-range start="4504" end="2549049"/>
    <rpm:provides>
      <rpm:entry name="lean4" flags="EQ" epoch="0" ver="4.33.0" rel="1.el9"/>
      <rpm:entry name="lean4(x86-64)" flags="EQ" epoch="0" ver="4.33.0" rel="1.el9"/>
      <rpm:entry name="lean4-static" flags="EQ" epoch="0" ver="4.33.0" rel="1.el9"/>
      <rpm:entry name="libInit_shared.so()(64bit)"/>
      <rpm:entry name="libLake_shared.so()(64bit)"/>
      <rpm:entry name="libleanshared.so()(64bit)"/>
      <rpm:entry name="libleanshared_1.so()(64bit)"/>
      <rpm:entry name="libleanshared_2.so()(64bit)"/>
    </rpm:provides>
    <rpm:requires>
      <rpm:entry name="/usr/bin/bash"/>
      <rpm:entry name="gmp-devel"/>
      <rpm:entry name="libcrypto.so.3()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1()(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
      <rpm:entry name="libgcc_s.so.1(GCC_3.3.1)(64bit)"/>
      <rpm:entry name="libgmp.so.10()(64bit)"/>
      <rpm:entry name="libm.so.6()(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.2.5)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.27)(64bit)"/>
      <rpm:entry name="libm.so.6(GLIBC_2.29)(64bit)"/>
      <rpm:entry name="libssl.so.3()(64bit)"/>
      <rpm:entry name="libstdc++-devel"/>
      <rpm:entry name="libstdc++.so.6()(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(CXXABI_1.3.9)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.11)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.14)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.17)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.18)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.19)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.22)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.26)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.29)(64bit)"/>
      <rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
      <rpm:entry name="libuv-devel"/>
      <rpm:entry name="libuv.so.1()(64bit)"/>
      <rpm:entry name="rtld(GNU_HASH)"/>
      <rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
    </rpm:requires>
    <file>/usr/bin/lake</file>
    <file>/usr/bin/lean</file>
    <file>/usr/bin/leanc</file>
    <file>/usr/bin/leanchecker</file>
    <file>/usr/bin/leanir</file>
    <file>/usr/bin/leanmake</file>
    <file>/usr/bin/leantar</file>
    <file>/usr/lib64/lean4/bin/lake</file>
    <file>/usr/lib64/lean4/bin/lean</file>
    <file>/usr/lib64/lean4/bin/leanc</file>
    <file>/usr/lib64/lean4/bin/leanchecker</file>
    <file>/usr/lib64/lean4/bin/leanir</file>
    <file>/usr/lib64/lean4/bin/leanmake</file>
    <file>/usr/lib64/lean4/bin/leantar</file>
  </format>
</package>
</metadata>