[MacPorts] #28585: Update Spin Port to Latest Version

[MacPorts]

#28585: Update Spin Port to Latest Version
-------------------------------------+--------------------------------------
 Reporter:  alex_a_bordeaux@…        |       Owner:  macports-tickets@…                   
     Type:  update                   |      Status:  new                                  
 Priority:  Normal                   |   Milestone:                                       
Component:  ports                    |     Version:  1.9.2                                
 Keywords:                           |        Port:  spin                                 
-------------------------------------+--------------------------------------
 updating spin (model checker) to latest version 6.0.1.
 attached portfile is the same as previous version except
 for adapting to new source file and deleting references to
 xspin (the tcl/tk interface) which is no longer part of the
 main distribution.

 would be glad if we could incorporate this ! ;-)

-- 
Ticket URL: <https://trac.macports.org/ticket/28585>
MacPorts <http://www.macports.org/>
Ports system for Mac OS