<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>PyPI recent updates for certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry</title>
    <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/</link>
    <description>Recent updates to the Python Package Index for certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry</description>
    <language>en</language>    <item>
      <title>20241224.11.41.25008</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.11.41.25008/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 11:41:57 GMT</pubDate>
    </item>    <item>
      <title>20241224.11.23.410711</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.11.23.410711/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 11:23:29 GMT</pubDate>
    </item>    <item>
      <title>20241224.10.52.553813</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.10.52.553813/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 10:52:22 GMT</pubDate>
    </item>    <item>
      <title>20241224.10.20.434362</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.10.20.434362/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 10:21:05 GMT</pubDate>
    </item>    <item>
      <title>20241224.9.51.502742</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.9.51.502742/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 09:51:10 GMT</pubDate>
    </item>    <item>
      <title>20241224.9.13.2229</title>
      <link>https://pypi.org/project/certora-cli-alpha-niv-fix-path-in-soroban-entry/20241224.9.13.2229/</link>
      <description>Runner for the Certora Prover</description>
<author>support@certora.com</author>      <pubDate>Tue, 24 Dec 2024 09:13:05 GMT</pubDate>
    </item>  </channel>
</rss>