ports/155418: Remove ports lang/gcc-gnat42 and lang/gcc-gnat43

[Karel Miklav]

>Number:         155418
>Category:       ports
>Synopsis:       Remove ports lang/gcc-gnat42 and lang/gcc-gnat43
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Wed Mar 09 17:40:11 UTC 2011
>Closed-Date:
>Last-Modified:
>Originator:     Karel Miklav
>Release:        
>Organization:
>Environment:
>Description:
Ports are no longer maintained nor used. Please remove them.
>How-To-Repeat:

>Fix:
Remove the mentioned ports.

>Release-Note:
>Audit-Trail:
>Unformatted: