Bug#872427: anet: please rebuild with gnat-7

2017-09-01 Thread Gianfranco Costamagna
On Wed, 23 Aug 2017 19:28:27 +0200 Nicolas Boulenguez wrote: > Package: src:anet > Followup-For: Bug #872427 Hello, > > Hello. > > One of the attached patches adds the copyright attributions missing in > last upload attempt. > The other ones suggest various more or less intrusive changes. p

Bug#872427: anet: please rebuild with gnat-7

2017-08-23 Thread Nicolas Boulenguez
Package: src:anet Followup-For: Bug #872427 Hello. One of the attached patches adds the copyright attributions missing in last upload attempt. The other ones suggest various more or less intrusive changes. anet-patches-2.tar.gz Description: application/gzip

Bug#872427: anet: please rebuild with gnat-7

2017-08-17 Thread Reto Buerki
Hi, On 08/17/2017 01:05 PM, Nicolas Boulenguez wrote: > Anet requires a rebuild because of the gnat-7 transition. > As ALI/SO versions must change, > this is an occasion to package the new upstream release. > Please also consider the attached changes. Thanks for your patches, I'll look into it.

Bug#872427: anet: please rebuild with gnat-7

2017-08-17 Thread Nicolas Boulenguez
Source: anet Version: 0.3.3-1 Severity: normal Tags: patch Hello. Anet requires a rebuild because of the gnat-7 transition. As ALI/SO versions must change, this is an occasion to package the new upstream release. Please also consider the attached changes. anet-patches.tar.gz Description: applica