-----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 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.
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.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
