bug#43525: closed ([PATCH] gnu: Add antlr4.)

[GNU bug Tracking System]

Your message dated Sun, 20 Sep 2020 14:00:09 +0200
with message-id <20200920140009.7ddfb572@tachikoma.lepiller.eu>
and subject line Re: [bug#43525] [PATCH] gnu: Add antlr4.
has caused the debbugs.gnu.org bug report #43525,
regarding [PATCH] gnu: Add antlr4.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
43525: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43525
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: Add antlr4. Date: Sun, 20 Sep 2020 03:18:17 +0200

Hi Guix!

I tried to update groovy to its latest version today, so here's a patch
series that adds ANTLR 4 instead :p (it's a build dependency for the
newest version of groovy).

0001-gnu-Add-java-treelayout.patch
Description: Text Data

0002-gnu-Add-java-antlr4-runtime.patch
Description: Text Data

0003-gnu-Add-antlr4.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#43525] [PATCH] gnu: Add antlr4.
>
>
>
>
> Date: 
>
> Sun, 20 Sep 2020 14:00:09 +0200
>
>
>
>
> Pushed as 1d630fe0f64d16d7428a78ee4bf94e8179ce4a94 to
> f9a6e3894b1648e32371e1916dfdf820de496050, thank you!
>
>
> --- End Message ---