[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70809: [PATCH] gnu: ugrep: Update to 6.0.0.
From: |
宋文武 |
Subject: |
bug#70809: [PATCH] gnu: ugrep: Update to 6.0.0. |
Date: |
Mon, 27 May 2024 15:22:41 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
kiasoc5 <kiasoc5@disroot.org> writes:
> From 06e42cfb1d1b3c38e0ff32a08154017e846a9224 Mon Sep 17 00:00:00 2001
> Message-Id:
> <06e42cfb1d1b3c38e0ff32a08154017e846a9224.1715100705.git.kiasoc5@disroot.org>
> From: kiasoc5 <kiasoc5@disroot.org>
> Date: Tue, 7 May 2024 12:24:05 -0400
> Subject: [PATCH v2] gnu: ugrep: Update to 6.0.0.
>
> * gnu/packages/search.scm (ugrep): Update to 6.0.0.
> [source]: Adjust snippet to avoid deleting ug+ and ugrep+ shell scripts.
Pushed to master as commit a3e5caa222, thank you.