<?xml version="1.0" encoding="UTF-8"?>
<otherdata xmlns="http://linux.duke.edu/metadata/other" packages="2">
<package pkgid="e12207e0bb52f708caa999d775ab33a06f4683cfe79542dadc44b11391e78c94" name="lean4" arch="ppc64le">
  <version epoch="0" ver="4.33.0" rel="1.fc44"/>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.25.0-1" date="1763726400">- https://lean-lang.org/doc/reference/latest/releases/v4.25.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.25.2-1" date="1764590400">- update to 4.25.2</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.26.0-1" date="1766059200">- https://lean-lang.org/doc/reference/latest/releases/v4.26.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.27.0-1" date="1769256000">- https://lean-lang.org/doc/reference/latest/releases/v4.27.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.28.0-1" date="1771502400">- https://lean-lang.org/doc/reference/latest/releases/v4.28.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.29.0-1" date="1774699200">- https://lean-lang.org/doc/reference/latest/releases/v4.29.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.29.1-1" date="1778241600">- https://lean-lang.org/doc/reference/latest/releases/v4.29.1</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.30.0-1" date="1781438400">- https://lean-lang.org/doc/reference/latest/releases/v4.30.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.32.2-1" date="1785672000">- https://lean-lang.org/doc/reference/latest/releases/v4.32.2/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.33.0-1" date="1786449600">- https://lean-lang.org/doc/reference/latest/releases/v4.33.0/</changelog>
</package>
<package pkgid="b83eb91cf41a739b7e65d537ce449e57a921d26713ffef5ea9f0797dda41f2ca" name="lean4" arch="src">
  <version epoch="0" ver="4.33.0" rel="1.fc44"/>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.25.0-1" date="1763726400">- https://lean-lang.org/doc/reference/latest/releases/v4.25.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.25.2-1" date="1764590400">- update to 4.25.2</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.26.0-1" date="1766059200">- https://lean-lang.org/doc/reference/latest/releases/v4.26.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.27.0-1" date="1769256000">- https://lean-lang.org/doc/reference/latest/releases/v4.27.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.28.0-1" date="1771502400">- https://lean-lang.org/doc/reference/latest/releases/v4.28.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.29.0-1" date="1774699200">- https://lean-lang.org/doc/reference/latest/releases/v4.29.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.29.1-1" date="1778241600">- https://lean-lang.org/doc/reference/latest/releases/v4.29.1</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.30.0-1" date="1781438400">- https://lean-lang.org/doc/reference/latest/releases/v4.30.0</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.32.2-1" date="1785672000">- https://lean-lang.org/doc/reference/latest/releases/v4.32.2/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.33.0-1" date="1786449600">- https://lean-lang.org/doc/reference/latest/releases/v4.33.0/</changelog>
</package>
</otherdata>