[Agda] Problems installing the standard library

[Robert Rothenberg]

I am trying to install the standard library. When I run

  runhaskell Setup.hs configure

I get the error

  Configuring lib-0.0...
  Setup.hs: At least the following dependencies are missing:
  FileManip ==0.3.*

but FileManip 0.3.2 is installed already.