On Fri, Jul 03, 2009 at 03:56:46PM -0500, John Goerzen wrote: > jgoerzen@alioth:~$ ls /git/pkg-haskell > agda.git convertible.git hdbc.git Sorry, I had a brief braino. That should have been named haskell-convertible.git, and I've renamed it now.