Am Montag, 20. Juli 2009 12:23 schrieb Iain Lane: > * Package name : agda-executable
Why agda-exectuable? Wouldn’t it be more common to name this package agda-cli? On etch, there are five packages with names of the form *-cli but none with a name of the form *-executable. A GUI interface would probably also provided by an executable, so “executable” doesn’t explicitely refer to a command line interface (cli). Best wishes, Wolfgang -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
