[MacPorts] #16438: isabelle-devel: compute the distname

[MacPorts]

#16438: isabelle-devel: compute the distname
-------------------------------------+--------------------------------------
 Reporter:  ryandesign at macports.org  |       Owner:  mww at macports.org 
     Type:  enhancement              |      Status:  new              
 Priority:  Normal                   |   Milestone:  Port Enhancements
Component:  ports                    |     Version:  1.6.0            
 Keywords:                           |  
-------------------------------------+--------------------------------------
 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).

-- 
Ticket URL: <http://trac.macports.org/ticket/16438>
MacPorts <http://www.macports.org/>
Ports system for Mac OS