@@ -97,7 +97,8 @@ object Main {
"""(1\.3\.1)|""" +
"""(1\.4\.0)|""" +
"""(1\.4\.1)|""" +
- """(1\.5\.0)""" +
+ """(1\.5\.0)|""" +
+ """(1\.5\.1)""" +
""")(-.*)?"""
).r