[MacPorts] #61079: premake: Rename to premake3

[MacPorts]

#61079: premake: Rename to premake3
-------------------------+----------------------
 Reporter:  ryandesign   |      Owner:  wyuenho
     Type:  enhancement  |     Status:  assigned
 Priority:  Normal       |  Milestone:
Component:  ports        |    Version:  2.6.3
 Keywords:               |       Port:  premake
-------------------------+----------------------
 There are currently three premake ports, named premake, premake4,
 premake5. This is a little confusing. It would be less confusing if
 premake were renamed to premake3.

-- 
Ticket URL: <https://trac.macports.org/ticket/61079>
MacPorts <https://www.macports.org/>
Ports system for macOS