darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (http://hub.darcs.net)

#108Agda repo changes page giving an error

http://hub.darcs.net/ulfnorell/Agda/changes is giving:

user error (Couldn't fetch `0000240793-6f6e73ffc17b954257726ff533d9f25e2a50a08a62f952940a3132b70ac80558'
in subdir inventories from sources:

thisrepo:/home/darcsden
cache:/home/darcsden/.cache/darcs
repo:/home/darcsden/users/ulfnorell/Agda
)