-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, On 23 Jul 2009, at 02:50, Trent W. Buck wrote:
Why can't it just be "agda"? Even if there's a separate librarypackage, 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.
Thanks for your comments. Regards, Iain -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkpoMB4ACgkQPy0SnCC/zcfHdACdHjLRyF5QaIL0Amkfv8bPM1l8 R4MAoIC1izsDP0zDmcE+1nY87IcOEMsY =xnsF -----END PGP SIGNATURE----- This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.