[Agda] trouble at CVS repository for Agda

[IKEGAMI Daisuke]

Dear developers and maintainers,

The CVS repository for Agda is locked now and everyone cannot
get(check out) sources from CVS. 

I found a directory named 'Z' at the top directory of Agda 
repository. The 'Z' directory maybe wrong because the contents 
of Z are same to 'Examples' directory. 

I am sorry to trouble you.
Could you please remove the directory and lockfile?

[log]
  % cvs -d :pserver:anonymous at cvs.coverproject.org:/usr/local/CVS co -P Agda
  cvs server: Updating Agda
  (snip)
  cvs server: Updating Agda/Z
  cvs server: failed to create lock directory for `/usr/local/CVS/Agda/Z' (/usr/local/CVS/Agda/Z/#cvs.lock): Permission denied
  cvs server: failed to obtain dir lock in repository `/usr/local/CVS/Agda/Z'
  cvs [server aborted]: read lock failed - giving up

P.S.
I met similar error on February in this year, and another lockfile
'#cvs.lock' may also exist in 'Examples' directory. The lockfiles are
invisible on neither viewcvs (web) nor using cvs command.

Ike