--- Begin Message ---
Subject: |
[PATCH] gnu: python-graph-tool: Update to 2.45. |
Date: |
Fri, 1 Jul 2022 17:26:35 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.10.0 |
0001-gnu-python-graph-tool-Update-to-2.45.patch
Description: Text Data
OpenPGP_0x10508FA593B7BE6D.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#56339: [PATCH] gnu: python-graph-tool: Update to 2.45. |
Date: |
Fri, 08 Jul 2022 17:41:27 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi,
Alexandre Hannud Abdo <abdo@member.fsf.org> skribis:
> From afe9c9161ae56f51a165a233a9a7650c3175527a Mon Sep 17 00:00:00 2001
> From: Ale Abdo <abdo@member.fsf.org>
> Date: Fri, 1 Jul 2022 17:17:12 +0200
> Subject: [PATCH] gnu: python-graph-tool: Update to 2.45.
>
> * gnu/packages/graph.scm (python-graph-tool): Update to 2.45.
Applied, thanks!
Ludo’.
--- End Message ---