Is there a decision on this? It seems like it would be good to test it sooner rather than later.
The only other option I can think of that's not been discussed is to create an antlr3.0 package which provides antlr3 and have the new package in main and the normal antlr3 in universe. Andy -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to antlr3 in Ubuntu. https://bugs.launchpad.net/bugs/814819 Title: Update to antlr3 version 3.2 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/antlr3/+bug/814819/+subscriptions -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs