@comment PKG_FORMAT_REVISION:1.1
@name hs-Agda-executable-2.3.0
@comment ORIGIN:math/hs-Agda-executable
@cwd /usr/local
@pkgdep gmp-5.0.4
@comment DEPORIGIN:math/gmp
@pkgdep libiconv-1.13.1_2
@comment DEPORIGIN:converters/libiconv
bin/agda
@comment MD5:55753243cc139dc3ae85e866ae7735bb
share/doc/ghc-7.0.4/cabal/Agda-executable-2.3.0/LICENSE
@comment MD5:0c3221f9d9c653d93e5fecc1327a76a8
@dirrm share/doc/ghc-7.0.4/cabal/Agda-executable-2.3.0
@exec if [ -f %D/share/doc/ghc-7.0.4/html/libraries/gen_contents_index ]; then /bin/ln -s /usr/local/share/doc/ghc-7.0.4/cabal/Agda-executable-2.3.0/html %D/share/doc/ghc-7.0.4/html/libraries/Agda-executable-2.3.0 &&  cd %D/share/doc/ghc-7.0.4/html/libraries && /bin/rm -f doc-index*.html && ./gen_contents_index; fi
@unexec /bin/rm -f %D/share/doc/ghc-7.0.4/html/libraries/Agda-executable-2.3.0
@unexec if [ -f %D/share/doc/ghc-7.0.4/html/libraries/gen_contents_index ]; then cd %D/share/doc/ghc-7.0.4/html/libraries && /bin/rm -f doc-index*.html && ./gen_contents_index; fi
