#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