<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>PyPI recent updates for ethlib</title>
    <link>https://pypi.org/project/ethlib/</link>
    <description>Recent updates to the Python Package Index for ethlib</description>
    <language>en</language>    <item>
      <title>0.2.0</title>
      <link>https://pypi.org/project/ethlib/0.2.0/</link>
      <description>Ethereum specifications, written in Lean</description>
      <pubDate>Tue, 27 Oct 2026 13:57:19 GMT</pubDate>
    </item>  </channel>
</rss>