[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64162: [PATCH] gnu: python-mypy-extensions: Update to 1.0.0
|
From: |
Ludovic Courtès |
|
Subject: |
bug#64162: [PATCH] gnu: python-mypy-extensions: Update to 1.0.0 |
|
Date: |
Sun, 25 Jun 2023 23:38:59 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi,
Vincent Prat <vprat@deeplinks.com> skribis:
> From 4a68d9116a4b5a81f3eb7d31faa505a6cd1b813a Mon Sep 17 00:00:00 2001
> From: Vincent Prat <vprat@deeplinks.com>
> Date: Mon, 19 Jun 2023 11:08:27 +0200
> Subject: [PATCH 2/2] gnu: python-mypy-extensions: Fix style
>
> * gnu/packages/python-check.scm (python-mypy-extensions): Fix style
[...]
> From 403c73debcebba1d8013c3877c3bfd0c909d3c67 Mon Sep 17 00:00:00 2001
> From: Vincent Prat <vprat@deeplinks.com>
> Date: Mon, 19 Jun 2023 11:05:08 +0200
> Subject: [PATCH 1/2] gnu: python-mypy-extensions: Update to 1.0.0
>
> * gnu/packages/python-check.scm (python-mypy-extensions): Update to 1.0.0
Applied, thanks!
Ludo’.