[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, 13:03 +0100 schrieb Iain Lane:
> On 23 Jul 2009, at 02:50, Trent W. Buck wrote:
> > Why can't it just be "agda"?  Even if there's a separate library
> > package, that would have the source name "haskell-agda" and binary  
> > names
> > "libghc6-agda-{dev,prof,doc}", so there'd be no conflict.
> Actually the library source package is called "agda" :) I wasn't  
> actually aware of this policy when packaging. My apologies. If agda- 
> executable is generally considered to be a bad name then agda-cli it  
> is. I haven't pushed to alioth yet anyway.

given the possible confusion with -cli and mono (which I think is an
issue), there is also the relatively common variant "agda-bin".


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: