The Agda patches are in a different repository.
The Agda patches are in a different repository.

Ignore-this: fa537a1abbc568115c2c7b989e956a74

darcs-hash:20110204151834-3bd4e-d0c9ccc7963535392961eb05ae0b979330e7045b.gz

asr/fotc,asr/fotc