Opened 11 years ago

Closed 9 years ago

#37594 closed defect (fixed)

spin: fix livecheck (was: upgrade to latest version)

Reported by: dom.heussi@… Owned by: roederja
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc: petrrr
Port: spin

Description

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.

Attachments (1)

Portfile_spin.diff (933 bytes) - added by dom.heussi@… 11 years ago.

Download all attachments as: .zip

Change History (8)

Changed 11 years ago by dom.heussi@…

Attachment: Portfile_spin.diff added

comment:1 Changed 11 years ago by jmroot (Joshua Root)

Milestone: MacPorts 2.1.3
Owner: changed from macports-tickets@… to jann@…
Version: 2.1.2

As per the ticket guidelines, please remember to Cc the maintainer, and don't set the Milestone field.

comment:2 Changed 9 years ago by petrrr

Port was update to 6.4.3 in r132867, so this ticket is fixed.

However, livecheck reports:

spin seems to have been updated (port version: 6.4.3, new version: 6.4.3.)

So this would need fixing. I'd assume its the trailing ..

comment:3 Changed 9 years ago by petrrr

Summary: spin @6.2.3 upgrade to latest versionspin: fix livecheck (was: upgrade to latest version)
Type: updatedefect

comment:4 Changed 9 years ago by petrrr

Cc: petr@… added

Cc Me!

comment:5 Changed 9 years ago by petrrr

The livecheck issue is still outstanding.

Jann, are you still active on this port? Would you agree to add openmaintainer to this port? TNX!

comment:6 Changed 9 years ago by roederja

Open maintainer is fine with me.

comment:7 Changed 9 years ago by petrrr

Resolution: fixed
Status: newclosed

openmainter added and livecheck fixed in r138129.

Note: See TracTickets for help on using tickets.