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)
Change History (3)
Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)
| Attachment: | isabelle-devel.diff added |
|---|
comment:1 Changed 16 years ago by (none)
| Milestone: | Port Enhancements |
|---|
comment:2 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)
| Port: | isabelle-devel added |
|---|---|
| Resolution: | → fixed |
| Status: | new → closed |
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.
Milestone Port Enhancements deleted