Is anyone else having trouble with this repository? NEW darcs get midi Invalid repository: http://rvw.doc.gold.ac.uk/sullivan/darcs/midi darcs failed: Failed to download URL http://rvw.doc.gold.ac.uk/sullivan/darcs/midi/_darcs/inventory libcurl: HTTP error (404?) cheers, Bruce