ispin 6.5.0-2

Architecture: any
Repository: Extra
Description: New Tcl/Tk GUI for Spin replacing xSpin
Upstream URL:
License(s): custom:SPIN
Maintainers: Frederik Schwan
Package Size: 50.2 KB
Installed Size: 222.6 KB
Last Packager: Frederik Schwan
Build Date: 2020-06-30 04:01 UTC
Signed By: Frederik Schwan
Signature Date: 2020-06-30 04:02 UTC
Last Updated: 2023-05-19 16:19 UTC

Dependencies (5)

  • gcc
  • spin>=6.0
  • tk>=8.5
  • curl (optional) - for version check information
  • graphviz (optional) - recommended, provides dot tool for automata view

Required By (1)