aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ports/antlr4/CONTROL2
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/antlr4/CONTROL b/ports/antlr4/CONTROL
index af881f1c3..2254d4d80 100644
--- a/ports/antlr4/CONTROL
+++ b/ports/antlr4/CONTROL
@@ -1,3 +1,3 @@
Source: antlr4
-Version: 4.7.1
+Version: 4.7.1-1
Description: ANother Tool for Language Recognition \ No newline at end of file