--- Begin Message ---
Subject: |
[PATCH] gnu: virtuoso-ose: Update to 7.2.7. |
Date: |
Fri, 20 May 2022 10:41:46 +0200 |
User-agent: |
Evolution 3.44.1 (3.44.1-1.fc36) |
Dear Guix,
I'd like to update Virtuoso OSE to the latest release (see attached patch).
Other than the version number and checksum bump I noticed that some JAR files
made it in the build
output. I tried removing them from the source tarball using a snippet, but
then one needs to
include a patch for various Makefile.am files and run the autogen.sh script. I
thought this was
simpler and clearer on what's actually achieved.
Kind regards,
Roel Janssen
0001-gnu-virtuoso-ose-Update-to-7.2.7.patch
Description: Text Data
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#55538] [PATCH] gnu: virtuoso-ose: Update to 7.2.7. |
Date: |
Mon, 30 May 2022 09:09:49 +0200 |
User-agent: |
Evolution 3.44.1 (3.44.1-1.fc36) |
On Mon, 2022-05-30 at 09:21 +0300, Efraim Flashner wrote:
> Go ahead and sort the native-inputs alphabetically and it looks good to
> me!
>
Thanks! I ordered the native-inputs alphabetically and pushed.
Kind regards,
Roel Janssen
--- End Message ---