debian/tmp-inst-ghc/usr/share/libghc-agda-dev/Agda.css usr/share/libghc-agda-dev/
debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib usr/share/libghc-agda-dev