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

[MacPorts]

#16438: isabelle-devel: compute the distname
--------------------------------------+-------------------------------------
  Reporter:  ryandesign@…             |       Owner:  mww@…           
      Type:  enhancement              |      Status:  closed          
  Priority:  Normal                   |   Milestone:                  
 Component:  ports                    |     Version:  1.6.0           
Resolution:  fixed                    |    Keywords:                  
      Port:  isabelle-devel           |  
--------------------------------------+-------------------------------------
Changes (by ryandesign@…):

  * status:  new => closed
  * resolution:  => fixed
  * port:  => isabelle-devel


Comment:

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

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