name: Agda
version: 2.2.4
haddock-interfaces: /usr/share/ghc6-doc/ghc-6.10.4/haddock/Agda.haddock
haddock-html: /usr/share/doc/libghc6-agda-doc/html/
