[MacPorts] #16438: isabelle-devel: compute the distname
MacPorts
noreply at macports.org
Sun Jun 28 21:05:33 PDT 2009
#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
More information about the macports-tickets
mailing list