#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