#29688: isabelle-devel package failed to fetch --------------------------------+------------------------------------------- Reporter: aixer77@… | Owner: mww@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: wontfix | Keywords: Port: isabelle-devel | --------------------------------+------------------------------------------- Changes (by ryandesign@…): * status: new => closed * resolution: => wontfix Comment: The isabelle ports have been deleted in r79578. -- Ticket URL: <https://trac.macports.org/ticket/29688#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS