antlr4: default to antlr4_12

This commit is contained in:
Nick Cao
2023-03-13 10:10:44 +08:00
parent 069d4196eb
commit 2cec455632

View File

@@ -17263,7 +17263,7 @@ with pkgs;
antlr4_11
antlr4_12;
antlr4 = antlr4_11;
antlr4 = antlr4_12;
antlr = antlr4;