Opened 16 years ago

Closed 15 years ago

#16438 closed enhancement (fixed)

isabelle-devel: compute the distname

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: Cc:
Port: isabelle-devel

Description

If you'd like to not have to keep updating the distname for every new version of isabelle-devel (e.g. r39639), see the attached patch.

This also adds the MacPorts distfiles mirror to the master_sites so that the fetch doesn't fail for users of MacPorts 1.6.0 when the version is too far out of date and they've already removed it from their server (as seems to be the case already with 2008-08-27).

Attachments (1)

isabelle-devel.diff (1.0 KB) - added by ryandesign (Ryan Carsten Schmidt) 16 years ago.

Download all attachments as: .zip

Change History (3)

Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)

Attachment: isabelle-devel.diff added

comment:1 Changed 15 years ago by (none)

Milestone: Port Enhancements

Milestone Port Enhancements deleted

comment:2 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)

Port: isabelle-devel added
Resolution: fixed
Status: newclosed

Committed in r53079 (maintainer timeout) -- minus the part about the distfiles mirror, since MacPorts 1.7.0 now handles that automatically.

Note: See TracTickets for help on using tickets.