<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>PyPI recent updates for pyls-mypy</title>
    <link>https://pypi.org/project/pyls-mypy/</link>
    <description>Recent updates to the Python Package Index for pyls-mypy</description>
    <language>en</language>    <item>
      <title>0.1.8</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.8/</link>
      <description>Mypy linter for the Python Language Server</description>
      <pubDate>Sat, 05 Oct 2019 22:18:43 GMT</pubDate>
    </item>    <item>
      <title>0.1.6</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.6/</link>
      <description>Mypy linter for the Python Language Server</description>
      <pubDate>Tue, 16 Apr 2019 21:19:05 GMT</pubDate>
    </item>    <item>
      <title>0.1.5</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.5/</link>
      <description>Mypy linter for the Python Language Server</description>
      <pubDate>Mon, 29 Oct 2018 23:53:59 GMT</pubDate>
    </item>    <item>
      <title>0.1.4</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.4/</link>
      <description>Mypy linter for the Python Language Server</description>
      <pubDate>Mon, 29 Oct 2018 21:22:49 GMT</pubDate>
    </item>    <item>
      <title>0.1.3</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.3/</link>
      <description>Mypy linter for the Python Language Server</description>
      <pubDate>Sun, 10 Jun 2018 21:05:14 GMT</pubDate>
    </item>    <item>
      <title>0.1.2</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.2/</link>
      <description>Mypy linter for the Python Language Server for the Language Server Protocol</description>
      <pubDate>Sun, 13 Aug 2017 09:22:51 GMT</pubDate>
    </item>    <item>
      <title>0.1.1</title>
      <link>https://pypi.org/project/pyls-mypy/0.1.1/</link>
      <description>Mypy linter for the Python Language Server for the Language Server Protocol</description>
      <pubDate>Tue, 08 Aug 2017 18:08:18 GMT</pubDate>
    </item>  </channel>
</rss>