[debbugs-tracker] bug#31531: closed (Update monero to 0.12.0.0.)

[GNU bug Tracking System]

Your message dated Mon, 16 Jul 2018 16:52:46 +0200
with message-id <address@hidden>
and subject line Re: [bug#31531] [PATCH v2 9/9] gnu: monero-core: Rename 
package to "monero-gui".
has caused the debbugs.gnu.org bug report #31531,
regarding Update monero to 0.12.0.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31531: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31531
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Update monero to 0.12.0.0.
>
>
>
>
> Date: 
>
> Sat, 19 May 2018 21:50:34 +0300
>
>
>
>
> This patch series updates monero and monero-core to 0.12.0.0 and adds
> cppzmq package.
>
>  gnu/local.mk                                  |  1 +
>  gnu/packages/finance.scm                      | 35 
> ++++++++++++++++++++++-------------
>  gnu/packages/networking.scm                   | 28 ++++++++++++++++++++++++++++
>  gnu/packages/patches/monero-fix-version.patch | 16 ++++++++++++++++
>  4 files changed, 67 insertions(+), 13 deletions(-)
>  create mode 100644 gnu/packages/patches/monero-fix-version.patch
>  gnu: monero-core: Update to 0.12.0.0.
>  gnu: monero: Update to 0.12.0.0.
>  gnu: Add cppzmq.
> -- 
> Theodoros Foradis
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31531] [PATCH v2 9/9] gnu: monero-core: Rename package to "monero-gui".
>
>
>
>
> Date: 
>
> Mon, 16 Jul 2018 16:52:46 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hello,
>
> I merged the remained of the patch series.  I merged the ‘git-fetch’
> patch of ‘monero-core’ with the updated, and I declared “monero-core” a
> deprecated package name for “monero-gui”.
>
> We’re done now.  Thank you!
>
> Ludo’.
>
>
> --- End Message ---