tamarin-prover 1.8.0-81 File List

Package has 5 files and 9 directories.

Back to Package

  • 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