|
From: | GNU bug Tracking System |
Subject: | bug#43525: closed ([PATCH] gnu: Add antlr4.) |
Date: | Sun, 20 Sep 2020 12:01:02 +0000 |
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 Data0002-gnu-Add-java-antlr4-runtime.patch
Description: Text Data0003-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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |