Opened 12 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)
Change History (8)
Changed 12 years ago by dom.heussi@…
| Attachment: | Portfile_spin.diff added |
|---|
comment:1 Changed 12 years ago by jmroot (Joshua Root)
| Milestone: | MacPorts 2.1.3 |
|---|---|
| Owner: | changed from macports-tickets@… to jann@… |
| Version: | 2.1.2 |
comment:2 Changed 10 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 10 years ago by petrrr
| Summary: | spin @6.2.3 upgrade to latest version → spin: fix livecheck (was: upgrade to latest version) |
|---|---|
| Type: | update → defect |
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:7 Changed 9 years ago by petrrr
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
openmainter added and livecheck fixed in r138129.
Note: See
TracTickets for help on using
tickets.
As per the ticket guidelines, please remember to Cc the maintainer, and don't set the Milestone field.