Bug#807637: inform6lib/6.12: Non-source file ‘infglk.h’ with no corresponding source

2016-04-16 Thread Stephen Kitt
On Sun, 17 Apr 2016 03:42:23 +1000, Ben Finney wrote: [...] > So there appears to be a path – work carefully to get those parts > packaged for Debian as build dependencies for ‘infglk.h’. Indeed, which is good news all told. > None the less, I would like the current “6.12+dfsg.1-1” release of >

Bug#807637: inform6lib/6.12: Non-source file ‘infglk.h’ with no corresponding source

2016-04-16 Thread Ben Finney
On 16-Apr-2016, Stephen Kitt wrote: > I'm not convinced this is non-free. The only troublesome clause I > see is the requirement to mention Zarf's name and the URL; but that > isn't less free than say the zlib license AFAICS... Am I missing > something? I mis-parsed the text of those license condi

Bug#807637: inform6lib/6.12: Non-source file ‘infglk.h’ with no corresponding source

2016-04-16 Thread Stephen Kitt
On Sat, 16 Apr 2016 16:07:39 +1000, Ben Finney wrote: > On 16-Apr-2016, Ben Finney wrote: > > * I can look at ‘glk-dev’ and maybe package that too, as a build > > dependency for ‘inform6lib’. This would delay the ‘inform6lib’ > > inclusion, by an unknown interval. > > It turns out that ‘glk

Bug#807637: inform6lib/6.12: Non-source file ‘infglk.h’ with no corresponding source

2016-04-15 Thread Ben Finney
On 16-Apr-2016, Ben Finney wrote: > * I can look at ‘glk-dev’ and maybe package that too, as a build > dependency for ‘inform6lib’. This would delay the ‘inform6lib’ > inclusion, by an unknown interval. It turns out that ‘glk-dev’ (needed to build the ‘infglk.h’ file) itself has a non-free bui