<?xml version="1.0" encoding="UTF-8"?>
<otherdata xmlns="http://linux.duke.edu/metadata/other" packages="2">
<package pkgid="92c2da189b6730c7b00b8307a11e710eb905effccf90ef9e69c9698bdfb40d90" name="lean4" arch="aarch64">
  <version epoch="0" ver="4.29.1" rel="1.el10"/>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.22.0-1" date="1755172800">- https://lean-lang.org/doc/reference/latest/releases/v4.22.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.23.0-1" date="1758110400">- https://lean-lang.org/doc/reference/latest/releases/v4.23.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.24.0-1" date="1761048000">- https://lean-lang.org/doc/reference/latest/releases/v4.24.0/</changelog>
  <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>
</package>
<package pkgid="db8f602f3230d7c2058d97905873af8722a3670ac648acccb06b637458584263" name="lean4" arch="src">
  <version epoch="0" ver="4.29.1" rel="1.el10"/>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.22.0-1" date="1755172800">- https://lean-lang.org/doc/reference/latest/releases/v4.22.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.23.0-1" date="1758110400">- https://lean-lang.org/doc/reference/latest/releases/v4.23.0/</changelog>
  <changelog author="Jens Petersen &lt;petersen@redhat.com&gt; - 4.24.0-1" date="1761048000">- https://lean-lang.org/doc/reference/latest/releases/v4.24.0/</changelog>
  <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>
</package>
</otherdata>