Ticket #16438 (closed enhancement: fixed)
isabelle-devel: compute the distname
|Reported by:||ryandesign@…||Owned by:||mww@…|
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).