ispin 6.5.0-3

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.1 KB
Installed Size: 222.6 KB
Last Packager: Frederik Schwan
Build Date: 2024-07-04 09:50 UTC
Signed By: Frederik Schwan
Signature Date: 2024-07-04 09:50 UTC
Last Updated: 2024-07-04 09:52 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)