[MacPorts] #29688: isabelle-devel package failed to fetch

[MacPorts]

#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