Bug#911371: antlr4: package v4.7.1 and include Cpp libraries/headers

Hi Emmanuel, Thanks for reviewing my packaging! On 2018-10-19 13:01, Emmanuel Bourg wrote: > If possible I think the non Java > stuff should be moved to another source packages maintained by the > proper language team, such that the Java Team can freely upgrade antlr > without affecting packages

Bug#911371: antlr4: package v4.7.1 and include Cpp libraries/headers

Hi Andrius, Le 19/10/2018 à 10:55, Andrius Merkys a écrit : > I have started packaging antlr4 v4.7.1. Apart from updating the existing > binary packages, I have packaged antlr4 Cpp libraries/headers, what seems to > be required at least by #902798 [1]. > > My packaging efforts are pushed to a

Bug#911371: antlr4: package v4.7.1 and include Cpp libraries/headers

Source: antlr4 Owner: Andrius Merkys Control: block -1 by 911302 Control: block 902798 by -1 Control: block 894359 by -1 Hello, I have started packaging antlr4 v4.7.1. Apart from updating the existing binary packages, I have packaged antlr4 Cpp libraries/headers, what seems to be required at l