tamarin-prover 1.4.0-36 File List

Package has 6 files and 8 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/sapic
  • 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/filetype.vim
  • usr/share/vim/vimfiles/syntax/
  • usr/share/vim/vimfiles/syntax/sapic.vim
  • usr/share/vim/vimfiles/syntax/spthy.vim