[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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


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
$ grep-aptavail -F Package -s Package -r -- -executable$ | wc -l

But it’s just a suggestion, I don’t mind -executable.

Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil

Reply to: