[MacPorts] #37594: spin @6.2.3 upgrade to latest version

[MacPorts]

#37594: spin @6.2.3 upgrade to latest version
--------------------------+--------------------------------
 Reporter:  dom.heussi@…  |      Owner:  macports-tickets@…
     Type:  update        |     Status:  new
 Priority:  Normal        |  Milestone:  MacPorts 2.1.3
Component:  ports         |    Version:  2.1.2
 Keywords:                |       Port:  spin
--------------------------+--------------------------------
 upgrade spin model checker to latest version (current is 6.0.2)



 Note: only problem is that port seems not able to fetch sources for master
 site, however, this seems already to be a problem with the old port.

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