New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #16438 (closed enhancement: fixed)

Opened 5 years ago

Last modified 4 years ago

isabelle-devel: compute the distname

Reported by: ryandesign@… 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

isabelle-devel.diff​ (1.0 KB) - added by ryandesign@… 5 years ago.

Change History

Changed 5 years ago by ryandesign@…

comment:1 Changed 4 years ago by anonymous

  • Milestone Port Enhancements deleted

Milestone Port Enhancements deleted

comment:2 Changed 4 years ago by ryandesign@…

  • Status changed from new to closed
  • Resolution set to fixed
  • Port set to isabelle-devel

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.