darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://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
)