%FILES%
usr/
usr/bin/
usr/bin/tamarin-prover
usr/share/
usr/share/doc/
usr/share/doc/tamarin-prover/
usr/share/doc/tamarin-prover/LICENSE
usr/share/vim/
usr/share/vim/vimfiles/
usr/share/vim/vimfiles/ftdetect/
usr/share/vim/vimfiles/ftdetect/tamarin.vim
usr/share/vim/vimfiles/syntax/
usr/share/vim/vimfiles/syntax/sapic.vim
usr/share/vim/vimfiles/syntax/spthy.vim
