Re: Bug#537705: ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant

[Wolfgang Jeltsch <g9ks157k@acme.softbase.org>]

Am Freitag, 24. Juli 2009 16:36 schrieb Joachim Breitner:
> Hi,
>
> Am Freitag, den 24.07.2009, 14:30 +0100 schrieb Iain Lane:
> > On 24 Jul 2009, at 14:10, Joachim Breitner wrote:
> > >  there is also the relatively common variant "agda-bin".
> >
> > How is this any better than -executable though? Seems to me like the
> > same issues apply to both.
>
> it is more common, and will be understood as "containing the programs
> from the set of agda-related packages":
>
> $ grep-aptavail -F Package -s Package -r -- -bin$ | wc -l
> 142
> $ grep-aptavail -F Package -s Package -r -- -executable$ | wc -l
> 0
>
> But it’s just a suggestion, I don’t mind -executable.

Isn’t there some Debian convention about this? I thought it was 
appending “-cli” but maybe the “-cli” packages I found were about the Common 
Language Interface. I think, package naming should be consistent within 
Debian, so I don’t think it’s a good thing to use “-executable”.

Best wishes,
Wolfgang